| 2009 |
|---|
| 5 | EE | Damian Dechev,
Peter Pirkelbauer,
Nicolas Rouquette,
Bjarne Stroustrup:
Semantically Enhanced Containers for Concurrent Real-Time Systems.
ECBS 2009: 48-57 |
| 2008 |
|---|
| 4 | EE | Damian Dechev,
Nicolas Rouquette,
Peter Pirkelbauer,
Bjarne Stroustrup:
Verification and semantic parallelization of goal-driven autonomous software.
Autonomics 2008: 33 |
| 2004 |
|---|
| 3 | EE | Barry W. Boehm,
Jesal Bhuta,
David Garlan,
Eric Gradman,
LiGuo Huang,
Alexander Lam,
Raymond J. Madachy,
Nenad Medvidovic,
Kenneth Meyer,
Steven Meyers,
Gustavo Pérez,
Kirk Reinholtz,
Roshanak Roshandel,
Nicolas Rouquette:
Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.
ISESE 2004: 117-126 |
| 1998 |
|---|
| 2 | EE | Martin S. Feather,
Julia R. Dunphy,
Nicolas Rouquette:
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.
WIFT 1998: 140- |
| 1994 |
|---|
| 1 | | Leonard Charest,
Nicolas Rouquette,
Richard Doyle,
Jay Wyatt,
Charles Robertson:
MESA: An Interactive Modeling and Simulation Environment for Intelligent Systems Automations.
HICSS (3) 1994: 517-525 |
