Nicolas Rouquette

According to our database, Nicolas Rouquette authored at least 19 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Early Design Exploration of Aerospace Systems Using Assume-Guarantee Contracts.

Nicolas Rouquette, Alessandro Pinto, Inigo Incer

CoRR, 2024

2023

Computational Hypergraph Discovery, a Gaussian Process framework for connecting the dots.

Théo Bourdais, Pau Batlle, Xianjin Yang, Ricardo Baptista, Nicolas Rouquette, Houman Owhadi

CoRR, 2023

openCAESAR: Balancing Agility and Rigor in Model-Based Systems Engineering.

Maged Elaasar, Nicolas Rouquette, David A. Wagner, Bentley James Oakes, Abdelwahab Hamou-Lhadj, Mohammad Hamdaqa

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2016

Simplifying OMG MOF-Based Metamodeling.

Nicolas F. Rouquette

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2013

Integrating Analytical Models with Descriptive System Models: Implementation of the OMG SyML Standard for the Tool-specific Case of MapleSim and MagicDraw.

Sebastian J. I. Herzig, Nicolas F. Rouquette, Stephen Forrest, J. Steven Jenkins

Proceedings of the Conference on Systems Engineering Research, 2013

Mining Requirements Knowledge from Operational Experience.

Robyn R. Lutz, Milton Lavin, J. Lux, K. Peters, Nicolas F. Rouquette

Proceedings of the Managing Requirements Knowledge., 2013

2010

Programming and Validation Techniques for Reliable Goal-driven Autonomic Software.

Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup

Proceedings of the Autonomic Communication, 2010

2009

Requirements Analysis for an Integrated OCL Development Environment.

Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Using Defect Reports to Build Requirements Knowledge in Product Lines.

Robyn R. Lutz, Nicolas Rouquette

Proceedings of the Second International Workshop on Managing Requirements Knowledge, 2009

Semantically Enhanced Containers for Concurrent Real-Time Systems.

Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

Verification and semantic parallelization of goal-driven autonomous software.

Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup

Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2004

Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience.

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

Proceedings of the 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 2004

Software Organization to Facilitate Dynamic Processor Scheduling.

Raymond K. Clark, E. Douglas Jensen, Nicolas F. Rouquette

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

2003

UML/MDA Reality Check: Heterogenous Architecture Style.

Nicolas F. Rouquette

Proceedings of the «UML» 2003, 2003

2000

Remote Agent: An Autonomous Control System for the New Millennium.

Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung

Proceedings of the ECAI 2000, 2000

1999

Autonomy and software technology on NASA's Deep Space One.

Douglas E. Bernard, Richard J. Doyle, Ed Riedel, Nicolas Rouquette, Jay Wyatt, Mike Lowry, P. Pandurang Nayak

IEEE Intell. Syst., 1999

1998

"Pushbutton" Analysis Via Integration Of Industrial Tools With Formal Validation.

Martin S. Feather, Julia R. Dunphy, Nicolas Rouquette

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1996

Building Steady-State Simulators via Hierarchical Feedback Decomposition.

Nicolas F. Rouquette

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1994

MESA: An Interactive Modeling and Simulation Environment for Intelligent Systems Automations.

Leonard Charest, Nicolas Rouquette, Richard J. Doyle, Jay Wyatt, Charles Robertson

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994