Searching for authors named "Andrzej Wasowski" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Crossing the Gap between Semantics and Practice: Crafting a Compiler for Statecharts
- … Abstract Andrzej W#sowski # IT University of Copenhagen wasowski@(email omitted); 1 Introduction Statecharts…
- Add To MetaCart
-
Succinctness of Hierarchical State Diagrams in Absence of Message Passing
- ….it-c.dk On Succinctness of Hierarchical State Diagrams in Absence of Message Passing Andrzej W#sowski (wasowski…
- Add To MetaCart
-
On Efficient Program Synthesis from Statecharts
- …On Efficient Program Synthesis from Statecharts Andrzej Wasowski Department of Innovation…
- Cited by 3 (0 self) – Add To MetaCart
-
Flattening Statecharts without Explosions
- …Flattening Statecharts without Explosions Andrzej Wasowski Department of Innovation IT University…
- Cited by 4 (0 self) – Add To MetaCart
-
Compile-time Scope Resolution for Statecharts Transitions
- …Compile-time Scope Resolution for Statecharts Transitions Andrzej W#sowski and Peter Sestoft…
- Add To MetaCart
-
Color-blind specifications for transformations of reactive synchronous programs
- … , Ulrik Larsen 1 , and Andrzej Wasowski 2 1 CISS, Aalborg University, Denmark, {kgl,ulrikl}@(email omitted); 2…
- Cited by 1 (1 self) – Add To MetaCart
-
On the Formal Semantics of VisualSTATE Statecharts
- …On the Formal Semantics of VisualSTATE Statecharts Andrzej W#sowski Peter Sestoft IT University…
- Add To MetaCart
-
Interface input/output automata
- … in Computer Science An Interface Theory for Input/Output Automata Kim G. Larsen Ulrik Nyman Andrzej Wasowski…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
