Search results for "statechart"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
12	Dániel Varró	A Formal Semantics of UML Statecharts by Model Transition Systems.	ICGT	2002	DBLP DOI BibTeX RDF
12	Martin L. Griss, Steven P. Fonseca, Richard M. Cowan, Robert R. Kessler	Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors.	AOSE	2002	DBLP DOI BibTeX RDF
12	Hassan Gomaa, Michael E. Shin	Multiple-View Meta-Modeling of Software Product Lines.	ICECCS	2002	DBLP DOI BibTeX RDF
12	Alexandre David, M. Oliver Möller, Wang Yi 0001	Formal Verification of UML Statecharts with Real-Time Extensions.	FASE	2002	DBLP DOI BibTeX RDF
12	Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel	Transformation of UML Specification to XTG.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
12	Fernando Orejas, Hartmut Ehrig, Elvira Pino	Tight and Loose Semantics for Transformation Systems.	WADT	2001	DBLP DOI BibTeX RDF
12	Jochen Malte Küster, Joachim Stroop	Consistent Design of Embedded Real-Time Systems with UML-RT.	ISORC	2001	DBLP DOI BibTeX RDF
12	Toyoaki Tomura, Satoshi Kanai	Developing Simulation Models of Open Distributed Control System by Using Object-Oriented Structural and Behavioral Patterns.	ISORC	2001	DBLP DOI BibTeX RDF
12	Michael von der Beeck	Formalization of UML-Statecharts.	UML	2001	DBLP DOI BibTeX RDF
12	Gregor Engels, Reiko Heckel, Jochen Malte Küster	Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model.	UML	2001	DBLP DOI BibTeX RDF	behavioral consistency, meta modeling, model verification
12	Elizabeth Latronico, Philip Koopman	Representing Embedded System Sequence Diagrams as a Formal Language.	UML	2001	DBLP DOI BibTeX RDF
12	Zsigmond Pap, István Majzik, András Pataricza	Checking General Safety Criteria on UML Statecharts.	SAFECOMP	2001	DBLP DOI BibTeX RDF
12	Klaus Schneider 0001	Embedding Imperative Synchronous Languages in Interactive Theorem Provers.	ACSD	2001	DBLP DOI BibTeX RDF
12	Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk	A Timed Automata Semantics for Real-Time UML Specifications.	HCC	2001	DBLP DOI BibTeX RDF
12	Markus Stumptner	Using Design Information to Identify Structural Software Faults.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
12	Stephan Schulz 0002, T. C. Ewing, Jerzy W. Rozenblit	Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling.	ECBS	2000	DBLP DOI BibTeX RDF	Modeling, Embedded Systems, DEVS
12	Daniel Amyot, Gunter Mussbacher	On the Extension of UML with Use Case Maps Concepts.	UML	2000	DBLP DOI BibTeX RDF
12	Karl R. P. H. Leung	Extending Statecharts with ad lib and multi-thread features.	APSEC	2000	DBLP DOI BibTeX RDF	ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
12	Morad Benyoucef, Rudolf K. Keller	An Evaluation of Formalisms for Negotiations in E-commerce.	DCW	2000	DBLP DOI BibTeX RDF
12	Luigia Petre, Kaisa Sere	Developing Control Systems Components.	IFM	2000	DBLP DOI BibTeX RDF
12	Juha Pärssinen, Niklas von Knorring, Jukka Heinonen, Tellabs Oy, Markku Turunen	UML for Protocol Engineering - Extensions and Experiences.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	protocol, implementation, SDL, UML profile
12	Peter J. B. King, Rob Pooley	Derivation of Petri Net Performance Models from UML Specifications of Communications Software.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
12	A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar	A Graphical Environment for the Specification and Verification of Reactive Systems.	SAFECOMP	1999	DBLP DOI BibTeX RDF
12	Hwan Wook Sohn, David Chenho Kung, Pei Hsia	State-Based Reproducible Testing for CORBA Applications.	PDSE	1999	DBLP DOI BibTeX RDF	component based software testing, state testing, CORBA, replay
12	S. Ramesh	Efficient Translation of Statecharts to Hardware Circuits.	VLSI Design	1999	DBLP DOI BibTeX RDF
12	Kirill Bogdanov 0002, Mike Holcombe, Harbhajan Singh	Automated Test Set Generation for Statecharts.	FM-Trends	1998	DBLP DOI BibTeX RDF
12	Sjaak Brinkkemper, Motoshi Saeki, Frank Harmsen	Assembly Techniques for Method Engineering.	CAiSE	1998	DBLP DOI BibTeX RDF
12	Radu Grosu, Thomas Stauner, Manfred Broy	A Modular Visual Model for Hybrid Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF
12	Jan Philipps, Peter Scholz	Formal Verification and Hardware Design with Statecharts.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF
12	Michael von der Beeck, Tiziana Margaria, Bernhard Steffen	A formal requirements engineering method for specification, synthesis, and verification.	SEE	1997	DBLP DOI BibTeX RDF
12	Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini	Equivalences of Statecharts.	CONCUR	1996	DBLP DOI BibTeX RDF
12	Kevin Lano	Reactive System Specification and Refinement.	TAPSOFT	1995	DBLP DOI BibTeX RDF