Search results for "hMSCs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
82	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Complexity, MSC, Hierarchical specifications
82	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
82	Markus Lohrey	Safe Realizability of High-Level Message Sequence Charts.	CONCUR	2002	DBLP DOI BibTeX RDF
61	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
61	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional Message Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
61	Jens Grabowski, Peter Graubmann, Ekkart Rudolph	HyperMSCs with Connectors for Advanced Visual System Modelling and Testing.	SDL Forum	2001	DBLP DOI BibTeX RDF
41	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
41	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
41	Peter Graubmann, Ekkart Rudolph	HyperMSCs and Sequence Diagrams for Use Case Modelling and Testing.	UML	2000	DBLP DOI BibTeX RDF	distributed systems, software engineering, real time systems, UML, testing, telecommunication, Sequence Diagrams, Use Cases, MSC, OO
41	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan	Regular Collections of Message Sequence Charts.	MFCS	2000	DBLP DOI BibTeX RDF
41	Rajeev Alur, Mihalis Yannakakis	Model Checking of Message Sequence Charts.	CONCUR	1999	DBLP DOI BibTeX RDF
37	Ahmed Mohammed, Qian Wang, Xiaodong Li	A cost-effective decision-making algorithm for integrity of HMSCs: A multi-objective approach.	ICIIS	2015	DBLP DOI BibTeX RDF
37	Rouwaida Abdallah, Claude Jard	An Experiment in Automatic Generation of Protocols from HMSCs.	NOTERE	2011	DBLP DOI BibTeX RDF
37	Thomas Chatain, Loïc Hélouët, Claude Jard	From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.	FORTE	2005	DBLP DOI BibTeX RDF
37	Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan	Netcharts: Bridging the gap between HMSCs and executable specifications.	CONCUR	2003	DBLP DOI BibTeX RDF
37	Benoît Caillaud, Philippe Darondeau, Loïc Hélouët, Gilles Lesventes	HMSCs as Partial Specifications ... with PNs as Completions.	MOVEP	2000	DBLP BibTeX RDF
36	Mesfin Belachew, R. K. Shyamasundar	MSC+: From Requirement to Prototyped Systems.	ECRTS	2001	DBLP DOI BibTeX RDF	hMSCs, Requirement Specification, Preemption, MSCs
20	S. Akshay 0001, Madhavan Mukund, K. Narayan Kumar	Checking Coverage for Infinite Collections of Timed Scenarios.	CONCUR	2007	DBLP DOI BibTeX RDF
20	Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke	Propositional Dynamic Logic for Message-Passing Systems.	FSTTCS	2007	DBLP DOI BibTeX RDF
20	Alexander Knapp, Jochen Wuttke	Model Checking of UML 2.0 Interactions.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	UML 2.0 interactions, model checking, Scenarios
20	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Synthesis of Behavioral Models from Scenarios.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	scenario-based specification, sequence chart combination, requirements analysis, Requirements specification, Message Sequence Charts
20	Markus Lohrey, Anca Muscholl	Bounded MSC Communication.	FoSSaCS	2002	DBLP DOI BibTeX RDF
20	Rémi Morin	Recognizable Sets of Message Sequence Charts.	STACS	2002	DBLP DOI BibTeX RDF