| 2008 |
|---|
| 18 | EE | Manuela L. Bujorianu,
John Lygeros,
Rom Langerak:
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control.
HSCC 2008: 610-613 |
| 2005 |
|---|
| 17 | EE | Stefan Strubbe,
Rom Langerak:
A Composition Operator for Systems with Active and Passive Actions.
FORTE 2005: 24-37 |
| 2001 |
|---|
| 16 | EE | Theo C. Ruys,
Rom Langerak,
Joost-Pieter Katoen,
Diego Latella,
Mieke Massink:
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders.
TACAS 2001: 220-235 |
| 1999 |
|---|
| 15 | EE | Rom Langerak,
Ed Brinksma:
A Complete Finite Prefix for Process Algebra.
CAV 1999: 184-195 |
| 14 | EE | Rom Langerak:
Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding.
Electr. Notes Theor. Comput. Sci. 27: (1999) |
| 1998 |
|---|
| 13 | EE | Ed Brinksma,
Joost-Pieter Katoen,
Rom Langerak,
Diego Latella:
Partial Order Models for Quantitative Extensions of LOTOS.
Computer Networks 30(9-10): 925-950 (1998) |
| 12 | | Joost-Pieter Katoen,
Rom Langerak,
Ed Brinksma,
Diego Latella,
Tommaso Bolognesi:
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions.
Formal Methods in System Design 12(2): 189-216 (1998) |
| 1997 |
|---|
| 11 | | Rom Langerak,
Ed Brinksma,
Joost-Pieter Katoen:
Causal Ambiguity and Partial Orders in Event Structures.
CONCUR 1997: 317-331 |
| 1996 |
|---|
| 10 | | Joost-Pieter Katoen,
Rom Langerak,
Diego Latella,
Ed Brinksma:
On Specifying Real-Time Systems in a Causality-Based Setting.
FTRTFT 1996: 385-404 |
| 1995 |
|---|
| 9 | | Ed Brinksma,
Joost-Pieter Katoen,
Rom Langerak,
Diego Latella:
A Stochastic Causality-Based Process Algebra.
Comput. J. 38(7): 552-565 (1995) |
| 1994 |
|---|
| 8 | | B. Botma,
Rom Langerak:
Simulator for LOTOS to study the independence and causality of events.
FORTE 1994: 221-223 |
| 1993 |
|---|
| 7 | | Ed Brinksma,
Rom Langerak,
Peter Broekroelofs:
Functionality Decomposition by Compositional Correstness Preserving Transformation.
CAV 1993: 371-384 |
| 6 | | Joost-Pieter Katoen,
Rom Langerak,
Diego Latella:
Modeling Systems by Probabilistic Process Algebra: an Event Structures Approach.
FORTE 1993: 253-268 |
| 1992 |
|---|
| 5 | | Rom Langerak:
Bundle event structures: a non-interleaving semantics for LOTOS.
FORTE 1992: 331-346 |
| 1991 |
|---|
| 4 | | Rom Langerak:
Event Structures for Design and Transformation in LOTOS.
FORTE 1991: 265-280 |
| 1990 |
|---|
| 3 | | Rom Langerak:
Decomposition of functionality: a correctness-preserving LOTOS transformation.
PSTV 1990: 229-242 |
| 2 | EE | Rom Langerak:
View Updates in Relational Databases with an Independent Scheme.
ACM Trans. Database Syst. 15(1): 40-66 (1990) |
| 1989 |
|---|
| 1 | | Rom Langerak:
A Testing Theory for LOTOS using Deadlock Detection.
PSTV 1989: 87-98 |
