Search results for "STATEMATE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
109	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
109	Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm	A Semantics for Distributed Execution of Statemate.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Distributed systems, Semantics, Statemate
92	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
81	Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG.	ICFEM	2002	DBLP DOI BibTeX RDF	Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
64	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer 0001, Bernd Becker 0001	Compositional Dependability Evaluation for STATEMATE.	IEEE Trans. Software Eng.	2009	DBLP DOI BibTeX RDF
64	Udo Brockmeyer, Gunnar Wittich	Real-Time Verification of Statemate Designs.	CAV	1998	DBLP DOI BibTeX RDF
64	Carsta Petersohn, Luis Urbina	A Timed Semantics for the STATEMATE Implementation of Statecharts.	FME	1997	DBLP DOI BibTeX RDF
57	Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke	Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).	Informationstechnik Tech. Inform.	2001	DBLP DOI BibTeX RDF
57	David Harel, Amnon Naamad	The STATEMATE Semantics of Statecharts.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	semantics, statechart, reactive system, behavioral modeling, STATEMATE
46	Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer 0001, Bernd Becker 0001	Compositional Performability Evaluation for STATEMATE.	QEST	2006	DBLP DOI BibTeX RDF
46	Pascale Thévenod-Fosse, Hélène Waeselynck	STATEMATE Applied to Statistical Software Testing.	ISSTA	1993	DBLP DOI BibTeX RDF
46	Jonah Z. Lavi, Michael Winokur	Development of a Method Driven CAS2E Tool.	Software Development Environments and CASE Technology	1991	DBLP DOI BibTeX RDF	ECSAM, Embedded Computer Systems, Multi-systems, Design, Specification, Requirements, Software, Dynamic, Systems, Statecharts, Reactive Systems, CASE, Executable specifications, Computer Based Systems Engineering, Event Driven Systems, Statemate
35	Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke	Formal Verification of LSCs in the Development Process.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
35	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
35	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
35	Philippe Baufreton	SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
35	Udo Brockmeyer, Gunnar Wittich	Tamagotchis Need Not Die - Verification of STATEMENT Design.	TACAS	1998	DBLP DOI BibTeX RDF
35	Nancy A. Day	An example of linking formal methods with case tools: a model checker for statecharts.	CASCON	1993	DBLP BibTeX RDF
29	Leila Jemni Ben Ayed, Ahlem Ben Younes	Modeling and Verification of Reactive Systems Using STATEMATE and Event B.	Int. J. Comput. Their Appl.	2009	DBLP BibTeX RDF
29	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
29	A. W. Roscoe 0001, Zhenzhong Wu	Verifying Statemate Statecharts Using CSP and FDR.	ICFEM	2006	DBLP DOI BibTeX RDF
29	Ramin Tavakoli Kolagari, Alexander Raschke	Vergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergeräts.	Softwaretechnik-Trends	2004	DBLP BibTeX RDF
29	Roel J. Wieringa	Design methods for reactive systems - Yourdon, Statemate, and the UML.		2003	RDF
29	Tom Bienmüller	Reducing complexity for the verification of STATEMATE designs.		2003	RDF
29	Werner Damm, Jochen Klose	Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.	Formal Methods Syst. Des.	2001	DBLP DOI BibTeX RDF
29	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
29	Tom Bienmüller, Werner Damm, Hartmut Wittke	The STATEMATE Verification Environment - Making It Real.	CAV	2000	DBLP DOI BibTeX RDF
29	Jan-Juan Hiemer	Statecharts in CSP - ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts.		1999	RDF
29	Jochen Klose	Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen.	GI Jahrestagung	1999	DBLP DOI BibTeX RDF
29	Udo Brockmeyer	Verifikation von Statemate Designs: Dissertation.		1999	RDF
29	Kay Fuhrmann, Jan Hiemer	Formal Verification of Statemate-Statecharts.	Tool Support for System Specification, Development and Verification	1998	DBLP DOI BibTeX RDF
29	Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli	A Compositional Real-Time Semantics of STATEMATE Designs.	COMPOS	1997	DBLP DOI BibTeX RDF
29	Mohamed Romdhani, Alain Jeffroy, Pierre de Chazelles, Abd-El-Kader Sahraoui, Ahmed Amine Jerraya	Modeling and rapid prototyping of avionics using STATEMATE.	RSP	1995	DBLP DOI BibTeX RDF
29	Susanne Wiefel, Gerhard Trefz	STATEMATE.	FTRTFT	1994	DBLP BibTeX RDF
29	Sharon L. Smith, Susan L. Gerhart	STATEMATE and cruise control: a case study.	COMPSAC	1988	DBLP DOI BibTeX RDF
29	David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring	STATEMATE; A Working Environment for the Development of Complex Reactive Systems.	ICSE	1988	DBLP BibTeX RDF
17	Eckard Bringmann, Andreas Krämer	Model-Based Testing of Automotive Systems.	ICST	2008	DBLP DOI BibTeX RDF	continuous behavior testing, closed loop testing, Model-based testing, test automation, automotive systems
17	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
17	Liu Jiufu	Integration of statechart and B method based analysis and verification for flight control software of unmanned aerial vehicle.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	flight control software, statechart, B method, virtual prototype, integrated methods
17	Joost-Pieter Katoen	Abstraction of Probabilistic Systems.	FORMATS	2007	DBLP DOI BibTeX RDF
17	Mark B. Trakhtenbrot	Use of Verification for Testing and Debugging of Complex Reactive Systems.	SEFM	2005	DBLP DOI BibTeX RDF
17	Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif	Interactive Verification of Statecharts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
17	Dirk Ziegenbein, Fabian Wolf, Kai Richter 0001, Marek Jersak, Rolf Ernst	Interval-Based Analysis of Software Processes.	LCTES/OM	2001	DBLP DOI BibTeX RDF	behavioral intervals, software execution cost analysis, system-level timing validation
17	Jochen Klose, Hartmut Wittke	An Automata Based Interpretation of Live Sequence Charts.	TACAS	2001	DBLP DOI BibTeX RDF
17	Rik Eshuis, Roel J. Wieringa	A Real-Time Execution Semantics for UML Activity Diagrams.	FASE	2001	DBLP DOI BibTeX RDF
17	Simon Kiteley, Jonathan Draper	Results of an Investigation into Software Integration Testing Automation.	Ada-Europe	2000	DBLP DOI BibTeX RDF
17	Edwin Erpenbach, Peter Altenbernd	Worst-case execution times and schedulability analysis of statecharts models.	ECRTS	1999	DBLP DOI BibTeX RDF
17	Tom Bienmüller, Jürgen Bohn 0002, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen 0003	Verification of Automotive Control Units.	Correct System Design	1999	DBLP DOI BibTeX RDF
17	Peter Jansen 0003	Design Process of Embedded Automotive Systems - Using Model Checking for Correct Specification.	CHARME	1999	DBLP DOI BibTeX RDF
17	Amir Pnueli, Ofer Strichman, Michael Siegel	The Code Validation Tool CVT: Automatic Verification of a Compilation Process.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Code validation, BDD, Industrial application, Compiler verification, Translation validation
17	David Harel	Some Thoughts on Statecharts, 13 Years Later.	CAV	1997	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Robert Geisler, Marcus Klar, Julia Padberg	Horizontal and Vertical Structuring Techniques for Statecharts.	CONCUR	1997	DBLP DOI BibTeX RDF
17	George T. Heineman	Automatic translation of process modeling formalisms.	CASCON	1994	DBLP BibTeX RDF
17	Dirk Höltje, Nazim H. Madhavji, Tilmann F. W. Bruckhaus, Won-Kook Hong	Eliciting formal models of software engineering processes.	CASCON	1994	DBLP BibTeX RDF
17	Nancy A. Day, Jeffrey J. Joyce	The Semantics of Statecharts in HOL.	HUG	1993	DBLP DOI BibTeX RDF
17	David Raffo	Evaluating the impact of process improvements quantitatively using process modeling.	CASCON	1993	DBLP BibTeX RDF
17	Jonah Z. Lavi, Michael Winokur	Embedded Computer Systems. Requirements Analysis & Specification - An Industrial Course.	CSEE	1988	DBLP DOI BibTeX RDF