Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
121 | 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 |
107 | Sun Meng, Zhang Naixiao, Luís Soares Barbosa |
On Semantics and Refinement of UML Statecharts: A Coalgebraic View. |
SEFM |
2004 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Statechart, Coalgebra |
106 | Liuying Li, Zhichang Qi |
Test Selection from UML Statecharts. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Wp-method, concurrency, test case selection, UML Statecharts |
106 | Wei Dong 0006, Ji Wang 0001, Xuan Qi, Zhichang Qi |
Model Checking UML Statecharts. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
|
103 | 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 |
101 | Yan Jin, Robert Esser, Jörn W. Janneck |
A method for describing the syntax and semantics of UML statecharts. |
Softw. Syst. Model. |
2004 |
DBLP DOI BibTeX RDF |
Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts |
101 | Zhaoxia Hu, Sol M. Shatz |
Explicit modeling of semantics associated with composite states in UML statecharts. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Composite states, State-transition notation, UML, Petri nets, Statecharts |
96 | Michael von der Beeck |
A structured operational semantics for UML-statecharts. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts |
82 | Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing |
Mobile UML Statecharts with Localities. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
76 | Xuede Zhan, Huaikou Miao |
An Approach to Formalizing the Semantics of UML Statecharts. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
74 | Gergely Pintér, István Majzik |
Runtime Verification of Statechart Implementations. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
temporal logic, Runtime verification, UML statecharts |
71 | Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam |
Verification Framework for Detecting Safety Violations in UML Statecharts. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Verification, UML Statecharts |
71 | 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 |
71 | Michael von der Beeck |
Formalization of UML-Statecharts. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
67 | Shuhao Li, Ji Wang 0001, Zhi-Chang Qi |
Property-Oriented Test Generation from UML Statecharts. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong |
Compositional Verification of UML Dynamic Models. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
61 | Dániel Varró |
A Formal Semantics of UML Statecharts by Model Transition Systems. |
ICGT |
2002 |
DBLP DOI BibTeX RDF |
|
59 | Jean Hartmann, Claudio Imoberdorf, Michael Meisinger |
UML-Based integration testing. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution |
57 | Hallvard Trætteberg |
Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach. |
DSV-IS |
2003 |
DBLP DOI BibTeX RDF |
UML, Statecharts, user interface model, dialog model |
57 | Ji Wang 0001, Wei Dong 0006, Zhichang Qi |
Slicing Hierarchical Automata for Model Checking UML Statecharts. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Gihwon Kwon |
Rewrite rules and Operational Semantics for Model Checking UML Statecharts. |
UML |
2000 |
DBLP DOI BibTeX RDF |
|
54 | Stephan Flake, Wolfgang Müller 0003 |
Formal semantics of static and temporal state-oriented OCL constraints. |
Softw. Syst. Model. |
2003 |
DBLP DOI BibTeX RDF |
Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts |
52 | 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 |
52 | Diego Latella, Mieke Massink |
On Mobility Extensions of UML Statecharts. A Pragmatic Approach. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Youcef Hammal |
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
51 | David N. Jansen, Holger Hermanns, Joost-Pieter Katoen |
A QoS-Oriented Extension of UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Methodology for UML Modeling and Formal Verification of Real-Time Systems. |
CIMCA/IAWTIC |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Nawal Addouche, Christian Antoine, Jacky Montmain |
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. |
SAFECOMP |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Rafal Mrowka, Tomasz Szmuc |
UML Statecharts Compositional Semantics in LOTOS. |
ISPDC |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Ariel Gonzalez, Carlos Luna 0001 |
Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities. |
SCCC |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Alexandre David, M. Oliver Möller, Wang Yi 0001 |
Formal Verification of UML Statecharts with Real-Time Extensions. |
FASE |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Zsigmond Pap, István Majzik, András Pataricza |
Checking General Safety Criteria on UML Statecharts. |
SAFECOMP |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis |
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
stochasic reward nets, Embedded systems, statecharts, dependability analysis |
42 | Stefania Gnesi, Diego Latella, Mieke Massink |
Formal Test-Case Generation for UML Statecharts. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Jan Murray |
Specifying Agent Behaviors with UML Statecharts and StatEdit. |
RoboCup |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Toshiaki Arai, Frieder Stolzenburg |
Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
design implementation, methodologies for specification, robotic soccer (RoboCup), validation standards for agents and multiagent systems, unified modeling language, multiagent systems, statecharts, agent-based software engineering, intelligent manufacturing |
39 | Karsten Diethers, Michaela Huhn |
Vooduu: Verification of Object-Oriented Designs Using UPPAAL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott |
Performance Comparison of Multi-agent Systems. |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
|
34 | 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 |
34 | Martin Gogolla, Mark Richters |
Development of UML Descriptions with USE. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Yang Su, Xuan-Wu Zhou, Min-Qing Zhang |
Research on Modeling Traversing Features in Concurrent Software System. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Saeed Doostali, Seyed Morteza Babamir, Mohammad Javani |
Using a process algebra interface for verification and validation of UML statecharts. |
Comput. Stand. Interfaces |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Cristinel Ababei, Susan C. Schneider |
Hardware Description of Event-driven Systems by Translation of UML Statecharts to VHDL. |
eIT |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario |
Compositional Analysis of Hierarchical UML Statecharts. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Feng Sheng, Liang Dou, Zongyuan Yang |
Mechanized semantics and refinement of UML-Statecharts. |
Frontiers Inf. Technol. Electron. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Gayane Sedrakyan, Stephan Poelmans, Monique Snoeck |
Assessing the influence of feedback-inclusive rapid prototyping on understanding the semantics of parallel UML statecharts by novice modellers. |
Inf. Softw. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Mohamed El-Attar 0001, Hamza Luqman, Péter Kárpáti, Guttorm Sindre, Andreas L. Opdahl |
Extending the UML Statecharts Notation to Model Security Aspects. |
IEEE Trans. Software Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
From UML Statecharts to LOTOS Expressions Using Graph Transformation. |
ICIST |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Valentin Chimisliu, Franz Wotawa |
Using Dependency Relations to Improve Test Case Generation from UML Statecharts. |
COMPSAC Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Valentin Chimisliu, Franz Wotawa |
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Patrick Heckeler, Jörg Behrend, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Roland Weiss |
DWARF-driven Equivalence Checking of UML Statecharts and Software Components. |
Softwaretechnik-Trends |
2011 |
DBLP BibTeX RDF |
|
27 | Christian Ammann |
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers. |
Softwaretechnik-Trends |
2011 |
DBLP BibTeX RDF |
|
27 | Stephan Seidel, Thomas Klotz, Ulrich Donath, Jürgen Haufe |
Modelling the real-time behaviour of machine controls using UML statecharts. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Valentin Chimisliu, Christian Schwarzl, Bernhard Peischl |
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
test case generation, LOTOS, UML Statechart |
27 | Gerald Lüttgen |
Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages. |
Softw. Test. Verification Reliab. |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Xuede Zhan |
A Formal Testing Framework for UML Statecharts. |
SNPD (3) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Mieke Massink, Diego Latella, Stefania Gnesi |
On testing UML statecharts. |
J. Log. Algebraic Methods Program. |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Doron Drusinsky |
Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking. |
|
2006 |
RDF |
|
27 | Lionel C. Briand, Yvan Labiche, Jim Cui |
Automated support for deriving test requirements from UML statecharts. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
|
27 | 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 |
27 | Zhaoxia Hu, Sol M. Shatz |
A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study. |
Software Engineering Research and Practice |
2005 |
DBLP BibTeX RDF |
|
27 | Tilo Mücke, Michaela Huhn |
Generation of Optimized Testsuites for UML Statecharts with Time. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Gergely Pintér, István Majzik |
Modeling and Analysis of Exception Handling by Using UML Statecharts. |
FIDJI |
2004 |
DBLP DOI BibTeX RDF |
model checking, UML, formal methods, Exception handling |
27 | Iftikhar Azim Niaz, Jiro Tanaka |
Mapping UML statecharts to java code. |
IASTED Conf. on Software Engineering |
2004 |
DBLP BibTeX RDF |
|
27 | Robi Malik, Reinhard Mühlfeld |
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. |
J. Univers. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Dirk Seifert, Steffen Helke, Thomas Santen |
Test Case Generation for UML Statecharts. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Lionel C. Briand, Jim Cui, Yvan Labiche |
Towards Automated Support for Deriving Test Data from UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Grzegorz Labiak |
From UML statecharts to FPGA - the HiCoS approach. |
FDL |
2003 |
DBLP BibTeX RDF |
|
27 | 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 |
|
27 | Jan Jürjens |
A UML statecharts semantics with message-passing. |
SAC |
2002 |
DBLP DOI BibTeX RDF |
Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications |
27 | 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 |
|
27 | Issa Traoré |
An Outline of PVS Semantics for UML Statecharts. |
J. Univers. Comput. Sci. |
2000 |
DBLP BibTeX RDF |
|
27 | Rik Eshuis, Roel J. Wieringa |
Requirements Level Semantics for UML Statecharts. |
FMOODS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Franz Matejka, Andreas Schwald |
Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts. |
GI Jahrestagung |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Frieder Stolzenburg, Toshiaki Arai |
From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications. |
MATES |
2003 |
DBLP DOI BibTeX RDF |
|
25 | 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 |
25 | Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
Assessing and Improving State-Based Class Testing: A Series of Experiments. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
testing experimentation, category partition, UML statecharts, State-based testing |
24 | Simon Pickin 0001, Claude Jard, Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon |
Test Synthesis from UML Models of Distributed Software. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Formal methods, testing tools, object-oriented design methods |
20 | Jun Kong, Dianxiang Xu |
A UML-Based Framework for Design and Analysis of Dependable Software. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi |
FSMC+, a tool for the generation of Java code from statecharts. |
PPPJ |
2007 |
DBLP DOI BibTeX RDF |
evoting, model checking, code generation, statecharts |
15 | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
Model Checking Hybrid Multiagent Systems for the RoboCup. |
RoboCup |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg |
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Hywel R. Dunn-Davies, Jim Cunningham |
Deriving agent-centred representations of protocols described using propositional statecharts. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
propositional statecharts, statecharts, interaction protocols |
15 | Kai Lampka, Markus Siegle |
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. |
VALUETOOLS |
2006 |
DBLP DOI BibTeX RDF |
performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution |
15 | Arastoo Barji, Nils H. Hagge, Bernardo Wagner |
Comparative Study of Using CNet, IEC 61499, and Statecharts for Behavioral Models of Real-time Control Applications. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Claudia Täubner, Till Merker |
Discrete Modelling of the Ethylene-Pathway. |
ICDE Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Lionel C. Briand, Yvan Labiche, Q. Lin |
Improving Statechart Testing Criteria Using Data Flow Information. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andrzej Wasowski |
Flattening statecharts without explosions. |
LCTES |
2004 |
DBLP DOI BibTeX RDF |
semantics, embedded, statecharts, program synthesis, automatic code generation |
15 | Giuliano Antoniol, Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
A Case Study Using the Round-Trip Strategy for State-Based Class Testing. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jan Murray |
Specifying agents with UML in robotic soccer. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
unified modeling language (UML), specification, multiagent systems, statecharts, robotic soccer, RoboCup |
15 | Nanette Bauer, Ralf Huuck |
Towards Automatic Verification of Embedded Control Software. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
|