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 |