Search results for "statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Dag Björklund, Johan Lilius, Ivan Porres	Towards Efficient Code Synthesis from Statecharts.	pUML	2001	DBLP BibTeX RDF
18	Qianchuan Zhao, Bruce H. Krogh	Formal verification of Statecharts using finite-state model checkers.	ACC	2001	DBLP DOI BibTeX RDF
18	José M. Machado, Farid Louni, Jean-Marc Faure, Jean-Jacques Lesage, Jaime C. L. Ferreira da Silva, Jean-Marc Roussel	Modelling and implementing the control of automated production systems using statecharts and PLC programming languages.	ECC	2001	DBLP DOI BibTeX RDF
18	Oliver Obst	Specifying Rational Agents with Statecharts and Utility Functions.	RoboCup	2001	DBLP DOI BibTeX RDF
18	Gábor Huszerl, István Majzik	Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts.	EUROMICRO	2001	DBLP DOI BibTeX RDF
18	Sebastian John	Transition Selection Algorithms for Statecharts.	GI Jahrestagung (1)	2001	DBLP BibTeX RDF
18	Gerald Lüttgen, Michael Mendler	Statecharts: From Visual Syntax to Model-Theoretic Semantics.	GI Jahrestagung (1)	2001	DBLP BibTeX RDF
18	Carlos Renato Lisboa Francês, Nandamudi Lankalapalli Vijaykumar, Regina Helena Carlucci Santana, Marcos José Santana, Solon Venâncio de Carvalho, Vakulathil Abdurahiman	The Use of Analytical and Simulation Solutions with Statecharts for performance evaluation: A case study of a File Server model.	LATW	2001	DBLP BibTeX RDF
18	Issa Traoré	An Outline of PVS Semantics for UML Statecharts.	J. Univers. Comput. Sci.	2000	DBLP BibTeX RDF
18	Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha, Doo-Hwan Bae, Hasan Ural	A test sequence selection method for statecharts.	Softw. Test. Verification Reliab.	2000	DBLP DOI BibTeX RDF
18	Annette Laue, Matthias Liedtke, Daniel Moldt, Ivana Trickovic	Statecharts as Protocols for Objects.	Rigorous Object-Oriented Methods	2000	DBLP BibTeX RDF
18	Gianna Reggio, Lorenzo Repetto	CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL.	AMAST	2000	DBLP DOI BibTeX RDF
18	Rik Eshuis, Roel J. Wieringa	Requirements Level Semantics for UML Statecharts.	FMOODS	2000	DBLP DOI BibTeX RDF
18	Michael von der Beeck	A Concise Compositionalj Statecharts Semantics Definition.	FORTE	2000	DBLP BibTeX RDF
18	Anthony Lauder, Stuart Kent 0001	Statecharts for Business Process Modelling.	ICEIS	2000	DBLP BibTeX RDF
18	Edwin Erpenbach	Compilation, worst case execution times, and schedulability analysis of statecharts models.		2000	RDF
18	Erich Mikk	Semantics and verification of statecharts.		2000	RDF
18	Kirill Bogdanov 0002	Automated testing of Harel's statecharts.		2000	RDF
18	Francesca Levi	A Compositional µ-Calculus Proof System for Statecharts Processes.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
18	Heinz Frank, Johann Eder	Towards an Automatic Integration of Statecharts.	ER	1999	DBLP DOI BibTeX RDF
18	Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Tatiana Sugeta, Paulo César Masiero	Mutation testing applied to validate specifications based on statecharts.	ISSRE	1999	DBLP DOI BibTeX RDF
18	Thomas Deiß	An Approach to the Combination of Formal Description Techniques: Statecharts and TLA.	IFM	1999	DBLP DOI BibTeX RDF
18	Heinz Frank	Consequences of Attribute Redefinition on Inheritance of Statecharts.	ADBIS (Short Papers)	1999	DBLP BibTeX RDF
18	Carlos Renato Lisboa Francês, Marcos José Santana, Regina Helena Carlucci Santana	Statecharts and Markov Chains for Performance Evaluation: Its Applications and Implications.	PDPTA	1999	DBLP BibTeX RDF
18	Nandamudi Lankalapalli Vijaykumar	Statecharts: their use in specifying and dealing with performance models.		1999	RDF
18	Robert Geisler	Formal semantics for the integration of statecharts and Z in metamodel based framework.		1999	RDF
18	Andrea Maggiolo-Schettini, Simone Tini	Projectable Semantics for Statecharts.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
18	Pablo Gruer, Abder Koukam, Belhassen Mazigh	Modeling and quantitative analysis of discrete event systems: A statecharts based approach.	Simul. Pract. Theory	1998	DBLP DOI BibTeX RDF
18	Jeffrey B. Green	Correspondences between statecharts, event structures, and concurrent regular expressions.	ACM Southeast Regional Conference	1998	DBLP DOI BibTeX RDF
18	Belhassen Mazigh, Pablo Gruer, Abder Koukam	An Extended Statecharts Approach for the Modeling and Analysis of Discrete Event Systems: The Case of Manufacturing Systems.	ESM	1998	DBLP BibTeX RDF
18	Kay Fuhrmann, Jan Hiemer	Formal Verification of Statemate-Statecharts.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
18	Karsten Lüth, Jürgen Niehaus, Thomas Peikenkamp	HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams.	International Workshop on Rapid System Prototyping	1998	DBLP DOI BibTeX RDF
18	Heinz Frank, Johann Eder	Integration of Statecharts.	CoopIS	1998	DBLP DOI BibTeX RDF
18	Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy	From MSCs to Statecharts.	DIPES	1998	DBLP BibTeX RDF
18	Franz Matejka, Andreas Schwald	Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts.	GI Jahrestagung	1998	DBLP DOI BibTeX RDF
18	Hallvard Trætteberg	Modelling Direct Manipulation Using Referent and Statecharts.	DSV-IS	1998	DBLP DOI BibTeX RDF
18	Peter Scholz	Design of reactive systems and their distributed implementation with statecharts.		1998	RDF
18	Johannes Helbig	Linking visual formalisms: a compositional proof system for statecharts based on symbolic timing diagrams.		1998	RDF
18	David Harel, Eran Gery	Executable Object Modeling with Statecharts.	Computer	1997	DBLP DOI BibTeX RDF
18	Sandra C. P. F. Fabbri, José Carlos Maldonado, Paulo César Masiero	Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts.	SBES	1997	DBLP DOI BibTeX RDF
18	Erich Mikk, Yassine Lakhnech, Michael Siegel	Hierarchical Automata as Model for Statecharts.	ASIAN	1997	DBLP DOI BibTeX RDF
18	Jan Philipps, Peter Scholz	Formal Verification of Statecharts with Instantaneous Chain Reaction.	TACAS	1997	DBLP DOI BibTeX RDF
18	Peter Scholz, Dieter Nazareth	Communication Concepts for Statecharts: A Semantic Foundation.	ARTS	1997	DBLP DOI BibTeX RDF
18	Rait Harnett	Logically timed Chu process semantics for statecharts.		1997	RDF
18	Carsta Petersohn	Data and control flow diagrams, statecharts and Z: their formalization, integration and real time extension.		1997	RDF
18	David Harel, Amnon Naamad	The STATEMATE Semantics of Statecharts.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	semantics, statechart, reactive system, behavioral modeling, STATEMATE
18	Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot	Statecharts in Use: Structured Analysis and Object-Orientation.	European Educational Forum: School on Embedded Systems	1996	DBLP DOI BibTeX RDF
18	Antonio Mendes da Silva Filho	On Deriving Statecharts Supervision Models from SDL Specifications Using SSM.	SBES	1996	DBLP DOI BibTeX RDF
18	David Harel	Some Thoughts on Statecharts, 13 Years Later (Abstract).	ASIAN	1996	DBLP DOI BibTeX RDF
18	Valentina Salapura, Volker Hamann	Implementing fuzzy control systems using VHDL and statecharts.	EURO-DAC	1996	DBLP DOI BibTeX RDF
18	Sung Deok Cha, Hyoung Seok Hong	Specification and analysis of real-time systems in Statecharts.	WORDS	1996	DBLP DOI BibTeX RDF
18	Andrea Maggiolo-Schettini, Adriano Peron	Retiming Techniques for Statecharts.	FTRTFT	1996	DBLP DOI BibTeX RDF
18	David Harel	Statecharts: Past, Present and Future (abstract).	SOFSEM	1996	DBLP DOI BibTeX RDF
18	Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör	Statecharts.	Formal Development of Reactive Systems	1995	DBLP DOI BibTeX RDF
18	Robert Büssow, Matthias Weber 0001	A Steam-Boiler Control Specification with Statecharts and Z.	Formal Methods for Industrial Applications	1995	DBLP DOI BibTeX RDF
18	Gerald Junkermann	A Dedicated Process Design Language based on EER-models, Statecharts and Tables.	SEKE	1995	DBLP BibTeX RDF
18	Martin Glinz	An Integrated Formal Model of Scenarios Based on Statecharts.	ESEC	1995	DBLP DOI BibTeX RDF
18	Mohamed Romdhani, P. Chambert, Alain Jeffroy, Pierre de Chazelles, Ahmed Amine Jerraya	Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics.	EURO-DAC	1995	DBLP DOI BibTeX RDF
18	Paulo César Masiero, José Carlos Maldonado, Inês A. G. Boaventura	A reachability tree for statecharts and analysis of some properties.	Inf. Softw. Technol.	1994	DBLP DOI BibTeX RDF
18	Andrea Maggiolo-Schettini, Adriano Peron	A Graph Rewriting Framework for Statecharts Semantics.	TAGT	1994	DBLP DOI BibTeX RDF
18	Rosemeire Shibuya, Rosângela A. D. Penteado, Paulo César Masiero	Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts.	SBES	1994	DBLP DOI BibTeX RDF
18	Werner Damm, Johannes Helbig	Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.	PROCOMET	1994	DBLP BibTeX RDF
18	Andrew C. Uselton, Scott A. Smolka	A Process Algebraic Semantics for Statecharts via State Refinement.	PROCOMET	1994	DBLP BibTeX RDF
18	Johannes Helbig, Peter Kelb	An OBDD-Representation of Statecharts.	EDAC-ETC-EUROASIC	1994	DBLP DOI BibTeX RDF
18	Adriano Peron, Andrea Maggiolo-Schettini	Transitions as Interrupts: A New Semantics for Timed Statecharts.	TACS	1994	DBLP DOI BibTeX RDF
18	Michael von der Beeck	A Comparison of Statecharts Variants.	FTRTFT	1994	DBLP DOI BibTeX RDF
18	Elmar Cochlovius	Spezifikation, Analyse und Simulation grosser VLSI-Entwürfe mit Statecharts und Activitycharts.		1994	RDF
18	Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb	VHDL/S - integrating statecharts, timing diagrams, and VHDL.	Microprocess. Microprogramming	1993	DBLP DOI BibTeX RDF
18	Andrea Maggiolo-Schettini, Adriano Peron	Semantics of Full Statecharts Based on Graph Rewriting.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
18	Michael von der Beeck	Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification.	ESEC	1993	DBLP DOI BibTeX RDF
18	João W. L. Cangussu, Paulo César Masiero, José Carlos Maldonado	Execução Programada de Statecharts.	SBES	1993	DBLP DOI BibTeX RDF
18	Bran Selic	An Efficient Object-Oriented Variation of the Statecharts Formalism for Distributed Real-Time Systems.	CHDL	1993	DBLP BibTeX RDF
18	Dennis B. Mulcare	Stochastic statecharts and rapid prototype software architecture.	RSP	1993	DBLP DOI BibTeX RDF
18	Michael von der Beeck	Enhancing Structured Analysis by Timed Statecharts for Real-Time and Concurrency Specification.	Decentralized and Distributed Systems	1993	DBLP BibTeX RDF
18	Jozef Hooman, S. Ramesh 0001, Willem P. de Roever	A Compositional Axiomatization of Statecharts.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
18	Neal Walters	Using Harel statecharts to model object-oriented behavior.	ACM SIGSOFT Softw. Eng. Notes	1992	DBLP DOI BibTeX RDF
18	Derek Coleman, Fiona Hayes, Stephen Bear	Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	Objectchart transitions, state-changing methods, Objectchart states, Objectchart notions, alarm clock application, subtyping inheritance relationships, Objectchart specifications, formal specification, data structures, object-oriented programming, Statechart, diagrams, state machine, postconditions, object classes, observer methods
18	Jean Paul Calvez, Olivier Pasquier	Implementation of statecharts with transputers.	Microprocess. Microprogramming	1992	DBLP DOI BibTeX RDF
18	Nancy A. Day	A Comparison between Statecharts and State Transition Assertions.	TPHOLs	1992	DBLP BibTeX RDF
18	Inês A. G. Boaventura, Paulo César Masiero	Execução Exaustiva de Statecharts.	SBES	1992	DBLP DOI BibTeX RDF
18	Yi Zheng, Man-Chi Pong	Using Statecharts to Model Hypertext.	ECHT	1992	DBLP DOI BibTeX RDF
18	Dennis B. Mulcare	Higher-level statecharts for prototyping architectural dynamics.	RSP	1992	DBLP DOI BibTeX RDF
18	Yonit Kesten, Amir Pnueli	Timed and Hybrid Statecharts and Their Textual Representation.	FTRTFT	1992	DBLP DOI BibTeX RDF
18	Cornelis Huizing, Willem P. de Roever	Introduction to Design Choices in the Semantics of Statecharts.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
18	Amir Pnueli, M. Shalev	What is in a Step: On the Semantics of Statecharts.	TACS	1991	DBLP DOI BibTeX RDF
18	Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega	Experiences using statecharts for a system requirements specification.	IWSSD	1991	DBLP BibTeX RDF
18	Timo Jokela, Kai Lindberg	Statecharts based requirements analysis: Deriving user oriented models.	Microprocessing and Microprogramming	1990	DBLP DOI BibTeX RDF
18	Pierre D. Wellner	Statemaster: A UIMS based on statecharts for prototyping and target implementation.	CHI	1989	DBLP DOI BibTeX RDF
18	Bonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe	Analysis capabilities for requirements specified in statecharts.	IWSSD	1989	DBLP DOI BibTeX RDF
18	David Harel	Statecharts: A Visual Formalism for Complex Systems.	Sci. Comput. Program.	1987	DBLP DOI BibTeX RDF
18	David Harel, Amir Pnueli, Jeanette P. Schmidt, Rivi Sherman	On the Formal Semantics of Statecharts (Extended Abstract)	LICS	1987	DBLP BibTeX RDF
16	Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu 0001	Semantic Criteria for Choosing a Language for Big-Step Models.	RE	2009	DBLP DOI BibTeX RDF	Semantics of modelling languages, UML statemachines, big-step modelling languages, interactive systems, Statecharts, reactive systems, Synchronous languages
16	Anna Derezinska, Romuald Pilitowski	Interpretation of History Pseudostates in Orthogonal States of UML State Machines.	NGITS	2009	DBLP DOI BibTeX RDF	UML state machines, orthogonal regions, semantic variation points, UML code execution, statecharts, history
16	Andrea Paoli, Stéphane Lafortune	Diagnosability Analysis of a Class of Hierarchical State Machines.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Hierarchical finite state machines, Fault diagnosis, Statecharts, Discrete event systems, Diagnoser
16	Jiexin Lian, Zhaoxia Hu, Sol M. Shatz	Simulation-based analysis of UML statechart diagrams: methods and case studies.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Formal methods, Petri nets, UML statecharts, Design analysis
16	Xabier Aretxandieta, Xabier Elkorobarrutia, Franck Barbier	Component Adaptation for Correctness in Composite Systems.	ICCBSS	2008	DBLP DOI BibTeX RDF	Composition, statecharts, behavior
16	Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing	Validating UML Statechart-Based Assertions Libraries for Improved Reliability and Assurance.	SSIRI	2008	DBLP DOI BibTeX RDF	Formal Specifications, Validation, Patterns, Statecharts, Assertions
16	Luca Pazzi, Marco Pradelli	A State-Based Systemic View of Behavior for Safe Medical Computer Applications.	CBMS	2008	DBLP DOI BibTeX RDF	state-based design, Part-Whole Statecharts, model checking, embedded systems, formal specification, formal verification, safety, dependable systems, medical devices
16	Nuno Amálio, Fiona Polack, Jing Zhang	Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity.	ABZ	2008	DBLP DOI BibTeX RDF	object-orientation, complex systems, statecharts, Z
16	David Harel, Itai Segall, Hillel Kugler, Yaki Setty	Crafting game-models using reactive system design.	Future Play	2008	DBLP DOI BibTeX RDF	simulators, game design, statecharts, systems biology, live sequence charts