Nicolas Rouquette

14 papers Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design.
ACM Trans. Cyber Phys. Syst.
Inigo Incer, Apurva Badithela, Josefine B. Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Nicolas Rouquette, Sheng-Jung Yu, Albert Benveniste, Benoît Caillaud, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia
2024 J jnl
Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts.
CoRR
Nicolas Rouquette, Alessandro Pinto, Inigo Incer
2023 J jnl
Computational Hypergraph Discovery, a Gaussian Process framework for connecting the dots.
CoRR
Théo Bourdais, Pau Batlle, Xianjin Yang, Ricardo Baptista, Nicolas Rouquette, Houman Owhadi
2023 — conf
openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering.
MoDELS (Companion)
Maged Elaasar, Nicolas Rouquette, David A. Wagner, Bentley Oakes, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa
2010 — ed.
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
MoDELS (1)
Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen
2010 — ed.
Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
MoDELS (2)
Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen
2010 — ch.
Programming and Validation Techniques for Reliable Goal-driven Autonomic Software.
Autonomic Communication
Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup
2009 — conf
Semantically Enhanced Containers for Concurrent Real-Time Systems.
ECBS
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup
2009 — conf
Using Defect Reports to Build Requirements Knowledge in Product Lines.
MARK@RE
Robyn R. Lutz, Nicolas Rouquette
2008 — conf
Verification and semantic parallelization of goal-driven autonomous software.
Autonomics
Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup
2004 — conf
Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.
ISESE
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
1999 J jnl
Autonomy and software technology on NASA's Deep Space One.
IEEE Intell. Syst.
Douglas E. Bernard, Richard J. Doyle, Ed Riedel, Nicolas Rouquette, Jay Wyatt, Mike Lowry, P. Pandurang Nayak
1998 — conf
"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.
WIFT
Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette
1994 — conf
MESA: An Interactive Modeling and Simulation Environment for Intelligent Systems Automations.
HICSS (3)
Leonard Charest, Nicolas Rouquette, Richard J. Doyle, Jay Wyatt, Charles Robertson