Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
108 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Creation and Validation of Embedded Assertion Statecharts. |
IEEE International Workshop on Rapid System Prototyping |
2006 |
DBLP DOI BibTeX RDF |
|
105 | Kyo Chul Kang, Kwang-Il Ko |
Formalization and Verification of Safety Properties of Statechart Specifications. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
real-time system, temporal logic, Statecharts, safety property, specification technique, reachability graph |
97 | Simon Stobart, Norman Parrington, Bor-Yuan Tsai |
Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study. |
TOOLS (24) |
1997 |
DBLP DOI BibTeX RDF |
General Statechart, Extended General Statechart, Polymorphism, Statechart, Overloaded, State-Base Testing |
81 | José A. Cruz-Lemus, Marcela Genero, Mario Piattini, José Ambrosio Toval Álvarez |
An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams. |
ER (Workshops) |
2005 |
DBLP DOI BibTeX RDF |
|
81 | Dong Yang, Shen-sheng Zhang |
Modeling Workflow Process Models with Statechart. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
77 | Diego Latella, István Majzik, Mieke Massink |
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. |
Formal Aspects Comput. |
1999 |
DBLP DOI BibTeX RDF |
UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA |
69 | 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 |
69 | Steffen Prochnow, Reinhard von Hanxleden |
Statechart Development Beyond WYSIWYG. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
69 | Hua Chu, Qingshan Li, Shengming Hu, Ping Chen |
An Approach for Reversely Generating Hierarchical UML Statechart Diagrams. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
69 | P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan |
Test ready UML statechart models. |
SCESM |
2006 |
DBLP DOI BibTeX RDF |
model based testing, context-free grammar, UML statecharts |
69 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini |
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
69 | Vitus S. W. Lam, Julian A. Padget |
An integrated environment for communicating UML statechart diagrams. |
AICCSA |
2005 |
DBLP DOI BibTeX RDF |
|
68 | Doron Drusinsky, Man-tak Shing |
Using UML Statecharts with Knowledge Logic Guards. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior |
66 | Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
Formal definition of measures for UML statechart diagrams using OCL. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams |
66 | Christian Prehofer |
Plug-and-play composition of features and feature interactions with statechart diagrams. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Graphic modeling techniques, Plug-and-play composition, Semantic refinement, UML, Feature interaction, Statechart diagrams |
66 | Marcela Genero, David Miranda, Mario Piattini |
Defining Metrics for UML Statechart Diagrams in a Methodological Way. |
ER (Workshops) |
2003 |
DBLP DOI BibTeX RDF |
OO Software, UML statechart diagrams, theoretical validation, experiment replication, metrics, maintainability, size, empirical validation, understandability, structural complexity |
60 | David N. Jansen, Holger Hermanns |
QoS modelling and analysis with UML-statecharts: the StoCharts approach. |
SIGMETRICS Perform. Evaluation Rev. |
2005 |
DBLP DOI BibTeX RDF |
UML |
57 | José A. Cruz-Lemus, Marcela Genero, Sandro Morasca, Mario Piattini |
Using Practitioners for Assessing the Understandability of UML Statechart Diagrams with Composite States. |
ER Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
57 | Vitus S. W. Lam, Julian A. Padget |
Consistency Checking of Statechart Diagrams of a Class Hierarchy. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Vitus S. W. Lam, Julian A. Padget |
Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Luís Gomes 0001, Anikó Costa |
From Use Cases to System Implementation: Statechart Based Co-design. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
57 | Myung-Hwan Park, Ki-Seok Bang, Jin-Young Choi, Inhye Kang |
Equivalence Checking of Two Statechart Specifications. |
IEEE International Workshop on Rapid System Prototyping |
2000 |
DBLP DOI BibTeX RDF |
ACSR, Weak equivalence, Formal verification, Statecharts |
54 | Diego Latella, Mieke Massink |
On testing and conformance relations for UML statechart diagrams behaviours. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory |
48 | Liang Guo, Abhik Roychoudhury |
Debugging Statecharts Via Model-Code Traceability. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
Debugging, Traceability, Statecharts, Slicing |
48 | Atul Gupta, Amit Raj |
Strengthening Method Contracts for Objects. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Ki-Seok Bang, Jin-Young Choi, Sung-Ho Jang |
Formal Specification and Verification of Embedded System with Shared Resources. |
IEEE International Workshop on Rapid System Prototyping |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
ViSta. |
GD |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Samar Mouchawrab, Lionel C. Briand, Yvan Labiche |
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment. |
ESEM |
2007 |
DBLP DOI BibTeX RDF |
|
45 | David Harel, Hillel Kugler, Amir Pnueli |
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. |
Formal Methods in Software and Systems Modeling |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Gergely Pintér, István Majzik |
Impact of Statechart Implementation Techniques on the Effectiveness of Fault Detection Mechanisms. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Gergely Pintér, István Majzik |
Runtime Verification of Statechart Implementations. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
temporal logic, Runtime verification, UML statecharts |
45 | Luís Gomes 0001, Anikó Costa |
On Lifting of Statechart Structuring Mechanisms. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Vitus S. W. Lam, Julian A. Padget |
Formalization of UML Statechart Diagrams in the p-Calculus. |
Australian Software Engineering Conference |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Stefania Gnesi, Diego Latella, Mieke Massink |
Model Checking UML Statechart Diagrams Using JACK. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Branching Time Temporal Logics, Model Checking, UML, Formal Verification |
44 | Xuede Zhan, Huaikou Miao, Ling Liu |
Formalizing the Semantics of UML Statecharts with Z*. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
UML, formal semantics, Z, UML statechart |
44 | Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer 0001 |
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. |
UML |
2000 |
DBLP DOI BibTeX RDF |
UML meta model, precise behavioral semantics, graph transformation, statechart diagrams |
44 | José Luis Fernández Alemán, José Ambrosio Toval Álvarez |
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. |
ISSRE |
2000 |
DBLP DOI BibTeX RDF |
UML Statechart Diagrams, Software Model Reliability, Formal Verification, Requirements Specification |
44 | Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira |
Hypercharts: extended statecharts to support hypermedia specification. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification |
42 | Lina Chen, Yu Zhang, Jianmin Zhao |
Verification Approach of Statechart Models based on Property Statechart. |
VISAPP (1) |
2015 |
DBLP BibTeX RDF |
|
42 | Liu Jiufu |
Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
flight control software, statechart, B method, virtual prototype, integrated methods |
41 | Rosângela A. D. Penteado, Fernão Stella R. Germano, Paulo César Masiero |
An Overall Process Based on Fusion to Reverse Engineer Legacy Code. |
WCRE |
1996 |
DBLP DOI BibTeX RDF |
legacy code reverse engineering, object-oriented systems development, Fusion/RE, statechart editing, statechart simulation, application documentation, conversion effort, reverse engineering, metrics, heuristics, tools, fusion method, data reverse engineering |
36 | Rik Eshuis |
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Omar el Ariss, Dianxiang Xu, W. Eric Wong, Yuting Chen, Yann-Hang Lee |
A Systematic Approach for Integrating Fault Trees into System Statecharts. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Xiangpeng Zhao, Quan Long, Zongyan Qiu |
Model Checking Dynamic UML Consistency. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Simulation, Algorithm, Model Checking, UML, Semantics, Consistency |
36 | Albert C. Esterline, Chafic BouSaba, Abdollah Homaifar, Dan Rodgers |
A framework for learning coordinated behavior. |
GECCO Workshops |
2005 |
DBLP DOI BibTeX RDF |
coordinated behavior, parts/whole statecharts, semantics, XCS |
36 | Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng |
Verifying Compositional Designs for Scenario-Based Timing Specifications. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Juan de Lara, Esther Guerra, Hans Vangheluwe |
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting |
36 | Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira |
Hypercharts: Extended Statecharts to Support Hypermedia Specification. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
Hypermedia applications, hypercharts, semantics, statecharts, requirement specification |
36 | C. R. Nobe, William E. Warner |
Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts. |
ICRE |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Adriano Peron |
Statecharts, Transition Structures and Transformations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
33 | José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
Using Controlled Experiments for Validating UML Statechart Diagrams Measures. |
IWSM/Mensura |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Jeanette Heidenberg, Andreas Nåls, Ivan Porres |
Statechart Features and Pre-Release Defects in Software Maintenance. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Lionel C. Briand, Yvan Labiche, Q. Lin |
Improving Statechart Testing Criteria Using Data Flow Information. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Vitus S. W. Lam, Julian A. Padget |
Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Tewfik Ziadi, Loïc Hélouët, Jean-Marc Jézéquel |
Revisiting Statechart Synthesis with an Algebraic Approach. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Lionel C. Briand, Yvan Labiche, Yihong Wang |
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu |
From a B Specification to UML StateChart Diagrams. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline |
A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior. |
FAABS |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Maria Cristina Ferreira de Oliveira, Marcelo Augusto Santos Turine, Paulo César Masiero |
A statechart-based model for hypermedia applications. |
ACM Trans. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
HMBS, hypermedia specification, statecharts, navigational model, browsing semantics |
33 | Alexander Egyed, David S. Wile |
Statechart Simulator for Modeling Architectural Dynamics. |
WICSA |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Karl R. P. H. Leung, Lucas Chi Kwong Hui, Siu-Ming Yiu, Ricky W. M. Tang |
Modeling Web Navigation by Statechart. |
COMPSAC |
2000 |
DBLP DOI BibTeX RDF |
|
32 | K. R. Jayaram, Aditya P. Mathur |
On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
TLS protocol, MC/DC coverage, Security protocol, Statechart, Security Vulnerability |
32 | German Shegalov, Gerhard Weikum |
Formal Verification of Web Service Interaction Contracts. |
IEEE SCC (2) |
2008 |
DBLP DOI BibTeX RDF |
model checking, formal methods, recovery, statechart |
32 | Gregor Engels, Reiko Heckel, Stefan Sauer 0001 |
UML - A Universal Modeling Language? |
ICATPN |
2000 |
DBLP DOI BibTeX RDF |
UML, profile, statechart, object-oriented model, OCL, class diagram, interaction diagram |
32 | Soon-Kyeong Kim, David A. Carrington |
An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
lighting control, Object-Z specifications, precise understandable specification, light control system, graphical specification technique, formal specification technique, semantic translation, real-time interactive embedded system, Unified Modeling Language, formal specification, case study, specification languages, systems analysis, object-oriented languages, object-oriented methods, diagrams, requirements elicitation, sequence diagrams, functional model, UML diagrams, integrated framework, use case diagrams, statechart diagrams |
32 | Thierry Villemur, Khalil Drira, Michel Diaz |
Design of a Group Membership Service on Top of a Distributed JAVA Actor Platform. |
FTDCS |
1999 |
DBLP DOI BibTeX RDF |
Cooperative groups modeling, membership algorithms, JAVA, statechart, actors, formal design |
32 | 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 |
24 | Moria Abadi, Yishai A. Feldman |
Refactoring of Statecharts. |
NGITS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Supaporn Kansomkeat, Jeff Offutt, Aynur Abdurazik, Andrea Baldini |
A Comparative Evaluation of Tests Generated from Different UML Diagrams. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
Software Testing, Model-based Testing, UML Diagram |
24 | Davor Svetinovic, Daniel M. Berry, Nancy A. Day, Michael W. Godfrey |
Unified use case statecharts: case studies. |
Requir. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu |
A Supervisor of Traffic Light Systems Using Statecharts. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. Keller |
Automated Prototyping of User Interfaces Based on UML Scenarios. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
scenario engineering, Unified Modeling Language, user interface prototyping |
24 | Sara Van Langenhove, Albert Hoogewijs |
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Lionel C. Briand, Yvan Labiche, Jim Cui |
Automated support for deriving test requirements from UML statecharts. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Stefanie Rinderle, Morad Benyoucef |
Towards the Automation of E-Negotiation Processes Based on Web Services - A Modeling Approach. |
WISE |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Michelle L. Crane, Jürgen Dingel |
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. |
MoDELS |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Tim Schattkowsky, Wolfgang Müller 0003 |
Transformation of UML State Machines for Direct Execution. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Günter Graw, Peter Herrmann |
Generation and Enactment of Controllers for Business Architectures Using MDA. |
EWSA |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Lionel C. Briand, Jim Cui, Yvan Labiche |
Towards Automated Support for Deriving Test Data from UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Yan Jin, Robert Esser, Jörn W. Janneck |
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Doug Goldson |
Formal Verification of mu-Charts. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
µ-charts, formal verification, refinement, CSP |
24 | Tom Holvoet, Elke Steegmans |
Application-Specific Reuse of Agent Roles. |
SELMAS |
2002 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
An Algorithmic Framework for Visualizing Statecharts. |
GD |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Kevin Lano, David Clark 0001, Kelly Androutsopoulos, Pauline Kan |
Invariant-Based Synthesis of Fault-Tolerant Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
A Translation of Statecharts to Esterel. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Luca Pazzi |
Extending statecharts for representing parts and wholes. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
state-based formalisms, object-oriented development methods, object behavioural modelling, control complexity, behavioural abstractions, specification, software quality, software quality, modularity, statecharts |
24 | Nancy A. Day |
An example of linking formal methods with case tools: a model checker for statecharts. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
21 | Clyde Rempillo, Sadaf Mustafiz |
STL4IoT: A Statechart Template Library for IoT System Design. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Clyde Rempillo, Sadaf Mustafiz |
A Statechart Template Library for Iot System Modelling. |
ANNSIM |
2023 |
DBLP BibTeX RDF |
|
21 | Venkat Pankaj Lahari Molleti, Rama Sudha Kashibhatla, Vijaya Santhi Rajamahanthi |
MPPT Control of Photovoltaic Systems Using Statechart With Abstraction and Its Comparison With Fuzzy Logic. |
Int. J. Syst. Dyn. Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Ali Hanzala Khan, Ivan Porres |
Consistency of UML class, object and statechart diagrams using ontology reasoners. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Mourad Kezai, Abdallah Khababa |
Generating Maude Specifications from M-UML Statechart Diagrams. |
J. Adv. Comput. Intell. Intell. Informatics |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Mehmet Aktas, Tolga Ovatman |
UML Statechart Anti-Patterns. |
COMPSAC |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Alexandre Decan, Tom Mens |
Sismic - A Python library for statechart execution and testing. |
SoftwareX |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Marawan Azmy Hebaish, Mohamed A. Olwan, Mostafa Ayman, AbdELRahman A. Genidy, William Habib, Nouran Adel Hassan, Omar Tarek Seada, Elsayed I. Morgan |
Adoption of Hybrid StateChart Principle in a Hierarchical Formation Architecture for Configurable Vehicles. |
NILES |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Jiajing Wang, You Tang, Helong Yu, Wei Huang |
Method of UML Statechart Checking Based on Explicit Model Checking. |
ATCI |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis |
A method for testing and validating executable statechart models. |
Softw. Syst. Model. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | M. V. Pankaj Lahari, K. Rama Sudha, R. Vijaya Santhi |
Statechart Models of MPPT Controller for a Photo-Voltaic System in Co-Simulation Environment. |
TENCON |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand |
The Statechart Workbench: Enabling scalable software event log analysis using process mining. |
SANER |
2018 |
DBLP DOI BibTeX RDF |
|