Search results for "statecharts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	David Harel	Some Thoughts on Statecharts, 13 Years Later.	CAV	1997	DBLP DOI BibTeX RDF
38	Jan Phillips, Peter Scholz	Compositional Specification of Embedded Systems with Statecharts.	TAPSOFT	1997	DBLP DOI BibTeX RDF
38	Simon Stobart, Norman Parrington, Bor-Yuan Tsai	Using Extended General Statecharts to Generate Test Cases for Overloaded/Polymorphic Object-Oriented Programs: A Case Study.	TOOLS (24)	1997	DBLP DOI BibTeX RDF	General Statechart, Extended General Statechart, Polymorphism, Statechart, Overloaded, State-Base Testing
38	Andrea Maggiolo-Schettini, Massimo Merro	Prorities in Statecharts.	LOMAPS	1996	DBLP DOI BibTeX RDF
38	Adriano Peron	Statecharts, Transition Structures and Transformations.	TAPSOFT	1995	DBLP DOI BibTeX RDF
38	Antonio Mendes da Silva Filho	Statecharts supervision models for reactive systems.	CASCON	1995	DBLP BibTeX RDF
38	Nancy A. Day, Jeffrey J. Joyce	The Semantics of Statecharts in HOL.	HUG	1993	DBLP DOI BibTeX RDF
38	Doron Drusinsky, David Harel	Using statecharts for hardware description and synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
38	Cornelis Huizing, Rob Gerth, Willem P. de Roever	Modeling Statecharts Behaviour in a Fully Abstract Way.	CAAP	1988	DBLP DOI BibTeX RDF
36	Hywel R. Dunn-Davies, Jim Cunningham	Verifying realizability and reachability in recursive interaction protocol specifications.	AAMAS (2)	2009	DBLP BibTeX RDF	propositional statecharts, verification, interaction protocols
36	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. Biol. Bioinform.	2008	DBLP DOI BibTeX RDF	modeling, verification, statecharts, C. elegans
36	Peter Scholz	Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	?-charts, Perfect synchrony, Fixed point semantics, Distributed systems, Partitioning, Statecharts, Reactive systems
36	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
36	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
36	Hamdan Dammag, Nimal Nissanke	A Mathematical Framework for Safecharts.	ICFEM	2003	DBLP DOI BibTeX RDF	Step Semantics, Security, Safety, Statecharts, rbac
36	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
36	Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino	Using extended positional grammars to develop visual modeling languages.	SEKE	2002	DBLP DOI BibTeX RDF	automatic generation of visual programming environments, extended positional grammars, formal specifications, visual languages, statecharts
36	Nimal Nissanke, Hamdan Dammag	Risk Ordering of States in Safecharts.	SAFECOMP	2000	DBLP DOI BibTeX RDF	risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
36	Jean Hartmann, Claudio Imoberdorf, Michael Meisinger	UML-Based integration testing.	ISSTA	2000	DBLP DOI BibTeX RDF	COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution
36	David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot	STATEMATE: A Working Environment for the Development of Complex Reactive Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	complex reactive systems, graphical orientation, debug diagrammatic, software engineering, design, specification, programming environments, analysis, documentation, systems analysis, development, statecharts, functionality, behavior, graphical languages, working environment, STATEMATE
36	Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien	SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts.	PLDI	2014	DBLP DOI BibTeX RDF
36	Carlos Renato Lisboa Francês	Stocastic statecharts and queuing statecharts: new approaches for performance evaluation based on statechart specification.		2001	RDF
36	Jan-Juan Hiemer	Statecharts in CSP - ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts.		1999	RDF
34	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
34	Andrzej Wasowski	On efficient program synthesis from statecharts.	LCTES	2003	DBLP DOI BibTeX RDF	embedded systems, statecharts, program synthesis, automatic code generation
34	Jan Jürjens	A UML statecharts semantics with message-passing.	SAC	2002	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), UML, message-passing, statecharts, formal semantics, executable specifications
34	Gerald Lüttgen, Michael von der Beeck, Rance Cleaveland	A compositional approach to statecharts semantics.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	operational semantics, statecharts, compositionality
34	William Chan 0001, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner	Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts.	ICSE	1999	DBLP DOI BibTeX RDF	fault tolerance, formal methods, formal verification, binary decision diagrams, statecharts, symbolic model checking, software specification
34	Marcelo Augusto Santos Turine, Maria Cristina Ferreira de Oliveira, Paulo César Masiero	A Navigation-Oriented Hypertext Model Based on Statecharts.	Hypertext	1997	DBLP DOI BibTeX RDF	HMBS, hierarchical views, hypertext document model, statecharts, browsing semantics
34	Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira	Hypercharts: extended statecharts to support hypermedia specification.	ICECCS	1997	DBLP DOI BibTeX RDF	hypercharts, extended statecharts, hypermedia specification, information synchronization requirements, timed history, timed transitions, Petri net based multimedia models, statechart models, hypermedia, synchronization mechanisms, temporal specification
30	Youssef Gamha, Nacéra Bennacer, Guy Vidal-Naquet, Béchir el Ayeb, Lotfi Ben Romdhane	A Framework for the Semantic Composition of Web Services Handling User Constraints.	ICWS	2008	DBLP DOI BibTeX RDF
30	Jiufu Liu, Zhong Yang	UML and B Method Based Analysis and Refinement for Flight Control Software of Unmanned Aerial Vehicle.	CSSE (1)	2008	DBLP DOI BibTeX RDF
30	Wei Dong 0006, Ji Wang 0001, Zhichang Qi, Ni Rong	Compositional Verification of UML Dynamic Models.	APSEC	2007	DBLP DOI BibTeX RDF
30	Steffen Prochnow, Reinhard von Hanxleden	Comfortable modeling of complex reactive systems.	DATE	2006	DBLP DOI BibTeX RDF
30	Nawal Addouche, Christian Antoine, Jacky Montmain	Methodology for UML Modeling and Formal Verification of Real-Time Systems.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
30	Thomas Cottenier, Aswin van den Berg, Tzilla Elrad	Modeling Aspect-Oriented Compositions.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
30	Tomasz Babczynski, Zofia Kruczkiewicz, Jan Magott	Performance Comparison of Multi-agent Systems.	CEEMAS	2005	DBLP DOI BibTeX RDF
30	Nawal Addouche, Christian Antoine, Jacky Montmain	Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
30	J. Sebestyénová	Simulation and Verification Tool for Hierarchical Real-Time Systems.	ECBS	2004	DBLP DOI BibTeX RDF
30	Günter Graw, Peter Herrmann	Generation and Enactment of Controllers for Business Architectures Using MDA.	EWSA	2004	DBLP DOI BibTeX RDF
30	Luís Gomes 0001, Anikó Costa	From Use Cases to System Implementation: Statechart Based Co-design.	MEMOCODE	2003	DBLP DOI BibTeX RDF
30	Marco Winckler, Philippe A. Palanque	StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.	DSV-IS	2003	DBLP DOI BibTeX RDF
30	Gerald Lüttgen, Michael Mendler	Axiomatizing an Algebra of Step Reactions for Synchronous Languages.	CONCUR	2002	DBLP DOI BibTeX RDF
30	Elizabeth Latronico, Philip Koopman	Representing Embedded System Sequence Diagrams as a Formal Language.	UML	2001	DBLP DOI BibTeX RDF
30	Johann Schumann, Jon Whittle 0001	Automatic Synthesis of Agent Designs in UML.	FAABS	2000	DBLP DOI BibTeX RDF
30	Ulrich Nickel 0002, Jörg Niere, Albert Zündorf	The FUJABA environment.	ICSE	2000	DBLP DOI BibTeX RDF	Java, UML
30	A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar	A Graphical Environment for the Specification and Verification of Reactive Systems.	SAFECOMP	1999	DBLP DOI BibTeX RDF
30	Emil Sekerinski	Graphical Design of Reactive Systems.	B	1998	DBLP DOI BibTeX RDF
30	Michael von der Beeck, Tiziana Margaria, Bernhard Steffen	A formal requirements engineering method for specification, synthesis, and verification.	SEE	1997	DBLP DOI BibTeX RDF
30	Kenji Taguchi 0001, Keijiro Araki	Extending Z with State Transition Constraints.	COMPSAC	1996	DBLP DOI BibTeX RDF
30	Doron Drusinsky, David Harel	On the Power of Cooperative Concurrency.	Concurrency	1988	DBLP DOI BibTeX RDF
28	Rafal Mrowka, Tomasz Szmuc	UML Statecharts Compositional Semantics in LOTOS.	ISPDC	2008	DBLP DOI BibTeX RDF
28	Ariel Gonzalez, Carlos Luna 0001	Behavior Specification of Product Lines via Feature Models and UML Statecharts with Variabilities.	SCCC	2008	DBLP DOI BibTeX RDF
28	Michelle L. Crane, Jürgen Dingel	UML vs. classical vs. rhapsody statecharts: not all models are created equal.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
28	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
28	Sara Van Langenhove, Albert Hoogewijs	SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts.	WADT	2006	DBLP DOI BibTeX RDF
28	Hywel R. Dunn-Davies, Jim Cunningham, Shamimabi Paurobally	Modularity and Composition in Propositional Statecharts.	Diagrams	2006	DBLP DOI BibTeX RDF
28	Michael Breen	All Things Considered: Inspecting Statecharts by Model Transformation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
28	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
28	Michelle L. Crane, Jürgen Dingel	UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.	MoDELS	2005	DBLP DOI BibTeX RDF
28	Steffen Helke, Florian Kammüller	Structure Preserving Data Abstractions for Statecharts.	FORTE	2005	DBLP DOI BibTeX RDF
28	Youcef Hammal	A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.	FORTE	2005	DBLP DOI BibTeX RDF
28	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
28	Danny Weyns, Elke Steegmans, Tom Holvoet	Integrating Free-Flow Architectures with Role Models Based on Statecharts.	SELMAS	2004	DBLP DOI BibTeX RDF
28	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
28	Stefania Gnesi, Diego Latella, Mieke Massink	Formal Test-Case Generation for UML Statecharts.	ICECCS	2004	DBLP DOI BibTeX RDF
28	David N. Jansen, Holger Hermanns, Joost-Pieter Katoen	A QoS-Oriented Extension of UML Statecharts.	UML	2003	DBLP DOI BibTeX RDF
28	Jan Murray	Specifying Agent Behaviors with UML Statecharts and StatEdit.	RoboCup	2003	DBLP DOI BibTeX RDF
28	Albert C. Esterline	Using Statecharts and Modal Logics to Model Multiagent Plans and Transactions.	FAABS	2002	DBLP DOI BibTeX RDF
28	Alexandre David, M. Oliver Möller, Wang Yi 0001	Formal Verification of UML Statecharts with Real-Time Extensions.	FASE	2002	DBLP DOI BibTeX RDF
28	Zsigmond Pap, István Majzik, András Pataricza	Checking General Safety Criteria on UML Statecharts.	SAFECOMP	2001	DBLP DOI BibTeX RDF
28	Na'aman Kam, Irun R. Cohen, David Harel	The Immune System as a Reactive System: Modeling T Cell Activation With Statecharts.	HCC	2001	DBLP DOI BibTeX RDF
28	Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski	Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs.	SAFECOMP	2000	DBLP DOI BibTeX RDF
28	Rodolfo Castelló, Rym Mili, Ioannis G. Tollis	An Algorithmic Framework for Visualizing Statecharts.	GD	2000	DBLP DOI BibTeX RDF
28	Edwin Erpenbach, Peter Altenbernd	Worst-case execution times and schedulability analysis of statecharts models.	ECRTS	1999	DBLP DOI BibTeX RDF
28	Robert Büssow, Robert Geisler, Marcus Klar	Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.	FASE	1998	DBLP DOI BibTeX RDF
28	Peter Scholz	A Refinement Calculus for Statecharts.	FASE	1998	DBLP DOI BibTeX RDF
28	Carsta Petersohn, Luis Urbina	A Timed Semantics for the STATEMATE Implementation of Statecharts.	FME	1997	DBLP DOI BibTeX RDF
28	C. R. Nobe, William E. Warner	Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts.	ICRE	1996	DBLP DOI BibTeX RDF
28	Matthias Weber	Combining Statecharts and Z for the Design of Safety-Critical Control Systems.	FME	1996	DBLP DOI BibTeX RDF
28	Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini	Equivalences of Statecharts.	CONCUR	1996	DBLP DOI BibTeX RDF
26	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
26	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
26	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
26	Greg Reeve, Steve Reeves	Logic and refinement for charts.	ACSC	2006	DBLP BibTeX RDF	ZC, refinement, logic, statecharts, reactive systems, Z
26	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
26	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
26	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
26	Stephan Flake, Wolfgang Müller 0003	Formal semantics of static and temporal state-oriented OCL constraints.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Temporal logics, Object Constraint Language, UML Profile, Real-time constraints, UML Statecharts
26	Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino	The Use of the GXL Approach for Supporting Visual Language Specification and Interchanging.	HCC	2002	DBLP DOI BibTeX RDF	Visual Programming Environments Generators, UML, Visual Languages, Statecharts, GXL
26	Jan Murray	Specifying agents with UML in robotic soccer.	AAMAS	2002	DBLP DOI BibTeX RDF	unified modeling language (UML), specification, multiagent systems, statecharts, robotic soccer, RoboCup
26	Rosemeire Shibuya, Willie Dresler Leiva, Maria Cristina Ferreira de Oliveira, Paulo César Masiero	Automatic HTML Generation from Formal Hypermedia Specifications.	HICSS	2001	DBLP DOI BibTeX RDF	HMBS - Hypermedia Model Based on Statecharts, Automatic Generation from HySCharts to HTML, HySCharts, Highly structured hyperdocuments
26	Greg Reeve, Steve Reeves	mu-Charts and Z: examples and extensions.	APSEC	2000	DBLP DOI BibTeX RDF	mu-Charts, reactive systems specification, local variables, integer-valued signals, formal specification, specification languages, specification language, statecharts, systems development, Z language, command language
26	Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson	Analyzing software architectures with Argus-I.	ICSE	2000	DBLP DOI BibTeX RDF	architecture-based analysis, architecture-based testing, software architecture, software component, statecharts, ARGUS
26	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
26	Andrei Borshchev, Yuri G. Karpov, Victor Roudakov	Systems modeling, simulation and analysis using COVERS active objects.	ECBS	1997	DBLP DOI BibTeX RDF	COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems
26	Satoshi Yamane	The verification technique of real-time systems using probabilities.	RTCSA	1996	DBLP DOI BibTeX RDF	performance properties, dense time model, dense time statecharts, automatic verification method, dense time model checking, real-time systems, reliability, formal specification, formal verification, formal verification, temporal logic, probabilities, verification technique
26	Ayaz Isazadeh, Glenn H. MacEwen, Andrew J. Malton	Behavioral patterns for software requirement engineering.	CASCON	1995	DBLP BibTeX RDF	software architecture, formal methods, statecharts
26	Doron Drusinsky, David Harel	On the Power of Bounded Concurrency I: Finite Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	bounded cooperative concurrency, statecharts, finite automata, nondeterminism, alternation, succinctness, omega-automata
26	Oded Maler, Zohar Manna, Amir Pnueli	From Timed to Hybrid Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	discrete and continuous systems, Real-time, hybrid systems, Statecharts, timed transitions system