The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Statemate with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1988-1997 (18) 1998-2001 (20) 2002-2008 (17) 2009 (2)
Publication types (Num. hits)
article(11) book(2) inproceedings(42) phdthesis(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 67 occurrences of 51 keywords

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