Nicolas Rouquette - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2025

Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and DesignInigo 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. tcps, 9(1), January 2025. [doi]

2023

openCAESAR: Balancing Agility and Rigor in Model-Based Systems EngineeringMaged Elaasar, Nicolas Rouquette, David Wagner, Bentley James Oakes, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa. MoDELS 2023: 221-230 [doi]

2010

Programming and Validation Techniques for Reliable Goal-driven Autonomic SoftwareDamian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup. In Athanasios V. Vasilakos, Manish Parashar, Stamatis Karnouskos, Witold Pedrycz, editors, Autonomic Communication. pages 231-247, Springer, 2010. [doi]

2009

Semantically Enhanced Containers for Concurrent Real-Time SystemsDamian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup. ECBS 2009: 48-57 [doi]

Using Defect Reports to Build Requirements Knowledge in Product LinesRobyn R. Lutz, Nicolas Rouquette. RE 2009: 12-21 [doi]

2008

Verification and semantic parallelization of goal-driven autonomous softwareDamian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup. autonomics 2008: 33 [doi]

2004

Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover ExperienceBarry 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. isese 2004: 117-126 [doi]

1999

Autonomy and software technology on NASA's Deep Space OneDouglas E. Bernard, Richard J. Doyle, Ed Riedel, Nicolas Rouquette, Jay Wyatt, Mike Lowry, P. Pandurang Nayak. expert, 14(3):10-15, 1999. [doi]

1998

Pushbutton Analysis Via Integration Of Industrial Tools With Formal ValidationMartin S. Feather, Julia R. Dunphy, Nicolas Rouquette. wift 1998: 140 [doi]

1994

MESA: An Interactive Modeling and Simulation Environment for Intelligent Systems AutomationsLeonard Charest, Nicolas Rouquette, Richard Doyle, Jay Wyatt, Charles Robertson. hicss 1994: 517-525

Sign in or sign up to see more results.

runs on WebDSL