Search results for "HMSC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
150	Anca Muscholl, Doron A. Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
78	Edith Elkind, Blaise Genest, Doron A. Peled, Paola Spoletini	Quantifying the Discord: Order Discrepancies in Message Sequence Charts.	ATVA	2007	DBLP DOI BibTeX RDF
39	S. Akshay 0001, Madhavan Mukund, K. Narayan Kumar	Checking Coverage for Infinite Collections of Timed Scenarios.	CONCUR	2007	DBLP DOI BibTeX RDF
39	Tai Hyo Kim, Sung Deok Cha	Timed High-Level Message Sequence Charts for Real-Time System Design.	SAM	2006	DBLP DOI BibTeX RDF
39	Arjan J. Mooij, Nicolae Goga	Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control.	SAM	2004	DBLP DOI BibTeX RDF
39	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional message sequence charts.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Finite-state communication protocols, Message sequence charts, Partial-order methods
39	Markus Lohrey, Anca Muscholl	Bounded MSC Communication.	FoSSaCS	2002	DBLP DOI BibTeX RDF
39	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional Message Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
37	Bharat Kanwar, Bryan Wang, Krishnendu Roy, Anirban Mazumdar, Stephen Balakirsky	Digital Twin Design for hMSC Expansion in Hollow-fiber Bioreactors.	ACC	2023	DBLP DOI BibTeX RDF
37	Subrata Saha, Zigeng Wang, Sanguthevar Rajasekaran	HMSC: a Hybrid Metagenomic Sequence Classification Algorithm.	BCB	2020	DBLP DOI BibTeX RDF
37	Ahmed Mohammed, Qian Wang, Xiaodong Li	A cost-effective decision-making algorithm for an RFID-enabled HMSC network design: A multi-objective approach.	Ind. Manag. Data Syst.	2017	DBLP DOI BibTeX RDF
37	Nobuyuki Tanaka, Tadahiro Yamashita, Asako Sato, Viola Vogel, Yo Tanaka	An ensemble of agarose microwells and AI for understanding hMSC differentiation patterns.	CBS	2017	DBLP DOI BibTeX RDF
37	Vojtech Rehák, Petr Slovák, Jan Strejcek, Loïc Hélouët	Decidable Race Condition and Open Coregions in HMSC.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
33	Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan	Testing Systems Specified as Partial Order Input/Output Automata.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Testing distributed systems, conformance relations, partial order automata, HMSC, partial order, finite state automata
20	Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li	TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
20	Min Zhao, Stephanie A. Amiel, Mohamed Rela, Nigel Heaton, Guo Cai Huang	Insulin Producing Cells Derived from Human Marrow Stromal Cells.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Stem cell, transplantation, diabetes, insulin
20	Aabhas V. Paliwal, Nabil R. Adam, Christof Bornhövd	Web service orchestration and verification using MSC and CP nets.	SAC	2007	DBLP DOI BibTeX RDF	CP nets, web services, verification, composition, orchestration, MSC
20	Edith Elkind, Blaise Genest, Doron A. Peled	Detecting Races in Ensembles of Message Sequence Charts.	TACAS	2007	DBLP DOI BibTeX RDF
20	Aabhas V. Paliwal, Nabil R. Adam, Basit Shafiq, Christof Bornhövd	Policy based Web Service Orchestration and Goal Reachability Analysis using MSC and CP Nets.	CEC/EEE	2007	DBLP DOI BibTeX RDF
20	Jacques Klein, Loïc Hélouët, Jean-Marc Jézéquel	Semantic-based weaving of scenarios.	AOSD	2006	DBLP DOI BibTeX RDF	scenarios, aspect-oriented modeling, aspects weaving
20	Javier López 0001, Juan J. Ortega, José Luis Vivas, José M. Troya	How to Specify Security Services: A Practical Approach.	Communications and Multimedia Security	2003	DBLP DOI BibTeX RDF
20	Javier López 0001, Juan J. Ortega, José M. Troya	Protocol Engineering Applied to Formal Analysis of Security Systems.	InfraSec	2002	DBLP DOI BibTeX RDF
20	Rémi Morin	Recognizable Sets of Message Sequence Charts.	STACS	2002	DBLP DOI BibTeX RDF
20	Mesfin Belachew, R. K. Shyamasundar	MSC+: From Requirement to Prototyped Systems.	ECRTS	2001	DBLP DOI BibTeX RDF	hMSCs, Requirement Specification, Preemption, MSCs
20	Gwang Sik Yoon, Yong Rae Kwon	Extending MSC for Reactive Systems.	HCC	2001	DBLP DOI BibTeX RDF
20	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan	Regular Collections of Message Sequence Charts.	MFCS	2000	DBLP DOI BibTeX RDF
20	Rajeev Alur, Mihalis Yannakakis	Model Checking of Message Sequence Charts.	CONCUR	1999	DBLP DOI BibTeX RDF