Searching for authors named "Stefan Leue" – sorted by Relevance.
56 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
