Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Stefan Henkler, Joel Greenyer, Martin Hirsch 0001, Wilhelm Schäfer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Löffler, Andreas Seibel, Holger Giese |
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-driven assessment of system dependability. |
Softw. Syst. Model. |
2008 |
DBLP DOI BibTeX RDF |
Reliability, Dependability, Requirements, Safety, Use cases |
20 | Mikhail Auguston, Mark B. Trakhtenbrot |
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
20 | Yang Su, Xuan-Wu Zhou, Min-Qing Zhang |
Research on Modeling Traversing Features in Concurrent Software System. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Elena Troubitsyna |
Elicitation and Specification of Safety Requirements. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
requirements engineering, software development, safety analysis |
20 | 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 |
20 | Steffen Prochnow, Reinhard von Hanxleden |
Statechart Development Beyond WYSIWYG. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jörg Kienzle, Alexandre Denault, Hans Vangheluwe |
Model-Based Design of Computer-Controlled Game Character Behavior. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe |
Model-Driven Assessment of Use Cases for Dependable Systems. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Albert C. Esterline, Chafic BouSaba, Barbara Pioro, Abdollah Homaifar |
Hierarchies, Holons, and Agent Coordination. |
WRAC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Sven Burmester, Holger Giese |
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in MECHATRONIC UML. |
VL/HCC |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Shuhao Li, Ji Wang 0001, Wei Dong 0006, Zhichang Qi |
Property-Oriented Testing of Real-Time Systems. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Doron Drusinsky |
Automatic Simulation of Network Problems in UDP-Based Java Programs Temporal Logic and Natural Language Conditioned Transitions. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Glaucio H. S. Carvalho, Roberto M. Rodrigues, Carlos Renato Lisboa Francês, João Crisóstomo Weyl Albuquerque Costa, Solon V. Carvalho |
Modelling and Performance Evaluation of Wireless Networks. |
ICT |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Karsten Diethers, Michaela Huhn |
Vooduu: Verification of Object-Oriented Designs Using UPPAAL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Jasmin Fisher, David Harel, E. Jane Albert Hubbard, Nir Piterman, Michael J. Stern, Naamah Swerdlin |
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems. |
CMSB |
2004 |
DBLP DOI BibTeX RDF |
|
20 | 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 |
|
20 | Lionel C. Briand, Yvan Labiche, Yihong Wang |
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Nguyen Truong Thang, Takuya Katayama |
Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Sukhamay Kundu |
Modeling Complex Systems by A Set of Interacting Finite-State Models. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
communication among finite-state models, design optimization, finite-state models |
20 | Luís Gomes 0001, Anikó Costa |
On Lifting of Statechart Structuring Mechanisms. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Satyajit Acharya, Hrushikesha Mohanty, R. K. Shyamasundar |
MOBICHARTS: A Notation to Specify Mobile Computing Applications. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Amir Pnueli |
Applications of Formal Methods in Biology. |
FTRTFT |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jan Murray, Oliver Obst, Frieder Stolzenburg |
Towards a Logical Approach for Soccer Agents Engineering. |
RoboCup |
2000 |
DBLP DOI BibTeX RDF |
|
20 | David Harel, Hillel Kugler |
Synthesizing State-Based Object Systems from LSC Specifications. |
CIAA |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Tevfik Bultan |
Action Language: a specification language for model checking reactive systems. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
model checking, specification languages, reactive systems |
20 | Simin Nadjm-Tehrani |
Integration of Analog and Discrete Synchronous Design. |
HSCC |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Pyttel, Alexander Sedlmeier, Christian Veith |
PSCP: A Scalable Parallel ASIP Architecture for Reactive Systems. |
DATE |
1998 |
DBLP DOI BibTeX RDF |
FPGA, modular, statechart, application-specific |
20 | Yishai A. Feldman, Haim Schneider |
Simulating Reactive Systems by Deduction. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Tzilla Elrad, Sungyoung Lee, Ufuk Verun |
Extending Working Evnrironments for the Development of Reactive/Adaptive Systems with Intelligent Controls. |
Ada-Europe |
1992 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Cristinel Ababei, Susan C. Schneider |
Hardware Description of Event-driven Systems by Translation of UML Statecharts to VHDL. |
eIT |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Karla Vanessa Morris Wright, Thai Son Hoang, Colin F. Snook, Michael J. Butler |
Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling. |
ICTAC |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Majid Babaei, Maroua Ben Attia |
ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts. |
SERP4IoT |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Laura Carnevali, Reinhard German, Francesco Santoni, Enrico Vicario |
Compositional Analysis of Hierarchical UML Statecharts. |
IEEE Trans. Software Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac |
Q: A Sound Verification Framework for Statecharts and Their Implementations. |
FTSCS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Marcel Christian Werner, Klaus Schneider 0001 |
From IEC 61131-3 Function Block Diagrams to Sequentially Constructive Statecharts. |
FDL |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Joeri Exelmans, Simon Van Mierlo, Hans Vangheluwe |
A statecharts interpreter and compiler with semantic variability. |
MoDELS (Companion) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Nikolaos I. Spanoudakis |
Engineering Multi-agent Systems with Statecharts. |
SN Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | David Harel, Rami Marelly, Assaf Marron, Smadar Szekely |
Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive Systems. |
IEEE Des. Test |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Bence Graics, Vince Molnár, András Vörös 0001, István Majzik, Dániel Varró |
Mixed-semantics composition of statecharts for the component-based design of reactive systems. |
Softw. Syst. Model. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ismo Hakala, Xinyu Tan |
A Statecharts-Based Approach for WSN Application Development. |
J. Sens. Actuator Networks |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Sujit Kumar Chakrabarti, Karthika Venkatesan |
StaBL: Statecharts with Local Variables. |
ISEC |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Eugene Syriani, Vasco Sousa, Levi Lúcio |
Refining Statecharts while preserving the structure and behavior. |
SEAA |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler |
Formal Verification of Run-to-Completion Style Statecharts Using Event-B. |
ECSA Companion |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Nikolaos I. Spanoudakis |
Statecharts and Agent Technology: The Past and Future. |
EUMAS/AT |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Chunhui Guo, Zhicheng Fu, Zhenyu Zhang 0009, Shangping Ren, Lui Sha |
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts. |
IEEE Internet Things J. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Chunhui Guo, Zhicheng Fu, Zhenyu Zhang 0009, Shangping Ren, Lui Sha |
Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | David Harel, Rami Marelly, Assaf Marron, Smadar Szekely |
Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Eugene Syriani, Vasco Sousa, Levi Lúcio |
Structure and behavior preserving statecharts refinements. |
Sci. Comput. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Imke Drave, Robert Eikermann, Oliver Kautz, Bernhard Rumpe |
Semantic Differencing of Statecharts for Object-oriented Systems. |
MODELSWARD |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Javier Cereijo García, Roberto R. Osorio |
A Microprogrammed Approach for Implementing Statecharts. |
DSD |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Simon Van Mierlo, Hans Vangheluwe |
Introduction to Statecharts Modeling, Simulation, Testing, and Deployment. |
WSC |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin |
Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. |
IFM |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Javier Cereijo García, Roberto R. Osorio |
Hardware Implementation of Statecharts for FPGA-based Control in Scientific Facilities. |
DCIS |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Amal Khalil, Juergen Dingel |
Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. |
Adv. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Chunhui Guo, Zhicheng Fu, Zhenyu Zhang 0009, Shangping Ren, Lui Sha |
Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
18 | Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin |
On checking delta-oriented product lines of statecharts. |
Sci. Comput. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Shuanglong Kan, Zhiqiu Huang |
Detecting safety-related components in statecharts through traceability and model slicing. |
Softw. Pract. Exp. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Steven Smyth, Christian Motika, Reinhard von Hanxleden |
Synthesizing manually verifiable code for statecharts. |
REBLS@SPLASH |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Karla Morris, Colin F. Snook, Thai Son Hoang, Robert C. Armstrong, Michael J. Butler |
Refinement of Statecharts with Run-to-Completion Semantics. |
FTSCS |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Simon Van Mierlo, Hans Vangheluwe |
Introduction to Statecharts Modeling, simulation, Testing, and Deployment. |
WSC |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth |
Embedding Scenario-based Modeling in Statecharts. |
MoDELS (Workshops) |
2018 |
DBLP BibTeX RDF |
|
18 | Feng Sheng, Liang Dou, Zongyuan Yang |
Mechanized semantics and refinement of UML-Statecharts. |
Frontiers Inf. Technol. Electron. Eng. |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Bence Czipó, Ákos Hajdu, Tamás Tóth, István Majzik |
Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers. |
FESCA@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Pedro Sánchez, Bárbara Álvarez, Ramón Martínez, Andrés Iborra |
Embedding statecharts into Teleo-Reactive programs to model interactions between agents. |
J. Syst. Softw. |
2017 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Miren Illarramendi Rezabal, Leire Etxeberria, Xabier Elkorobarrutia, Goiuria Sagardui |
Increasing Dependability in Safety Critical CPSs Using Reflective Statecharts. |
SAFECOMP Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Valdivino Alexandre de Santiago Júnior, Felipe Elias Costa da Silva |
From Statecharts into Model Checking: A Hierarchy-based Translation and Specification Patterns Properties to Generate Test Cases. |
SAST |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Roopak Sinha, Ayush Narula, John Grundy 0001 |
Parametric statecharts: designing flexible IoT apps: deploying android m-health apps in dynamic smart-homes. |
ACSW |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Brandon Shapiro, Chris Casinghino |
specgen: A Tool for Modeling Statecharts in CSP. |
NFM |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Jan Magott, Pawel Skrobanek |
Semantics and Execution Time of New Timed Statecharts. |
Fundam. Informaticae |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Patrick Wacht, Ulrich Trick, Woldemar F. Fuhrmann, Bogdan V. Ghita |
Efficient Test Case Derivation from Statecharts-based Models. |
INC |
2016 |
DBLP BibTeX RDF |
|
18 | Amal Khalil |
Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. |
|
2016 |
RDF |
|
18 | 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 |
|
18 | Conner Hansen, Eugene Syriani, Levi Lucio |
Towards Controlling Refinements of Statecharts. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
18 | Jonathan Ozik, Nicholson T. Collier, Todd Combs, Charles M. Macal, Michael J. North |
Repast Simphony Statecharts. |
J. Artif. Soc. Soc. Simul. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Marcelo A. Ramos, Paulo César Masiero, Rosângela Aparecida Dellosso Penteado, Rosana T. V. Braga |
Extending statecharts to model system interactions. |
J. Softw. Eng. Res. Dev. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Elena Kushnareva, Irina Rychkova, Bénédicte Le Grand |
Modeling and Animation of Crisis Management Process with Statecharts. |
BIR |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui |
From UML Statecharts to LOTOS Expressions Using Graph Transformation. |
ICIST |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Carlo Ghezzi, Claudio Menghi, Amir Molzam Sharifloo, Paola Spoletini |
On requirement verification for evolving Statecharts specifications. |
Requir. Eng. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger |
Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts. |
IEEE Syst. J. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze 0002, Andreas Wortmann 0001 |
A New Skill Based Robot Programming Language Using UML/P Statecharts. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe |
System Model Semantics of Statecharts. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-Boulanger |
Availability assessment of railway signalling systems with uncertainty analysis using Statecharts. |
Simul. Model. Pract. Theory |
2014 |
DBLP DOI BibTeX RDF |
|
18 | João Pimentel 0001, Jaelson Castro, John Mylopoulos, Konstantinos Angelopoulos, Vítor E. Silva Souza |
From requirements to statecharts via design refinement. |
SAC |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Tomasz Babczynski, Jan Magott |
Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation. |
DepCoS-RELCOMEX |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Justin MacKenzie, Shaun Carnegie, James Schmalz, Mike Schmalz, Sandrine de Ribaupierre, Roy Eagleson |
Surgical simulation workflow representation using hierarchical task analysis and statecharts: Implementation on the evolution engine. |
GEM |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Mokhtar Beldjehem |
A Granular Hierarchical Multiview Metrics Suite for Statecharts Quality. |
Adv. Softw. Eng. |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Maria-Cristina V. Marinescu, César Sánchez 0001 |
Fusing statecharts and java. |
ACM Trans. Embed. Comput. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Tassilo Horn |
Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT. |
TTC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Pieter Van Gorp, Louis M. Rose |
The Petri-Nets to Statecharts Transformation Case. |
TTC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Kevin Lano, Shekoufeh Kolahdouz Rahimi, Krikor Maroukian |
Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS. |
TTC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Jing Liu 0012, Ziwei Liu, Jifeng He 0001, Frédéric Mallet, Zuohua Ding |
Hybrid MARTE statecharts. |
Frontiers Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Ulrike Thomas, Gerd Hirzinger, Bernhard Rumpe, Christoph Schulze 0002, Andreas Wortmann 0001 |
A new skill based robot programming language using UML/P Statecharts. |
ICRA |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Kumar Madhukar, Ravindra Metta, Priyanka Singh, R. Venkatesh 0001 |
Reachability Verification of Rhapsody Statecharts. |
ICST Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Valentin Chimisliu, Franz Wotawa |
Using Dependency Relations to Improve Test Case Generation from UML Statecharts. |
COMPSAC Workshops |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Bojan Nokovic, Emil Sekerinski |
pState: A probabilistic statecharts translator. |
MECO |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Giancarlo Fortino, Wilma Russo, Corrado Santoro |
Translating Statecharts-Based into BDI Agents: The DSC/PROFETA Case. |
MATES |
2013 |
DBLP DOI BibTeX RDF |
|