Search results for "MSCs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Madhavan Mukund, K. Narayan Kumar, Milind A. Sohoni	Synthesizing Distributed Finite-State Systems from MSCs.	CONCUR	2000	DBLP DOI BibTeX RDF
104	Jesper G. Henriksen, Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan	Regular Collections of Message Sequence Charts.	MFCS	2000	DBLP DOI BibTeX RDF
96	Mesfin Belachew, R. K. Shyamasundar	MSC+: From Requirement to Prototyped Systems.	ECRTS	2001	DBLP DOI BibTeX RDF	hMSCs, Requirement Specification, Preemption, MSCs
80	Ingolf Krüger, Wolfgang Prenninger, Robert Sandner	Broadcast MSCs.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Semantics, Broadcasting, Message sequence charts
80	Jin Song Dong, Shengchao Qin, Jun Sun 0001	Generating MSCs from an Integrated Formal Specification Language.	IFM	2004	DBLP DOI BibTeX RDF	Requirement Engineering, MSC, TCOZ
78	Gerardo Padilla, Farokh B. Bastani, Carlos Montes de Oca, Miguel A. Serrano	Instantiation Semantics for Message Sequence Charts.	ENC	2006	DBLP DOI BibTeX RDF
65	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes.	ACSD	2003	DBLP DOI BibTeX RDF
65	Paulo Sérgio Muniz Silva	Extended Message Sequence Charts with Time-Interval Semantics.	TIME	1998	DBLP DOI BibTeX RDF
54	Blaise Genest	Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs.	TACAS	2005	DBLP DOI BibTeX RDF
54	Blaise Genest, Marius Minea, Anca Muscholl, Doron A. Peled	Specifying and Verifying Partial Order Properties Using Template MSCs.	FoSSaCS	2004	DBLP DOI BibTeX RDF
54	Tong Zheng 0002, Ferhat Khendek, Benoit Parreaux	Refining Timed MSCs.	SDL Forum	2003	DBLP DOI BibTeX RDF
54	Ingolf Krüger	Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.	FASE	2003	DBLP DOI BibTeX RDF
52	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
52	Hiroaki Nakamura, Kei Yoshimoto, Yoshiki Mori, Masahiro Kobayashi	Multiple Subject Constructions in Japanese: A Dynamic Syntax Account.	JSAI	2008	DBLP DOI BibTeX RDF	Multiple Subject Construction, relational noun, major subject, Dynamic Syntax, time-linear parsing
52	Kamrul Hasan Talukder, Koichi Harada	Message Sequence Charts to Specify the Communicating Threads for Concurrent Discrete Wavelet Transform Based Image Compression and a Verification Analysis.	SNPD	2008	DBLP DOI BibTeX RDF	Verification Analysis, Concurrency, Wavelet Transform, Image Compression, Message Sequence Chart
52	Abhik Roychoudhury, Ankit Goel, Bikram Sengupta	Symbolic message sequence charts.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	unified modeling language (UML), message sequence charts
52	Edith Elkind, Blaise Genest, Doron A. Peled	Detecting Races in Ensembles of Message Sequence Charts.	TACAS	2007	DBLP DOI BibTeX RDF
52	Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan	Causal Closure for MSC Languages.	FSTTCS	2005	DBLP DOI BibTeX RDF
52	Morten Riis, Anders J. V. Skriver, Jørn Lodahl	Deployment of Mobile Switching Centers in a Telecommunications Network: A Stochastic Programming Approach.	Telecommun. Syst.	2004	DBLP DOI BibTeX RDF	telecommunication, stochastic programming, network planning
52	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of Message Sequence Charts.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrent state machines, formal verification, synthesis, scenarios, requirements analysis, Message sequence charts, realizability, deadlock freedom
52	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
52	Benedikt Bollig, Martin Leucker, Thomas Noll 0001	Generalised Regular MSC Languages.	FoSSaCS	2002	DBLP DOI BibTeX RDF
52	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
52	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of message sequence charts.	ICSE	2000	DBLP DOI BibTeX RDF	concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
52	Hanêne Ben-Abdallah, Stefan Leue	MESA: Support for Scenario-Based Design of Concurrent Systems.	TACAS	1998	DBLP DOI BibTeX RDF
52	Stephen G. Eick, Amy Wards	An Interactive Visualization for Message Sequence Charts.	WPC	1996	DBLP DOI BibTeX RDF
41	Ingolf H. Krüger, Michael Meisinger, Massimiliano Menarini	Runtime Verification of Interactions: From MSCs to Aspects.	RV	2007	DBLP DOI BibTeX RDF
39	Samane Ghazanfari, Mohammad Tafazzoli-Shadpour, Mohammad Ali Shokrgozar, Naser Amirizadeh, Esmael Jafargholi Rangraz	Morphological Changes of Mesenchymal Stem Cells by Cyclic Stretch.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Mesenchymal stem cells, Cyclic stretch, Cell morphology, Cell orientation, Fractal dimension
39	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
39	Lei Ju 0001, Abhik Roychoudhury, Samarjit Chakraborty	Schedulability Analysis of MSC-based System Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Message Sequence Charts / Graphs, Schedulability analysis
39	S. Akshay 0001, Madhavan Mukund, K. Narayan Kumar	Checking Coverage for Infinite Collections of Timed Scenarios.	CONCUR	2007	DBLP DOI BibTeX RDF
39	Benedikt Bollig, Dietrich Kuske, Ingmar Meinecke	Propositional Dynamic Logic for Message-Passing Systems.	FSTTCS	2007	DBLP DOI BibTeX RDF
39	Ankit Goel, Abhik Roychoudhury	Synthesis and Traceability of Scenario-Based Executable Models.	ISoLA	2006	DBLP DOI BibTeX RDF
39	Christian Seybold, Silvio Meier, Martin Glinz	Scenario-driven modeling and validation of requirements models.	SCESM	2006	DBLP DOI BibTeX RDF	Adora, simulation, modeling, scenarios, statecharts
39	Chien-An Chen, Sara Kalvala, Jane E. Sinclair	A Process-Based Semantics for Message Sequence Charts with Data.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
39	Benedikt Bollig, Martin Leucker	Message-Passing Automata Are Expressively Equivalent to EMSO Logic.	CONCUR	2004	DBLP DOI BibTeX RDF
39	Anca Muscholl, Doron A. Peled	Deciding Properties of Message Sequence Charts.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
39	Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha	Construction of global finite state machine for testing task interactions written in message sequence charts.	SEKE	2002	DBLP DOI BibTeX RDF	task interaction, message sequence charts, integration testing
39	Abhik Roychoudhury, P. S. Thiagarajan	An Executable Specification Language Based on Message Sequence Charts.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
39	Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell	Automatic Generation of Conformance Tests from Message Sequence Charts.	SAM	2002	DBLP DOI BibTeX RDF
39	Dietrich Kuske	A Further Step towards a Theory of Regular MSC Languages.	STACS	2002	DBLP DOI BibTeX RDF
39	Martin Leucker, P. Madhusudan, Supratik Mukhopadhyay	Dynamic Message Sequence Charts.	FSTTCS	2002	DBLP DOI BibTeX RDF
39	Elsa L. Gunter, Anca Muscholl, Doron A. Peled	Compositional Message Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
39	Peter Graubmann, Ekkart Rudolph, Jens Grabowski	Component Interface Description Using HyperMSCs and Connectors.	HCC	2001	DBLP DOI BibTeX RDF
39	Benedikt Bollig, Martin Leucker	Modelling, Specifying, and Verifying Message Passing Systems.	TIME	2001	DBLP DOI BibTeX RDF
39	Manfred Broy	The Essence of Message Sequence Charts.	ISMSE	2000	DBLP DOI BibTeX RDF
31	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	System architecture: the context for scenario-based model synthesis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	architecture, synthesis, generalisation, MSCs
31	F. Andolfi, Federica Aquilani, Simonetta Balsamo, Paola Inverardi	Deriving performance models of software architectures from message sequence charts.	Workshop on Software and Performance	2000	DBLP DOI BibTeX RDF	performance evaluation, software architecture, queueing network model, MSCs, performance indices
28	Zengfeng Song, Yang Gao, Honggang Luan	A 3D Point Cloud Object Detection Algorithm Based on MSCS-Pointpillars.	ICCSIP	2022	DBLP DOI BibTeX RDF
28	Benedikt Ahrens, Simon Huber, Anders Mörtberg	Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
28	Benedikt Ahrens, Simon Huber, Anders Mörtberg	Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
28	Xiuyuan Xu, Chengdi Wang, Jixiang Guo, Yuncui Gan, Jianyong Wang 0002, Hongli Bai, Lei Zhang 0005, Weimin Li, Zhang Yi 0001	MSCS-DeepLN: Evaluating lung nodule malignancy using multi-scale cost-sensitive neural networks.	Medical Image Anal.	2020	DBLP DOI BibTeX RDF
28	Carla E. Brodley, Jan Cuny	The MSCS New Pathways Consortium - a National Invitation.	RESPECT	2020	DBLP DOI BibTeX RDF
28	Peng Yao, Hua Zhang 0003, Yanbing Xue, Shengyong Chen	MSCS: MeshStereo with Cross-Scale Cost Filtering for fast stereo matching.	IET Comput. Vis.	2018	DBLP DOI BibTeX RDF
28	Ji-Hye Kim, Eunah Kim, James H. Yoon	An Experimental Study of Subject Properties in Korean Multiple Subject Constructions (MSCs).	PACLIC	2016	DBLP BibTeX RDF
28	Donald Kline Jr., Kai Wang, Rami G. Melhem, Alex K. Jones	MSCS: Multi-hop Segmented Circuit Switching.	ACM Great Lakes Symposium on VLSI	2015	DBLP DOI BibTeX RDF
28	Ji-Hye Kim, Eunah Kim, James H. Yoon	Two Types of Multiple Subject Constructions (MSCs) in Korean.	PACLIC	2015	DBLP BibTeX RDF
28	Haitao Dan, Robert M. Hierons	The Oracle Problem When Testing from MSCs.	Comput. J.	2014	DBLP DOI BibTeX RDF
28	Yi-Jhen Wu, Shu Ying Chen, Shwu-Jen Chang, Shyh-Ming Kuo	Enhanced differentiation of rat MSCs into cardiomyocytes with 5-azacytidine/collagen I nano-molecules.	EMBC	2013	DBLP DOI BibTeX RDF
28	Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara 0002, Thomas Schwentick	Dynamic Communicating Automata and Branching High-Level MSCs.	LATA	2013	DBLP DOI BibTeX RDF
28	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker	Learning Communicating Automata from MSCs.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF	Software engineering/requirements/specifications/elicitation methods, software engineering/design/design concepts, computing methodologies/artificial intelligence/learning/induction, theory of computation/computation by abstract devices/models of computation/automata
28	Andrea Osterloh, Oscar Slotosch	Automatisiertes Testen mit Message Sequence Charts (MSCs).	MBEES	2008	DBLP BibTeX RDF
28	Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan, Shaofa Yang	Anchored Concatenation of MSCs.	Formal Models, Languages and Applications	2007	DBLP DOI BibTeX RDF
28	Nicholas Xue Wei Tan, Felicia Soo Lee Ng, Vivek Tanavde	Towards a Serum-free Culture Medium: Identifying Human Growth Receptors and Signaling Pathways that Regulate Cell Proliferation in Human Mesenchymal Stem Cells (MSCs).	BIOCOMP	2007	DBLP BibTeX RDF
28	Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun	Infinite-state high-level MSCs: Model-checking and realizability.	J. Comput. Syst. Sci.	2006	DBLP DOI BibTeX RDF
28	Ingolf H. Krüger	Service specification with MSCs and roles.	IASTED Conf. on Software Engineering	2004	DBLP BibTeX RDF
28	Nam Hee Lee, Sung Deok Cha	Generating test sequences from a set of MSCs.	Comput. Networks	2003	DBLP DOI BibTeX RDF
28	Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun	Infinite-State High-Level MSCs: Model-Checking and Realizability.	ICALP	2002	DBLP DOI BibTeX RDF
28	Robert L. Probert, Hasan Ural, Alan W. Williams	Rapid generation of functional tests using MSCs, SDL and TTCN.	Comput. Commun.	2001	DBLP DOI BibTeX RDF
28	Matthias Bauer 0003, Wolfgang Ecker, Andreas Zinn	Graphische Spezifikation und Analyse funktionaler Testabläufe mit MSCs der UML.	MBMV	2000	DBLP BibTeX RDF
28	Karl Meinke	Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.	SAM	2000	DBLP BibTeX RDF
28	Ferhat Khendek, Daniel Vincent	Enriching SDL Specifications with MSCs.	SAM	2000	DBLP BibTeX RDF
28	Miguel Abdalla, Ferhat Khendek, Greg Butler	New results on deriving SDL specifications from MSCs.	SDL Forum	1999	DBLP BibTeX RDF
28	Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy	From MSCs to Statecharts.	DIPES	1998	DBLP BibTeX RDF
28	Astrid Nyeng, Svanhild Gundersen	MSCs at Siemens A/S - towards the usage of MSC-96.	SDL Forum	1997	DBLP BibTeX RDF
28	Gabriel Robert, Ferhat Khendek, Peter Grogono	Deriving an SDL specification with a given architecture from a set of MSCs.	SDL Forum	1997	DBLP BibTeX RDF
28	Andreas Mitschele-Thiel	Methodology and tools for the development of high performance parallel systems with SDL/MSCs.	Software Engineering for Parallel and Distributed Systems	1996	DBLP BibTeX RDF
26	Okan Topçu, Mehmet Adak, Halit Oguztüzün	Metamodeling live sequence charts for code generation.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Code generation, Metamodeling, Message sequence charts, Live sequence charts
26	Weiqi Wang, Yanbo J. Wang, René Bañares-Alcántara, Zhanfeng Cui, Frans Coenen	Application of Classification Association Rule Mining for Mammalian Mesenchymal Stem Cell Differentiation.	ICDM	2009	DBLP DOI BibTeX RDF	Classification Association Rule Mining, Mesenchymal Stem Cells, Data Mining, Differentiation, Tissue Engineering
26	Kristian Bisgaard Lassen, Boudewijn F. van Dongen	Translating Message Sequence Charts to other Process Languages Using Process Mining.	Trans. Petri Nets Other Model. Concurr.	2008	DBLP DOI BibTeX RDF	synthesis of scenarios-based models, process mining, message sequence charts
26	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker	Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning.	CONCUR	2008	DBLP DOI BibTeX RDF
26	Lei Feng 0002, Walter Murray Wonham, P. S. Thiagarajan	Designing communicating transaction processes by supervisory control theory.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts
26	Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang	Causal Message Sequence Charts.	CONCUR	2007	DBLP DOI BibTeX RDF
26	S. Akshay 0001, Benedikt Bollig, Paul Gastin	Automata and Logics for Timed Message Sequence Charts.	FSTTCS	2007	DBLP DOI BibTeX RDF
26	Bikram Sengupta, Rance Cleaveland	Triggered Message Sequence Charts.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling
26	Nicolas Baudru, Rémi Morin	The Synthesis Problem of Netcharts.	ICATPN	2006	DBLP DOI BibTeX RDF
26	Prakash Chandrasekaran, Madhavan Mukund	Matching Scenarios with Timing Constraints.	FORMATS	2006	DBLP DOI BibTeX RDF
26	Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng	Consistency Checking of Concurrent Models for Scenario-Based Specifications.	SDL Forum	2005	DBLP DOI BibTeX RDF
26	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
26	Nicolas Baudru, Rémi Morin	The Pros and Cons of Netcharts.	CONCUR	2004	DBLP DOI BibTeX RDF
26	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
26	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
26	Juliana Küster Filipe	Giving Life to Agent Interactions.	Objects, Agents, and Features	2003	DBLP DOI BibTeX RDF
26	Blaise Genest, Anca Muscholl, Doron A. Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
26	Deepak D'Souza, Madhavan Mukund	Checking Consistency of SDL+MSC Specifications.	SPIN	2003	DBLP DOI BibTeX RDF
26	Sita Ramakrishnan	VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile.	FATES	2003	DBLP DOI BibTeX RDF
26	Yong He, Daniel Amyot, Alan W. Williams	Synthesizing SDL from Use Case Maps: An Experiment.	SDL Forum	2003	DBLP DOI BibTeX RDF
26	Bikram Sengupta, Rance Cleaveland	Triggered message sequence charts.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	refinement orderings, scenario-based requirements, message sequence charts
26	Sebastián Uchitel, Jeff Kramer, Jeff Magee	Negative scenarios for implied scenario elicitation.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	implied scenarios, negative scenarios, MSC
26	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	LATIN	2002	DBLP DOI BibTeX RDF