Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Yi-Sheng Huang, Jun-Ren Chen, Shung-Shing Lee, Yi-Shun Weng |
Design of elevator control systems using statecharts. |
ICNSC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh 0001 |
Trace based reachability verification for statecharts. |
FormaliSE@ICSE |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Valentin Chimisliu, Franz Wotawa |
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Torbjörn Lager |
Statecharts and SCXML for Dialogue Management. |
TSD |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Hanlin Lu, Sheng Yu 0001 |
Statecharts. |
Handbook of Finite State Based Models and Applications |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Giancarlo Fortino, Francesco Rango, Wilma Russo |
Engineering Multi-Agent Systems through Statecharts-Based JADE Agents and Tools. |
Trans. Comput. Collect. Intell. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Fabio Fioravanti, Manuela Helmer-Citterich, Enrico Nardelli |
Modeling gene regulatory network motifs using statecharts. |
BMC Bioinform. |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Omar el Ariss, Dianxiang Xu |
Secure System Modeling: Integrating Security Attacks with Statecharts. |
Int. J. Softw. Informatics |
2012 |
DBLP BibTeX RDF |
|
18 | Luca Pazzi, Marco Pradelli |
Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts. |
ACSD |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Moria Abadi, Yishai A. Feldman |
Automatic recovery of statecharts from procedural code. |
ASE |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Ziwei Liu, Jing Liu 0012, Jifeng He 0001, Frédéric Mallet, Miaomiao Zhang |
Formal Specification of Hybrid MARTE Statecharts. |
TASE |
2012 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Christian Ammann |
Verifikation von UML-Statecharts unter besonderer Berücksichtigung von Speicherverbrauch und Laufzeit des Model Checkers. |
Softwaretechnik-Trends |
2011 |
DBLP BibTeX RDF |
|
18 | Ulrike Golas, Enrico Biermann, Hartmut Ehrig, Claudia Ermel |
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Levi Lucio, Qin Zhang 0002, Vasco Sousa, Yves Le Traon |
Verifying Access Control in Statecharts. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Chris H. McEwan, Hugues Bersini, David Klatzmann, Veronique Thomas-Vaslin, Adrien Six |
Refitting Harel Statecharts for Systemic Mathematical Models in Computational Immunology. |
ICARIS |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Omar el Ariss, Dianxiang Xu |
Modeling security attacks with statecharts. |
QoSA/ISARCS |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Omar el Ariss, Jianfei Wu, Dianxiang Xu |
Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts. |
SSIRI |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Reehan Shaikh, Hans Vangheluwe |
Transforming UML2.0 class diagrams and statecharts to atomic DEVS. |
SpringSim (TMS-DEVS) |
2011 |
DBLP BibTeX RDF |
|
18 | Yi-Shun Weng, Yi-Sheng Huang, Shun-Feng Su, Chi-Shan Yu |
Modelling of emergency vehicle preemption systems using statecharts. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Rui Pais, Luís Gomes 0001, João Paulo Barros |
Towards Statecharts to Input-Output Place Transition Nets Transformations. |
DoCEIS |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Arthorn Luangsodsai |
Slicing statecharts. |
|
2011 |
RDF |
|
18 | Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee 0001 |
Timed and Resource-oriented Statecharts for Embedded Software. |
IEEE Trans. Ind. Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Steffen Helke, Florian Kammüller |
Formalizing Statecharts using Hierarchical Automata. |
Arch. Formal Proofs |
2010 |
DBLP BibTeX RDF |
|
18 | Vasile-Marian Scuturici, Dan-Mircea Suciu, Romain Vuillemot, Aris M. Ouksel, Lionel Brunie |
Detecting anomalies in data streams using statecharts. |
EGC |
2010 |
DBLP BibTeX RDF |
|
18 | Giancarlo Fortino, Francesco Rango, Wilma Russo |
Statecharts-Based JADE Agents and Tools for Engineering Multi-Agent Systems. |
KES (1) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Gerd Gröner, Steffen Staab |
Specialization and Validation of Statecharts in OWL. |
EKAW |
2010 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Yiqiao Wang 0001, John Mylopoulos |
Diagnosing software using statecharts. |
CASCON |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Mariano Barrón Ruiz |
Curso de Programación de Sistemas Embebidos con Statecharts. |
Rev. Iberoam. de Tecnol. del Aprendiz. |
2009 |
DBLP BibTeX RDF |
|
18 | Bertrand Léger, Olivier Naud |
Experimenting statecharts for multiple experts knowledge elicitation in agriculture. |
Expert Syst. Appl. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Marcelino S. da Silva, Ádamo L. de Santana, Carlos Renato Lisboa Francês, Nandamudi Lankalapalli Vijaykumar, Solon V. Carvalho |
Obtaining a Continuous Time Markov Decision Process from Statecharts. |
NaBIC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Siamak Haschemi |
Model transformations to satisfy all-configurations-transitions on statecharts. |
MoDeVVa@MoDELS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
18 | Masaya Kadono, Tatsuhiro Tsuchiya, Tohru Kikuno |
Using the NuSMV Model Checker for Test Generation from Statecharts. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Sabah S. Al-Fedaghi |
Conceptualization in State Machines, Statecharts, and Flow Model. |
SITIS |
2009 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Grzegorz Labiak, Marian Adamski |
Concurrent processes synchronisation in statecharts for FPGA implementation. |
EWDTS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Erica Ferreira 0001, Valdivino Alexandre de Santiago Jr., Danielle Guimarães, Nandamudi Lankalapalli Vijaykumar |
Evaluation of Test Criteria for Space Application Software Modeling in Statecharts. |
CIMCA/IAWTIC/ISE |
2008 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Germano Veiga, J. Norberto Pires |
Plug-and-Produce Technologies - On the Use of Statecharts for the Orchestration of Service Oriented Industrial Robotic Cells. |
ICINCO-RA (2) |
2008 |
DBLP BibTeX RDF |
|
18 | Nora Szasz, Pedro Vilanova |
Statecharts and Variabilities. |
VaMoS |
2008 |
DBLP BibTeX RDF |
|
18 | Emil Sekerinski |
Verifying Statecharts with State Invariants. |
ICECCS |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Steffen Prochnow |
Efficient development of complex statecharts. |
|
2008 |
RDF |
|
18 | Davor Svetinovic, Daniel M. Berry, Nancy A. Day, Michael W. Godfrey |
Unified use case statecharts: case studies. |
Requir. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Demir |
Creating and Validating Embedded Assertion Statecharts. |
IEEE Distributed Syst. Online |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Fevzi Belli, Axel Hollmann |
Holistic testing with basic statecharts. |
Software Engineering (Workshops) |
2007 |
DBLP BibTeX RDF |
|
18 | Marcello Mura, Marco Paolieri |
SC2 StateCharts to SystemC: Automatic Executable Models Generation. |
FDL |
2007 |
DBLP BibTeX RDF |
|
18 | Xuede Zhan |
A Formal Testing Framework for UML Statecharts. |
SNPD (3) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Giancarlo Fortino, Alfredo Garro, Samuele Mascillaro, Wilma Russo |
ELDATool: A Statecharts-based Tool for Prototyping Multi-Agent Systems. |
WOA |
2007 |
DBLP BibTeX RDF |
|
18 | Steffen Helke |
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion. |
|
2007 |
RDF |
|
18 | Mieke Massink, Diego Latella, Stefania Gnesi |
On testing UML statecharts. |
J. Log. Algebraic Methods Program. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Michele Banci, Alessandro Fantechi, Stefania Gnesi |
Statecharts Composition to Model Topologically Distributed Applications. |
Trans. SDPS |
2006 |
DBLP BibTeX RDF |
|
18 | Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, Valéria Maria Barros de Andrade, Vakulathil Abdurahiman |
Introducing probabilities in Statecharts to specify reactive systems for performance analysis. |
Comput. Oper. Res. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Heui-Seok Seo, In Sang Chung, Yong Rae Kwon |
Generating Test Sequences from Statecharts for Concurrent Program Testing. |
IEICE Trans. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Séverine Colin, Franck Lebeau, Bruno Legeard |
Génération de tests à partir de statecharts fondée sur le calcul de comportements. |
Tech. Sci. Informatiques |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Qianchuan Zhao, Bruce H. Krogh |
Formal verification of statecharts using finite-state model checkers. |
IEEE Trans. Control. Syst. Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Yi-Sheng Huang |
Design of Traffic Light Control Systems Using Statecharts. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Doron Drusinsky |
Modeling and verification using UML statecharts - a working guide to reactive system design, runtime monitoring and execution-based model checking. |
|
2006 |
RDF |
|
18 | Chang-Jin Kim 0002, Jin-Young Choi |
Transformation of the Ravenscar Profile Based Ada Real-time Application to the Verification-ready Statecharts: Reverse Engineering and Statemate approach. |
Software Engineering Research and Practice |
2006 |
DBLP BibTeX RDF |
|
18 | 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 |
|
18 | Oscar Díaz, Arantza Irastorza, Maider Azanza, Felipe M. Villoria |
Modelado de la agregación de portlets por medio de statecharts. |
JISBD |
2006 |
DBLP BibTeX RDF |
|
18 | Minsoo Ryu, Jimin Kim, Ji Chan Maeng |
Reentrant Statecharts for Concurrent Real-Time Systems. |
PDPTA |
2006 |
DBLP BibTeX RDF |
|
18 | Fevzi Belli, Christof J. Budnik, Axel Hollmann |
Holistic Testing of Interactive Systems Using Statecharts. |
Sicherheit |
2006 |
DBLP BibTeX RDF |
|
18 | Lionel C. Briand, Yvan Labiche, Jim Cui |
Automated support for deriving test requirements from UML statecharts. |
Softw. Syst. Model. |
2005 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
18 | Carlos Renato Lisboa Francês, Edvar da Luz Oliveira, João Crisóstomo Weyl Albuquerque Costa, Marcos José Santana, Regina Helena Carlucci Santana, Sarita Mazzini Bruschi, Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho |
Performance evaluation based on system modeling using Statecharts extensions. |
Simul. Model. Pract. Theory |
2005 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Chris Fox, Arthorn Luangsodsai |
And-Or Dependence Graphs for Slicing Statecharts. |
Beyond Program Slicing |
2005 |
DBLP BibTeX RDF |
|
18 | Chafic W. Bou-Saba, Albert C. Esterline, Abdollah Homaifar, Daniel Rodgers |
Learning coordinated behavior: XCSs and statecharts. |
SMC |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hamdan Zaid Dammag |
Safecharts: A Statecharts Variant for Safety-Critical Systems Design. |
|
2005 |
RDF |
|
18 | Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally |
Propositional Statecharts for Agent Interaction Protocols. |
Euler |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Michele Banci, Alessandro Fantechi |
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. |
FMICS |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Pablo Gruer, Vincent Hilaire, Abder Koukam, P. Rovarini |
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification. |
J. Syst. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Giancarlo Fortino, Wilma Russo, Eugenio Zimeo |
A statecharts-based software development process for mobile agents. |
Inf. Softw. Technol. |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
ViSta - Visualizing Statecharts. |
Graph Drawing Software |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Wai Yin Mok, David P. Paper |
Revisiting Workflow Modeling with Statecharts. |
Advanced Topics in Database Research, Vol. 3 |
2004 |
DBLP BibTeX RDF |
|
18 | Hideo Hasegawa, Shingo Takada 0001, Norihisa Doi |
Supporting the iterative development of sequence diagrams and statecharts. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
18 | Junyan Qian, Baowen Xu |
The compositional semantics of timed statecharts. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
18 | Hongyuan Wang, Ke Zhang, Tie Feng, Haiyan Che, Yinshi Zheng |
Synthesizing statecharts through sequence diagrams analysis. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
18 | A. S. M. S. Amaral, R. R. Veloso, Nandamudi Lankalapalli Vijaykumar, Carlos Renato Lisboa Francês, Edvar da Luz Oliveira |
On proposing a Markup Language for Statecharts to be used in Performance Evaluation. |
International Conference on Computational Intelligence |
2004 |
DBLP BibTeX RDF |
|
18 | Iftikhar Azim Niaz, Jiro Tanaka |
Mapping UML statecharts to java code. |
IASTED Conf. on Software Engineering |
2004 |
DBLP BibTeX RDF |
|
18 | Yiannis Papadopoulos |
Model-based system monitoring and diagnosis of failures using statecharts and fault trees. |
Reliab. Eng. Syst. Saf. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |
A comparison of Statecharts step semantics. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Lionel C. Briand, Jim Cui, Yvan Labiche |
Towards Automated Support for Deriving Test Data from UML Statecharts. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Tomasz Babczynski, Zbigniew Huzar, Jan Magott |
Performance Statecharts in Analysis of ATM Network Signalling. |
Modelling, Identification and Control |
2003 |
DBLP BibTeX RDF |
|
18 | Yi-Sheng Huang, Sheng-Luen Chung, MuDer Jeng, Jenn-Huei Lin |
Design and implementation of a discrete event system using statecharts. |
SMC |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Andrei Karatkevich |
Deadlock Analysis in Statecharts. |
FDL |
2003 |
DBLP BibTeX RDF |
|
18 | Grzegorz Labiak |
From UML statecharts to FPGA - the HiCoS approach. |
FDL |
2003 |
DBLP BibTeX RDF |
|
18 | David N. Jansen |
Extensions of Statecharts with probability, time, and stochastic timing. |
|
2003 |
RDF |
|
18 | Andrea Maggiolo-Schettini, Simone Tini |
On disjunction of literals in triggers of statecharts transitions. |
Inf. Process. Lett. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
A Framework for the Static and Interactive Visualization of Statecharts. |
J. Graph Algorithms Appl. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Wai Yin Mok, David P. Paper |
Using Harel's Statecharts to Model Business Workflows. |
J. Database Manag. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Rodolfo Castelló, Rym Mili, Ioannis G. Tollis |
Automatic layout of statecharts. |
Softw. Pract. Exp. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | 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 |
|
18 | Na'aman Kam, Irun R. Cohen, David Harel |
Modeling biological reactivity: statecharts vs. Boolean logic. |
AVI |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh |
Testing a system specified using Statecharts and Z. |
Inf. Softw. Technol. |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Francesca Levi |
Compositional Verification of Quantitative Properties of Statecharts. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr |
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|