Searching for authors named "Stefan Leue" – sorted by Relevance.
-
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes
- Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes Stefan Leue 1
- Add To MetaCart
-
DRAFT Copyright (c) by the authors 2008 An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
- in UML-RT Stefan Leue 1 , Alin S¸tefănescu 2⋆ ,andWeiWei 1 1 Department of Computer and Information
- Add To MetaCart
-
QoS Specification based on SDL/MSC and Temporal Logic
- QoS Specification based on SDL/MSC and Temporal Logic Stefan Leue 1 Institute for Informatics
- Cited by 6 (1 self) – Add To MetaCart
-
Simulink Design Verifier vs. SPIN – a Comparative Case Study
- Simulink Design Verifier vs. SPIN – a Comparative Case Study Florian Leitner and Stefan Leue
- Add To MetaCart
-
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT Stefan Leue 1
- Add To MetaCart
-
A Formal Approach to Optimized Parallel Protocol Implementation
- A Formal Approach to Optimized Parallel Protocol Implementation Stefan Leue 1 and Ph. Oechslin
- Add To MetaCart
-
On Parallelising and Optimising the Implementation of Communication Protocols
- On Parallelising and Optimising the Implementation of Communication Protocols Stefan Leue, Member
- Add To MetaCart
-
Formal Methods for Broadband and Multimedia Systems
- @(email omitted); Stefan Leue b b Electrical and Computer Engineering, University of Waterloo, Waterloo, Ontario N2L 3G1
- Cited by 6 (1 self) – Add To MetaCart
-
Enhancing Integrated Layer Processing Using Common Case Anticipation and Data Dependence Analysis (Extended Abstract)
- @(email omitted); Stefan Leue Institute for Informatics University of Berne Langgassstrasse 51 CH-3012 Berne, Switzerland
- Cited by 4 (0 self) – Add To MetaCart
-
Optimization Techniques for Parallel Protocol Implementation
- Optimization Techniques for Parallel Protocol Implementation Stefan Leue Philippe Oechslin
- Cited by 3 (2 self) – Add To MetaCart

