Search results for "statechart"

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