Search results for "statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	Yan Jin, Robert Esser, Jörn W. Janneck	A method for describing the syntax and semantics of UML statecharts.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Syntax definition, Formal operational semantics, UML, Visual languages, Statecharts, Abstract State Machines, UML statecharts
4	Michael von der Beeck	A structured operational semantics for UML-statecharts.	Software and System Modeling	2002	DBLP DOI BibTeX RDF	Structured operational semantics (SOS), UML, Statecharts, Formal semantics, Labeled transition systems, UML-statecharts
3	Hanlin Lu, Sheng Yu	Are Statecharts Finite Automata?.	CIAA	2009	DBLP DOI BibTeX RDF	interaction machines, statecharts, finite automata
3	Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis	Extending statecharts with process algebra operators.	ISSE	2008	DBLP DOI BibTeX RDF	EB3, Information systems, Process algebras, Statecharts, State transition diagrams
3	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
3	Alessandro Oliveira Arantes, Nandamudi Lankalapalli Vijaykumar, Valdivino Alexandre de Santiago Junior, 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, verification and validation, test case, collaborative applications
3	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
3	Liang Guo, Abhik Roychoudhury	Debugging Statecharts Via Model-Code Traceability.	ISoLA	2008	DBLP DOI BibTeX RDF	Debugging, Traceability, Statecharts, Slicing
3	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
3	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
3	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
3	Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu	From Statecharts to Verilog: a formal approach to hardware/software co-specification.	ISSE	2006	DBLP DOI BibTeX RDF	Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws
3	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
3	Hye Yeon Kim, Frederick T. Sheldon	Testing Software Requirements with Z and Statecharts Applied to an Embedded Control System.	Software Quality Journal	2004	DBLP DOI BibTeX RDF	requirements specification and validation, fault-tolerance, consistency, completeness, Statecharts, Z
3	Andrzej Wasowski	Flattening statecharts without explosions.	LCTES	2004	DBLP DOI BibTeX RDF	semantics, embedded, statecharts, program synthesis, automatic code generation
3	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
3	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
3	Rik Eshuis, David N. Jansen, Roel Wieringa	Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Execution semantics, Model checking, Statecharts
3	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
3	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
3	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
3	William Chan, 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
3	Fabiano Borges Paulo, Paulo Cesar 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
3	Liuying Li, Zhichang Qi	Test Selection from UML Statecharts.	TOOLS	1999	DBLP DOI BibTeX RDF	Wp-method, concurrency, test case selection, UML Statecharts
3	Arcot Sowmya, S. Ramesh	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
3	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
3	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
3	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
2	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
2	David Harel	Statecharts in the making: a personal account.	Commun. ACM	2009	DBLP DOI BibTeX RDF
2	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
2	Rik Eshuis	Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.	FM	2009	DBLP DOI BibTeX RDF
2	Moria Abadi, Yishai A. Feldman	Refactoring of Statecharts.	NGITS	2009	DBLP DOI BibTeX RDF
2	Hywel R. Dunn-Davies, Jim Cunningham	Verifying realizability and reachability in recursive interaction protocol specifications.	AAMAS	2009	DBLP DOI BibTeX RDF	propositional statecharts, verification, interaction protocols
2	Reinhard von Hanxleden	SyncCharts in C: a proposal for light-weight, deterministic concurrency.	EMSOFT	2009	DBLP DOI BibTeX RDF	SyncCharts, reactive processing, statecharts, multi-threading, model-based design, esterel, synchronous programming
2	Marcello Mura, Mariagiovanna Sami	Code Generation from Statecharts: Simulation of Wireless Sensor Networks.	DSD	2008	DBLP DOI BibTeX RDF
2	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
2	Fevzi Belli, Axel Hollmann	Test generation and minimization with "basic" statecharts.	SAC	2008	DBLP DOI BibTeX RDF	fault modeling, statecharts, test case generation, test coverage, test optimization
2	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
2	Ariel Gonzalez, Carlos Luna	Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.	SCCC	2008	DBLP DOI BibTeX RDF
2	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
2	Jenny Brusk	Implementing Social Filter Rules in a Dialogue Manager Using Statecharts.	IVA	2008	DBLP DOI BibTeX RDF
2	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
2	Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Admanit, Michael J. Stern, E. Jane Albert Hubbard, David Harel	Toward Verified Biological Models.	IEEE/ACM Trans. Comput. Biology Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, verification, statecharts, C. elegans
2	Reuven Gallant, Meir M. Lehman	The 2-chart Problem - Contemplating System Behavior in the Aggregate.	ECBS	2008	DBLP DOI BibTeX RDF	software/system evolution, cognition, statecharts, diagrams, association, behavioral modeling, visual cues
2	Michelle L. Crane, Jürgen Dingel	UML vs. classical vs. rhapsody statecharts: not all models are created equal.	Software and System Modeling	2007	DBLP DOI BibTeX RDF
2	Sudhanwa Kholgade, Jamie White, Hassan Reza	Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL.	ITNG	2007	DBLP DOI BibTeX RDF
2	Yi-Sheng Huang, Shung-Shing Lee, Yung-Kuer Liu	A Supervisor of Traffic Light Systems Using Statecharts.	ICNSC	2007	DBLP DOI BibTeX RDF
2	David Harel	Statecharts in the making: a personal account.	HOPL	2007	DBLP DOI BibTeX RDF
2	Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave	Matching and Merging of Statecharts Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
2	A. W. Roscoe, Zhenzhong Wu	Verifying Statemate Statecharts Using CSP and FDR.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Valdivino A. Santiago, Ana Silvia Martins do Amaral, N. L. Vijaykumar, Maria de Fátima Mattiello-Francisco, Eliane Martins, Odnei Cuesta Lopes	A Practical Approach for Automated Test Case Generation using Statecharts.	COMPSAC	2006	DBLP DOI BibTeX RDF
2	Sara Van Langenhove, Albert Hoogewijs	SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.	WADT	2006	DBLP DOI BibTeX RDF
2	Oscar Díaz, Arantza Irastorza, Maider Azanza, Felipe M. Villoria	Modeling Portlet Aggregation Through Statecharts.	WISE	2006	DBLP DOI BibTeX RDF
2	Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally	Modularity and Composition in Propositional Statecharts.	Diagrams	2006	DBLP DOI BibTeX RDF
2	Arastoo Barji, Nils H. Hagge, Bernardo Wagner	Comparative Study of Using CNet, IEC 61499, and Statecharts for Behavioral Models of Real-time Control Applications.	ETFA	2006	DBLP DOI BibTeX RDF
2	Michael Breen	All Things Considered: Inspecting Statecharts by Model Transformation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
2	Greg Reeve, Steve Reeves	Logic and refinement for charts.	ACSC	2006	DBLP DOI BibTeX RDF	ZC, refinement, logic, statecharts, reactive systems, Z
2	Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden	Synthesizing safe state machines from Esterel.	LCTES	2006	DBLP DOI BibTeX RDF	SyncCharts, safe state machines, textual/graphical languages, Statecharts, reactive systems, Esterel
2	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
2	Christian Seybold, Silvio Meier, Martin Glinz	Scenario-driven modeling and validation of requirements models.	SCESM	2006	DBLP DOI BibTeX RDF	Adora, simulation, modeling, scenarios, statecharts
2	Peter Scholz	Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.	Software and System Modeling	2006	DBLP DOI BibTeX RDF	?-charts, Perfect synchrony, Fixed point semantics, Distributed systems, Partitioning, Statecharts, Reactive systems
2	Steffen Helke, Florian Kammüller	Structure Preserving Data Abstractions for Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
2	Junyan Qian, Baowen Xu	Model Checking for Timed Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
2	Youcef Hammal	A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.	FORTE	2005	DBLP DOI BibTeX RDF
2	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
2	Michelle L. Crane, Jürgen Dingel	UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.	MoDELS	2005	DBLP DOI BibTeX RDF
2	Albert C. Esterline, Chafic BouSaba, Abdollah Homaifar, Dan Rodgers	A framework for learning coordinated behavior.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	coordinated behavior, parts/whole statecharts, semantics, XCS
2	Heui-Seok Seo, Tadashi Araragi, Yong Rae Kwon	Modeling and Testing Agent Systems Based on Statecharts.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
2	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
2	Doron Drusinsky, Man-tak Shing	TLCharts: Armor-plating Harel Statecharts with Temporal Logic Conditions.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
2	Gergely Pintér, István Majzik	Modeling and Analysis of Exception Handling by Using UML Statecharts.	FIDJI	2004	DBLP DOI BibTeX RDF	model checking, UML, formal methods, Exception handling
2	Shuhao Li, Ji Wang, Zhi-Chang Qi	Property-Oriented Test Generation from UML Statecharts.	ASE	2004	DBLP DOI BibTeX RDF
2	Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin	An Automatic Mapping from Statecharts to Verilog.	ICTAC	2004	DBLP DOI BibTeX RDF
2	Tilo Mücke, Michaela Huhn	Generation of Optimized Testsuites for UML Statecharts with Time.	TestCom	2004	DBLP DOI BibTeX RDF
2	Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing	Mobile UML Statecharts with Localities.	Global Computing	2004	DBLP DOI BibTeX RDF
2	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
2	Xuede Zhan, Huaikou Miao	An Approach to Formalizing the Semantics of UML Statecharts.	ER	2004	DBLP DOI BibTeX RDF
2	Danny Weyns, Elke Steegmans, Tom Holvoet	Integrating Free-Flow Architectures with Role Models Based on Statecharts.	SELMAS	2004	DBLP DOI BibTeX RDF
2	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
2	Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif	Interactive Verification of Statecharts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
2	Stefania Gnesi, Diego Latella, Mieke Massink	Formal Test-Case Generation for UML Statecharts.	ICECCS	2004	DBLP DOI BibTeX RDF
2	Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche	Assessing and Improving State-Based Class Testing: A Series of Experiments.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	testing experimentation, category partition, UML statecharts, State-based testing
2	Gergely Pintér, István Majzik	Runtime Verification of Statechart Implementations.	WADS	2004	DBLP DOI BibTeX RDF	temporal logic, Runtime verification, UML statecharts
2	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Software and System Modeling	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
2	Diego Latella, Mieke Massink	On Mobility Extensions of UML Statecharts. A Pragmatic Approach.	FMOODS	2003	DBLP DOI BibTeX RDF
2	Quan Long, Zongyan Qiu, Shengchao Qin	The Equivalence of Statecharts.	ICFEM	2003	DBLP DOI BibTeX RDF
2	Jan Murray	Specifying Agent Behaviors with UML Statecharts and StatEdit.	RoboCup	2003	DBLP DOI BibTeX RDF
2	Dirk Seifert, Steffen Helke, Thomas Santen	Test Case Generation for UML Statecharts.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
2	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A QoS-Oriented Extension of UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
2	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
2	Christian Denger, Marcus Ciolkowski	High Quality Statecharts through Tailored, Perspective-Based Inspections.	EUROMICRO	2003	DBLP DOI BibTeX RDF
2	Andrzej Wasowski	On efficient program synthesis from statecharts.	LCTES	2003	DBLP DOI BibTeX RDF	embedded systems, statecharts, program synthesis, automatic code generation
2	Elena Troubitsyna	Integrating Safety Analysis into Formal Specification of Dependable Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	failure mode and effect analysis, formal specification, statecharts, actions systems
2	Hamdan Dammag, Nimal Nissanke	A Mathematical Framework for Safecharts.	ICFEM	2003	DBLP DOI BibTeX RDF	Step Semantics, Security, Safety, Statecharts, rbac
2	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Software and System Modeling	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
2	Juan de Lara, Hans Vangheluwe	Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.	ICGT	2002	DBLP DOI BibTeX RDF
2	Dániel Varró	A Formal Semantics of UML Statecharts by Model Transition Systems.	ICGT	2002	DBLP DOI BibTeX RDF
2	Ji Wang, Wei Dong, Zhichang Qi	Slicing Hierarchical Automata for Model Checking UML Statecharts.	ICFEM	2002	DBLP DOI BibTeX RDF