MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "STATEMATE." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

635 documents found, showing 1 through 10. Next 10 →

ATOM

The STATEMATE Semantics of Statecharts
by David Harel, Amnon Naamad — 1996
…The STATEMATE Semantics.of Statecharts DAVID HAREL The Weizmann Institute of Science and AMNON…
Cited by 460 (7 self) – Add To MetaCart

On Formal Semantics of Statecharts as Supported by STATEMATE.
by Erich Mikk, Yassine Lakhnech, Carsta Petersohn, Michael Siegel — 1997 — In Second BCS-FACS Northern Formal Methods Workshop
…On Formal Semantics of Statecharts as Supported by STATEMATE. Erich Mikk , Yassine Lakhnech…
Cited by 21 (4 self) – Add To MetaCart

Formal Verification of STATEMATE-Statecharts
by Kay Fuhrmann, Jan Hiemer
…Formal Veri cation of Statemate-Statecharts Kay Fuhrmann, Jan Hiemer Abstract. Our approach is a…
Cited by 1 (0 self) – Add To MetaCart

Tamagotchis Need Not Die - Verification of STATEMATE Designs
by Udo Brockmeyer, Gunnar Wittich — 1998 — Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of Lecture Notes in Computer Science
…Tamagotchis Need Not Die -- Verification of Statemate Designs Udo Brockmeyer and Gunnar Wittich…
Cited by 12 (2 self) – Add To MetaCart

Real-Time Verification of STATEMATE Designs
by Udo Brockmeyer, Gunnar Wittich — Proc. CAV 98
…Real-Time Verification of Statemate Designs Udo Brockmeyer and Gunnar Wittich ? OFFIS, Escherweg 2…
Cited by 2 (0 self) – Add To MetaCart

Simulation and Realization using STATEMATE - The Development of a Microsystem
by M. Gorges-schleuter, W. Süß, H. Eggert, K. Lindemann, W. Jakob, Forschungszentrum Karlsruhe
… Simulation and Realization using STATEMATE The Development of a Microsystem M. Gorges…
Add To MetaCart

STATEMATE: A Working Environment for the Development of Complex Reactive Systems
by David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-trauring, Mark Trakhtenbrot — 1990 — IEEE Transactions on Software Engineering
…IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 16, NO. 4. APRIL 1990 403 STATEMATE: A Working…
Cited by 362 (5 self) – Add To MetaCart

A Compositional Real-time Semantics of STATEMATE Designs
by Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli — 1998
…A Compositional Real-time Semantics of STATEMATE Designs Werner Damm 1 , Bernhard Josko 1…
Cited by 46 (6 self) – Add To MetaCart

Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts
by Jürgen Bohn, Werner Damm, Hartmut Wittke, Jochen Klose, Adam Moik — 2002 — Proceedings of the Conference on Integrated Design and Process Technology (IDPT2002), Society for Design and Process Science (2002
… Applications Using Statemate and Live Sequence Charts Submission to session on „Integration of Modeling…
Cited by 10 (2 self) – Add To MetaCart

STATEMATE: A Working Development of Complex Environment for the Reactive Systems
by D. Harel, H. Lachover, Hagi Lachover, A. Pnueli, A. Naamad, R. Sherman, A. ShtullTrauring, M. Trakhtenbrot, Amir Pnueli, M. Politi, Rivi Sherman, Aharon Shtull-trauring — 1990
…IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. VOL 16. NO 4. APRIL 1990 STATEMATE: A Working…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB