Search results for "statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	Junyan Qian, Baowen Xu	Model Checking for Timed Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
104	Hanlin Lu, Sheng Yu 0001	Are Statecharts Finite Automata?	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, finite automata
90	Yan Jin, Robert Esser, Jörn W. Janneck	A method for describing the syntax and semantics of UML statecharts.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts
88	Sun Meng, Zhang Naixiao, Luís Soares Barbosa	On Semantics and Refinement of UML Statecharts: A Coalgebraic View.	SEFM	2004	DBLP DOI BibTeX RDF	Semantics, Refinement, Statechart, Coalgebra
84	Zhaoxia Hu, Sol M. Shatz	Explicit modeling of semantics associated with composite states in UML statecharts.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Composite states, State-transition notation, UML, Petri nets, Statecharts
84	Subash Shankar, Sinan Asa, Vladimir Sipos, Xiaowei Xu	Reasoning about real-time statecharts in the presence of semantic variations.	ASE	2005	DBLP DOI BibTeX RDF	model checking, semantics, temporal logics, theorem proving, statecharts
84	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A Probabilistic Extension of UML Statecharts.	FTRTFT	2002	DBLP DOI BibTeX RDF	model checking, semantics, probabilities, Markov decision processes, UML statecharts
78	Vugranam C. Sreedhar, Maria-Cristina V. Marinescu	From statecharts to ESP: programming with events, states and predicates for embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	multiple classification, statechart, predicate dispatch
78	Karl R. P. H. Leung	Extending Statecharts with ad lib and multi-thread features.	APSEC	2000	DBLP DOI BibTeX RDF	ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
74	Liuying Li, Zhichang Qi	Test Selection from UML Statecharts.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Wp-method, concurrency, test case selection, UML Statecharts
70	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
68	Moria Abadi, Yishai A. Feldman	Refactoring of Statecharts.	NGITS	2009	DBLP DOI BibTeX RDF
68	Jenny Brusk	Implementing Social Filter Rules in a Dialogue Manager Using Statecharts.	IVA	2008	DBLP DOI BibTeX RDF
68	Wei Dong 0006, Ji Wang 0001, Xuan Qi, Zhichang Qi	Model Checking UML Statecharts.	APSEC	2001	DBLP DOI BibTeX RDF
68	Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg	Horizontal and Vertical Structuring Techniques for Statecharts.	CONCUR	1997	DBLP DOI BibTeX RDF
64	Marcello Mura, Marco Paolieri, Luca Negri, Mariagiovanna Sami	StateCharts to systemc: a high level hardware simulation approach.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	simulators, StateCharts, systemC
64	Shengchao Qin, Wei-Ngan Chin, Jifeng He 0001, Zongyan Qiu	From Statecharts to Verilog: a formal approach to hardware/software co-specification.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws
64	Shengchao Qin, Wei-Ngan Chin	Mapping Statecharts to Verilog for Hardware/Software Co-specification.	FME	2003	DBLP DOI BibTeX RDF	operational semantics, Statecharts, homomorphism, Verilog
64	Gerald Lüttgen, Michael Mendler	The intuitionism behind Statecharts steps.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Statecharts, Compositionality, intuitionistic logic, full abstraction, Kripke semantics
64	Rik Eshuis, David N. Jansen, Roel J. Wieringa	Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Execution semantics, Model checking, Statecharts
60	Hywel R. Dunn-Davies, Jim Cunningham	Deriving agent-centred representations of protocols described using propositional statecharts.	AAMAS	2007	DBLP DOI BibTeX RDF	propositional statecharts, statecharts, interaction protocols
58	Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing	Mobile UML Statecharts with Localities.	Global Computing	2004	DBLP DOI BibTeX RDF
58	David Harel, Hillel Kugler	The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
58	Christian Denger, Marcus Ciolkowski	High Quality Statecharts through Tailored, Perspective-Based Inspections.	EUROMICRO	2003	DBLP DOI BibTeX RDF
58	Simona Bernardi 0001, Susanna Donatelli, José Merseguer	From UML sequence diagrams and statecharts to analysable petrinet models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	modeling, UML, compositionality, GSPN
58	Jean-René Beauvais, Éric Rutten, Thierry Gautier, Roland Houdebine, Paul Le Guernic, Y.-M. Tang	Modeling statecharts and activitycharts as signal equations.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	ctatemate, tatecharts, reactive systems, behavioral modeling, signal, synchronous languages
58	Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar	A Translation of Statecharts to Esterel.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
58	Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland	Statecharts Via Process Algebra.	CONCUR	1999	DBLP DOI BibTeX RDF
58	Kirill Bogdanov 0002, Mike Holcombe, Harbhajan Singh	Automated Test Set Generation for Statecharts.	FM-Trends	1998	DBLP DOI BibTeX RDF
58	Francesca Levi	A Process Language for Statecharts.	LOMAPS	1996	DBLP DOI BibTeX RDF
58	Nancy A. Day	An example of linking formal methods with case tools: a model checker for statecharts.	CASCON	1993	DBLP BibTeX RDF
56	P. V. R. Murthy, P. C. Anitha, M. Mahesh, Rajesh Subramanyan	Test ready UML statechart models.	SCESM	2006	DBLP DOI BibTeX RDF	model based testing, context-free grammar, UML statecharts
56	Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis	Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models.	HASE	1999	DBLP DOI BibTeX RDF	stochasic reward nets, Embedded systems, statecharts, dependability analysis
54	Hassan Reza, Kirk Ogaard, Amarnath Malge	A Model Based Testing Technique to Test Web Applications Using Statecharts.	ITNG	2008	DBLP DOI BibTeX RDF	Web applications, model-based testing, Statecharts, test coverage, GUI testing
54	Hallvard Trætteberg	Dialog Modelling with Interactors and UML Statecharts - A Hybrid Approach.	DSV-IS	2003	DBLP DOI BibTeX RDF	UML, Statecharts, user interface model, dialog model
54	David Harel, Chaim-Arie Kahana	On Statecharts with Overlapping.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	higraphs, visual language, statecharts, reactive systems
53	Carlos Renato Lisboa Francês, Marcos José Santana, Nandamudi Lankalapalli Vijaykumar, Solon Venâncio de Carvalho, Regina Helena Carlucci Santana	Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts.	SBES	2001	DBLP DOI BibTeX RDF
50	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Analysis Of Multiagent Industrial System.	CIA	2004	DBLP DOI BibTeX RDF
48	Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu	A Supervisor of Traffic Light Systems Using Statecharts.	ICNSC	2007	DBLP DOI BibTeX RDF
48	Oscar Díaz, Arantza Irastorza, Maider Azanza, Felipe M. Villoria	Modeling Portlet Aggregation Through Statecharts.	WISE	2006	DBLP DOI BibTeX RDF
48	A. W. Roscoe 0001, Zhenzhong Wu	Verifying Statemate Statecharts Using CSP and FDR.	ICFEM	2006	DBLP DOI BibTeX RDF
48	Valdivino Alexandre de Santiago Jr., Ana Silvia Martins do Amaral, Nandamudi L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes	A Practical Approach for Automated Test Case Generation using Statecharts.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
48	Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin	An Automatic Mapping from Statecharts to Verilog.	ICTAC	2004	DBLP DOI BibTeX RDF
48	Xuede Zhan, Huaikou Miao	An Approach to Formalizing the Semantics of UML Statecharts.	ER	2004	DBLP DOI BibTeX RDF
48	Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon	Modeling and Testing Agent Systems Based on Statecharts.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
48	Shuhao Li, Ji Wang 0001, Zhi-Chang Qi	Property-Oriented Test Generation from UML Statecharts.	ASE	2004	DBLP DOI BibTeX RDF
48	Dirk Seifert, Steffen Helke, Thomas Santen	Test Case Generation for UML Statecharts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
48	Emil Sekerinski, Rafik Zurob	Translating Statecharts to B.	IFM	2002	DBLP DOI BibTeX RDF
48	Gerald Lüttgen, Michael Mendler	Fully-Abstract Statecharts Semantics via Intuitionistic Kripke Models.	ICALP	2000	DBLP DOI BibTeX RDF
48	S. Ramesh	Efficient Translation of Statecharts to Hardware Circuits.	VLSI Design	1999	DBLP DOI BibTeX RDF
48	Franco Fummi, Mariagiovanna Sami, F. Tartarini	Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF
48	Karl R. P. H. Leung, Daniel Kim Chung Chan	Extending Statecharts with Duration.	COMPSAC	1996	DBLP DOI BibTeX RDF
48	Andrew C. Uselton, Scott A. Smolka	A Compositional Semantics for Statecharts using Labeled Transition Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
46	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
46	Maria Cristina Ferreira de Oliveira, Marcelo Augusto Santos Turine, Paulo César Masiero	A statechart-based model for hypermedia applications.	ACM Trans. Inf. Syst.	2001	DBLP DOI BibTeX RDF	HMBS, hypermedia specification, statecharts, navigational model, browsing semantics
46	Ayaz Isazadeh, David Alex Lamb, Terry Shepard	Behavioural Views for Software Requirements Engineering.	Requir. Eng.	1999	DBLP DOI BibTeX RDF	Visual languages Correspondence and offprint requests to : D.A. Lamb, Computing and Information Science, Queen’s University, Kingston, Ontario, Canada K7L 3N6. Email: dalamb@qucis.queensu.ca->, Formal methods, Specification languages, Statecharts
46	Ayaz Isazadeh, David Alex Lamb, Glenn H. MacEwen	Behavioral Views for Software Requirements Engineering.	ECBS	1996	DBLP DOI BibTeX RDF	Formal Methods, Statecharts, Requirements Specifications
46	Ayaz Isazadeh, David Alex Lamb	An Algorithmic Semantics for Viewcharts.	ICECCS	1996	DBLP DOI BibTeX RDF	Formal Methods, Specification Languages, Statecharts
44	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis	Extending statecharts with process algebra operators.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	EB3, Information systems, Process algebras, Statecharts, State transition diagrams
44	Liang Guo, Abhik Roychoudhury	Debugging Statecharts Via Model-Code Traceability.	ISoLA	2008	DBLP DOI BibTeX RDF	Debugging, Traceability, Statecharts, Slicing
44	Chikmagalur Manjappa Prashanth, K. Chandrashekar Shet, Janees Elamkulam	Verification Framework for Detecting Safety Violations in UML Statecharts.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Model Checking, Verification, UML Statecharts
44	Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Júnior, Danielle Guimarães	WEB-PerformCharts: a collaborative web-based tool for test case generation from statecharts.	iiWAS	2008	DBLP DOI BibTeX RDF	web-based tool, software tests, statecharts, test case, verification and validation, collaborative applications
44	Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi	FSMC+, a tool for the generation of Java code from statecharts.	PPPJ	2007	DBLP DOI BibTeX RDF	evoting, model checking, code generation, statecharts
44	Hye Yeon Kim, Frederick T. Sheldon	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
44	Andrzej Wasowski	Flattening statecharts without explosions.	LCTES	2004	DBLP DOI BibTeX RDF	semantics, embedded, statecharts, program synthesis, automatic code generation
44	Toshiaki Arai, Frieder Stolzenburg	Multiagent systems specification by UML statecharts aiming at intelligent manufacturing.	AAMAS	2002	DBLP DOI BibTeX RDF	design implementation, methodologies for specification, robotic soccer (RoboCup), validation standards for agents and multiagent systems, unified modeling language, multiagent systems, statecharts, agent-based software engineering, intelligent manufacturing
44	William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Optimizing Symbolic Model Checking for Statecharts.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	TCAS II, partitioned transition relation, automatic abstraction, fault tolerance, Formal verification, binary decision diagrams, statecharts, requirements specifications, symbolic model checking, RSML, avionic systems
44	Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira	Hypercharts: Extended Statecharts to Support Hypermedia Specification.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Hypermedia applications, hypercharts, semantics, statecharts, requirement specification
44	Arcot Sowmya, S. Ramesh 0001	Extending Statecharts with Temporal Logic.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
44	Luca Pazzi	Extending statecharts for representing parts and wholes.	EUROMICRO	1997	DBLP DOI BibTeX RDF	state-based formalisms, object-oriented development methods, object behavioural modelling, control complexity, behavioural abstractions, specification, software quality, software quality, modularity, statecharts
44	David Harel, Eran Gery	Executable Object Modeling with Statecharts.	ICSE	1996	DBLP BibTeX RDF	O-charts, diagrammatic languages, direct invocation, executable object modeling, hierarchical OMT-like language, integrated set, multiple-thread concurrency, object-oriented programming, C++, software tools, statecharts, object-oriented languages, object-oriented systems, active objects
40	Christian Prehofer	Plug-and-play composition of features and feature interactions with statechart diagrams.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Graphic modeling techniques, Plug-and-play composition, Semantic refinement, UML, Feature interaction, Statechart diagrams
40	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Evaluation of Multiagent Personalized Information System.	ICAISC	2004	DBLP DOI BibTeX RDF
40	Asif Iqbal 0004, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001	Visual Modeling and Verification of Distributed Reactive Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
40	Emil Sekerinski, Rafik Zurob	iState: A Statechart Translator.	UML	2001	DBLP DOI BibTeX RDF
38	Andreas Windisch	Search-based test data generation from stateflow statecharts.	GECCO	2010	DBLP DOI BibTeX RDF	signal generation, optimization, coverage, automation, test data generation, structural testing, simulink, search-based testing, stateflow, model testing
38	David Harel	Statecharts in the making: a personal account.	Commun. ACM	2009	DBLP DOI BibTeX RDF
38	Rik Eshuis	Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.	FM	2009	DBLP DOI BibTeX RDF
38	Doron Drusinsky, Man-tak Shing	Using UML Statecharts with Knowledge Logic Guards.	MoDELS	2009	DBLP DOI BibTeX RDF	K-statechart, knowledge-logic, formal specification, runtime verification, adaptive behavior
38	Marcello Mura, Mariagiovanna Sami	Code Generation from Statecharts: Simulation of Wireless Sensor Networks.	DSD	2008	DBLP DOI BibTeX RDF
38	K. R. Jayaram, Aditya P. Mathur	On the Adequacy of Statecharts as a Source of Tests for Cryptographic Protocols.	COMPSAC	2008	DBLP DOI BibTeX RDF	TLS protocol, MC/DC coverage, Security protocol, Statechart, Security Vulnerability
38	Jenny Brusk	Dialogue management for social game characters using statecharts.	Advances in Computer Entertainment Technology	2008	DBLP DOI BibTeX RDF	believable characters, game design, dialogue management
38	David Harel	Statecharts in the making: a personal account.	HOPL	2007	DBLP DOI BibTeX RDF
38	Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave	Matching and Merging of Statecharts Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
38	Tilo Mücke, Michaela Huhn	Generation of Optimized Testsuites for UML Statecharts with Time.	TestCom	2004	DBLP DOI BibTeX RDF
38	Xuede Zhan, Huaikou Miao, Ling Liu	Formalizing the Semantics of UML Statecharts with Z*.	CIT	2004	DBLP DOI BibTeX RDF	UML, formal semantics, Z, UML statechart
38	Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif	Interactive Verification of Statecharts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
38	Quan Long, Zongyan Qiu, Shengchao Qin	The Equivalence of Statecharts.	ICFEM	2003	DBLP DOI BibTeX RDF
38	Frieder Stolzenburg, Toshiaki Arai	From the Specification of Multiagent Systems by Statecharts to Their Formal Analysis by Model Checking: Towards Safety-Critical Applications.	MATES	2003	DBLP DOI BibTeX RDF
38	Diego Latella, Mieke Massink	On Mobility Extensions of UML Statecharts. A Pragmatic Approach.	FMOODS	2003	DBLP DOI BibTeX RDF
38	Ji Wang 0001, Wei Dong 0006, Zhichang Qi	Slicing Hierarchical Automata for Model Checking UML Statecharts.	ICFEM	2002	DBLP DOI BibTeX RDF
38	Juan de Lara, Hans Vangheluwe	Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.	ICGT	2002	DBLP DOI BibTeX RDF
38	Dániel Varró	A Formal Semantics of UML Statecharts by Model Transition Systems.	ICGT	2002	DBLP DOI BibTeX RDF
38	Michael von der Beeck	Formalization of UML-Statecharts.	UML	2001	DBLP DOI BibTeX RDF
38	Stephan Schulz 0002, T. C. Ewing, Jerzy W. Rozenblit	Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling.	ECBS	2000	DBLP DOI BibTeX RDF	Modeling, Embedded Systems, DEVS
38	Luca Pazzi	Part-Whole Statecharts for the Explicit Representation of Compound Behaviors.	UML	2000	DBLP DOI BibTeX RDF
38	Gihwon Kwon	Rewrite rules and Operational Semantics for Model Checking UML Statecharts.	UML	2000	DBLP DOI BibTeX RDF
38	Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann	Implementing Statecharts in PROMELA/SPIN.	WIFT	1998	DBLP DOI BibTeX RDF
38	Jean-René Beauvais, Roland Houdebine, Paul Le Guernic, Éric Rutten, Thierry Gautier	A Translation of Statecharts into Signal Approach of Time, Interoperability.	ACSD	1998	DBLP DOI BibTeX RDF
38	Jan Philipps, Peter Scholz	Formal Verification and Hardware Design with Statecharts.	Prospects for Hardware Foundations	1998	DBLP DOI BibTeX RDF