Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Vince Molnár, Bence Graics, András Vörös 0001, István Majzik, Dániel Varró |
The Gamma statechart composition framework: : design, verification and code generation for component-based reactive systems. |
ICSE (Companion Volume) |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded Industrial Control Systems. |
ACM Trans. Intell. Syst. Technol. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang 0001, Maryam Rahmaniheris, Lui Sha |
Pattern-Based Statechart Modeling Approach for Medical Best Practice Guidelines - A Case Study. |
CBMS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Mirko Wächter, Simon Ottenhaus, Manfred Kröhnert, Nikolaus Vahrenkamp, Tamim Asfour |
The ArmarX Statechart Concept: Graphical Programing of Robot Behavior. |
Frontiers Robotics AI |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Aissam Belghiat, Allaoua Chaoui |
Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation: An Approach for Modeling, Simulation and Verification of Mobile Agent-based Software Systems. |
Int. J. Intell. Inf. Technol. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded Industrial Control Systems. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
Automatic Construction of Statechart-Based Anomaly Detection Models for Multi-Threaded SCADA via Spectral Analysis. |
CPS-SPC@CCS |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Chunhui Guo, Shangping Ren, Yu Jiang 0001, Po-Liang Wu, Lui Sha, Richard B. Berlin Jr. |
Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models. |
ICCPS |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ali Hanzala Khan, Ivan Porres |
Consistency of UML class, object and statechart diagrams using ontology reasoners. |
J. Vis. Lang. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Giancarlo Fortino, Francesco Rango, Wilma Russo, Corrado Santoro |
Translation of statechart agents into a BDI framework for MAS engineering. |
Eng. Appl. Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | João Pimentel 0001, Jéssyka Vilela, Jaelson Castro |
Web tool for Goal modelling and statechart derivation. |
RE |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Amit Kleinmann, Avishai Wool |
A Statechart-Based Anomaly Detection Model for Multi-Threaded SCADA Systems. |
CRITIS |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Ronaldo Rodrigues Ferreira, Thomas Klotz, Thilo Vörtler, Jean da Rolt, Gabriel L. Nazar, Álvaro Freitas Moreira, Luigi Carro, Karsten Einwich |
Reliable execution of statechart-generated correct embedded software under soft errors. |
DDECS |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Georgios L. Papadimitriou, Nikolaos I. Spanoudakis, Michail G. Lagoudakis |
Extending the Kouretes Statechart Editor for Generic Agent Behavior Development. |
AIAI |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem |
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. |
ICIST |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Ali Hanzala Khan, Irum Rauf, Ivan Porres |
Consistency of UML Class and Statechart Diagrams with State Invariants. |
MODELSWARD |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Sadaf Mustafiz, Hans Vangheluwe |
Explicit modelling of statechart simulation environments. |
SummerSim |
2013 |
DBLP BibTeX RDF |
|
21 | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. |
TACAS |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Christian Prehofer |
Behavioral Refinement and Compatibility of Statechart Extensions. |
FESCA |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Raimundo Santos Moura, Luiz Affonso Guedes |
Using basic Statechart to program industrial controllers. |
Comput. Stand. Interfaces |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Vitus S. W. Lam, Julian A. Padget |
Equivalence Checking of Communicating UML Statechart Diagrams. |
Int. J. Softw. Eng. Knowl. Eng. |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Saurabh Tiwari 0001, Atul Gupta |
Statechart-based use case requirement validation of event-driven systems. |
SAC |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Corina S. Pasareanu, Daniel Balasubramanian |
Statechart Analysis with Symbolic PathFinder. |
ICST |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Gabriel Skantze, Samer Al Moubayed |
IrisTK: a statechart-based toolkit for multi-party face-to-face interaction. |
ICMI |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Christopher Dragert, Jörg Kienzle, Clark Verbrugge |
Statechart-Based AI in Practice. |
AIIDE |
2012 |
DBLP BibTeX RDF |
|
21 | Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen |
Integrating Statechart Components in Polyglot. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Zuohua Ding |
Spatio-temporal UML Statechart for Cyber-Physical Systems. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Xiangxian Chen, Yulin He, Hai Huang |
An approach to automatic development of interlocking logic based on Statechart. |
Enterp. Inf. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Franco Cicirelli, Angelo Furfaro, Libero Nigro |
Modelling and simulation of complex manufacturing systems using statechart-based actors. |
Simul. Model. Pract. Theory |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Lina Chen |
Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm. |
J. Comput. |
2011 |
DBLP BibTeX RDF |
|
21 | ChunYu Miao |
Dynamic Slicing Research of UML Statechart Specifications. |
J. Comput. |
2011 |
DBLP BibTeX RDF |
|
21 | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
Polyglot: modeling and analysis for multiple Statechart formalisms. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Miriam C. Bergue Alves, Doron Drusinsky, J. Bret Michael, Man-tak Shing |
Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring. |
SoSE |
2011 |
DBLP DOI BibTeX RDF |
|
21 | José A. Cruz-Lemus, Ann Maes, Marcela Genero, Geert Poels, Mario Piattini |
The impact of structural complexity on the understandability of UML statechart diagrams. |
Inf. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Mark B. Trakhtenbrot |
Implementation-Oriented Mutation Testing of Statechart Models. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Yi-Sheng Huang, Shuo-Xian Liau, MuDer Jeng |
Modeling and analysis of traffic light controller using Statechart. |
SMC |
2010 |
DBLP DOI BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Sandro Morasca, Mario Piattini |
Assessing the understandability of UML statechart diagrams with composite states - A family of empirical studies. |
JISBD |
2010 |
DBLP BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Sandro Morasca, Mario Piattini |
Assessing the understandability of UML statechart diagrams with composite states - A family of empirical studies. |
Empir. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet |
Efficient Algorithms for Verification of UML Statechart Models. |
J. Softw. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Dai Tri Man Le |
Statechart Verification with iState |
CoRR |
2009 |
DBLP BibTeX RDF |
|
21 | Rik Eshuis |
Reconciling statechart semantics. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Hyunseok Min, Jinyoung Choi |
Automatic Test Generation for System using UML Statechart. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
21 | Jens Krösche, Martin Scheuchenegger, Stephan Drab, Stephan Selinger |
Mobile Statechart-basierte Touristik-Anwendungen. |
Wirtschaftsinformatik (2) |
2009 |
DBLP BibTeX RDF |
|
21 | Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro |
Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems. |
ECMS |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Michael A. Schumann, James Bret Michael |
Statechart based formal modeling of workflow processes. |
SoSE |
2009 |
DBLP BibTeX RDF |
|
21 | Raimundo Santos Moura, Luiz Affonso Guedes |
Basic Statechart: A formalism to model industrial systems. |
INDIN |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Jeanette Heidenberg, Andreas Nåls, Ivan Porres |
Statechart features and pre-release maintenance defects. |
J. Vis. Lang. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Yuchang Mo, Xinmin Yang |
A New Approach to Verify Statechart Specifications for Reactive Systems. |
Int. J. Softw. Eng. Knowl. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Valdivino Alexandre de Santiago Jr., Nandamudi Lankalapalli Vijaykumar, Danielle Guimarães, Ana Silvia Martins do Amaral, Erica Ferreira 0001 |
An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
21 | 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 |
21 | Jun Cheng, Qiang Liu |
Using Stakeholder Analysis for Improving Statechart Merging in Software Requirement Management. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Doron Drusinsky, James Bret Michael, Thomas W. Otani, Man-tak Shing |
Integrating statechart assertions into Java components using AspectJ. |
SoSE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Bin Wang 0017, Chunhua Zhu, Jinfang Sheng |
A Formal Description Method for Aspect-Oriented Statechart Based on CSP. |
ISCSCT (2) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Alexander Koenen-Dresp |
Applying the engineering statechart formalism to the evaluation of soft real-time in operating systems: a use case tailored modeling and analysis technique. |
|
2008 |
RDF |
|
21 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Modelling and model checking suspendible business processes via statechart diagrams and CSP. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Toshiaki Aoki, Takuya Katayama |
Statechart-based Verification of Object-Oriented Design Models. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Youssef Gamha, Nacéra Bennacer, Lotfi Ben Romdhane, Guy Vidal-Naquet, Béchir el Ayeb |
A Statechart-Based Model for the Semantic Composition of Web Services. |
IEEE SCW |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang 0001, Wei Dong 0006 |
Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. |
MSVVEIS |
2006 |
DBLP BibTeX RDF |
|
21 | Jiachen Zhang, Tie Feng, Dali Li, Quan Yuan |
A Method for Reverse Extraction of Object Statechart Diagram with Controllable Granularity. |
IASTED Conf. on Software Engineering |
2006 |
DBLP BibTeX RDF |
|
21 | Vitus S. W. Lam |
A formal execution semantics and rigorous analytical approach for communicating UML statechart diagrams. |
|
2006 |
RDF |
|
21 | Zsigmond Pap, István Majzik, András Pataricza, András Szegi |
Methods of checking general safety criteria in UML statechart specifications. |
Reliab. Eng. Syst. Saf. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini |
Do composite states improve the understanding of UML statechart diagrams? |
JISBD |
2005 |
DBLP BibTeX RDF |
|
21 | Paul Ziemann, Karsten Hölscher, Martin Gogolla |
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations. |
SBMF |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Leif Geiger, Albert Zündorf |
Statechart Modeling with Fujaba. |
GraBaTs |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Doron Drusinsky |
Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions. |
RV@ETAPS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Hans-Georg Fill |
UML Statechart Diagrams on the ADONIS Metamodeling Platform. |
GraBaTs |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ekaterina A. Gorshkova, Boris Novikov 0001 |
Use of Statechart Diagrams for Modeling of Hypertext. |
Program. Comput. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Purandar Bhaduri, S. Ramesh |
Model Checking of Statechart Models: Survey and Research Directions |
CoRR |
2004 |
DBLP BibTeX RDF |
|
21 | Kirill Bogdanov 0002, Mike Holcombe |
Refinement in statechart testing. |
Softw. Test. Verification Reliab. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Jiao Chen, Yashwant K. Malaiya |
Augmenting Test Case Generation Using Statechart. |
Software Engineering Research and Practice |
2004 |
DBLP BibTeX RDF |
|
21 | José A. Cruz-Lemus, Marcela Genero, José A. Olivas, Francisco P. Romero 0001, Mario Piattini |
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques. |
SEKE |
2004 |
DBLP BibTeX RDF |
|
21 | S. Jansamak, Athasit Surarerks |
Formalization of UML Statechart Models Using Concurrent Regular Expressions. |
ACSC |
2004 |
DBLP BibTeX RDF |
|
21 | Akihiko Urushihara, Satoshi Kanai, Takeshi Kishinami, Toyoaki Tomura |
Behaviour Modeller: The Systematic Generation of Statechart from Functional Relations and Scenarios for Prototyping User Interfaces. |
CADUI |
2004 |
DBLP BibTeX RDF |
|
21 | Vitus S. W. Lam, Julian A. Padget |
On Execution Semantics of UML Statechart Diagrams Using the pi-Calculus. |
Software Engineering Research and Practice |
2003 |
DBLP BibTeX RDF |
|
21 | Zhijiang Dong, Yujian Fu, Xudong He |
Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
21 | Sung-Ho Jang, Ki-Seok Bang, Jin-Young Choi |
SSR : Statechart with shared resources. |
HCC |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Vitus S. W. Lam, Julian A. Padget |
Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations. |
HCC |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Christian Prehofer |
Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams. |
FIW |
2003 |
DBLP BibTeX RDF |
|
21 | David Miranda, Marcela Genero, Mario Piattini |
Empirical Validation of Metrics for UML Statechart Diagrams. |
ICEIS (1) |
2003 |
DBLP BibTeX RDF |
|
21 | Robert Büssow |
Model checking combined Z and statechart specifications. |
|
2003 |
RDF |
|
21 | Stefania Gnesi, Diego Latella, Mieke Massink |
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking. |
J. Log. Algebraic Methods Program. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Johannes Koskinen, Erkki Mäkinen, Tarja Systä |
Implementing a Component-Based Tool for Interactive Synthesis of UML Statechart Diagrams. |
Acta Cybern. |
2002 |
DBLP BibTeX RDF |
|
21 | Erkki Mäkinen, Tarja Systä |
Minimally adequate teacher synthesizes statechart diagrams. |
Acta Informatica |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Tarja Systä, Kai Koskimies, Erkki Mäkinen |
Automated compression of state machines using UML statechart diagram notation. |
Inf. Softw. Technol. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Gábor Huszerl, István Majzik, András Pataricza, Konstantinos Kosmidis, Mario Dal Cin |
Quantitative Analysis of UML Statechart Models of Dependable Systems. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Jae Ick Lee, Sung Wook Chun, Soon Ju Kang |
Virtual prototyping of PLC-based embedded system using object model of target and behavior model by converting RLL-to-statechart directly. |
J. Syst. Archit. |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Sam-Taek Kim, Young-Chan Kim |
The Implementation of Statechart Tool Based Component for Embedded System. |
PDPTA |
2002 |
DBLP BibTeX RDF |
|
21 | Peter Scholz |
Incremental design of statechart specifications. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Kirill Bogdanov 0002, Mike Holcombe |
Statechart testing method for aircraft control systems. |
Softw. Test. Verification Reliab. |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Diego Latella, Mieke Massink |
A Formal Testing Framework for UML Statechart Diagrams Behaviours: From Theory to Automatic Verification. |
HASE |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Zhijiang Dong, Xudong He |
Integrating UML Statechart and Collaboration Diagrams Using Hierarchical Predicate Transition Nets. |
pUML |
2001 |
DBLP BibTeX RDF |
|
21 | Emil Sekerinski, Rafik Zurob |
iState: A Statechart Translator. |
UML |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Marcio S. Dias, Marlon E. R. Vieira, Debra J. Richardson |
Analyzing Software Architecture Based on Statechart Semantics. |
SBES |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Carlos Renato Lisboa Francês |
Stocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specification. |
|
2001 |
RDF |
|
21 | Gábor Huszerl, István Majzik |
Quantitative analysis of dependability critical systems based on UML statechart models. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Stefania Gnesi, Diego Latella, Mieke Massink |
A stochastic extension of a behavioural subset of UML statechart diagrams. |
HASE |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Anthony J. H. Simons |
On the Compositional Properties of UML Statechart Diagrams. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
21 | Jon Whittle 0001, Johann Schumann |
Generating statechart designs from scenarios. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
UML, UML, scenarios, automated software engineering |
21 | Marcio S. Dias, Marlon E. R. Vieira |
Software Architecture Analysis Based on Statechart Semantics. |
IWSSD |
2000 |
DBLP BibTeX RDF |
architecture-based analysis, architecture-based testing, Software architecture, software component, statecharts |
21 | Jean-Claude Ackad |
Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme. (PDF / PS) |
|
2000 |
RDF |
|