Search results for "Statecharts"

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