 | 2011 |
| 34 |  | Vojislav D. Radonjic,
Soheila Bashardoust-Tajali,
Jean-Pierre Corriveau,
Dave Arnold:
A scenario and design pattern based tool for modeling and evaluating implementations of event-based reactive systems.
DEBS 2011: 383-384 |
| 2010 |
| 33 |  | Dave Arnold,
Jean-Pierre Corriveau,
Wei Shi:
Scenario-Based Validation: Beyond the User Requirements Notation.
Australian Software Engineering Conference 2010: 75-84 |
| 32 |  | David Arnold,
Jean-Pierre Corriveau,
Wei Shi:
Reconciling Offshore Outsourcing with Model Based Testing.
SEAFOOD 2010: 6-22 |
| 31 |  | Dave Arnold,
Jean-Pierre Corriveau,
Wei Shi:
Modeling and Validating Requirements Using Executable Cotnracts and Scenarios.
SERA 2010: 311-320 |
| 30 |  | Dave Arnold,
Jean-Pierre Corriveau,
Wei Shi:
Validation Against Actual Behavior: Still a Challenge for Testing Tools.
Software Engineering Research and Practice 2010: 212-218 |
| 29 |  | Wei Shi,
Michel Barbeau,
Jean-Pierre Corriveau:
Detection of the Evil ring attack in wireless sensor networks using cross verification.
WOWMOM 2010: 1-6 |
| 2009 |
| 28 |  | Khaled El Emam,
Fida Kamal Dankar,
Romeo Issa,
Elizabeth Jonker,
Daniel Amyot,
Elise Cogo,
Jean-Pierre Corriveau,
Mark Walker,
Sadrul Chowdhury,
Regis Vaillancourt,
Tyson Roffey,
Jim Bottomley:
Research Paper: A Globally Optimal k-Anonymity Method for the De-Identification of Health Data.
JAMIA 16(5): 670-682 (2009) |
| 2008 |
| 27 |  | Dave Arnold,
Jean-Pierre Corriveau:
Automated Instrumentation of Contracts and Scenarios for Requirements Validation in .NET.
AST 2008: 63-66 |
| 26 |  | Soheila Bashardoust-Tajali,
Jean-Pierre Corriveau:
On Extracting Tests from a Testable Model in the Context of Domain Engineering.
ICECCS 2008: 98-107 |
| 25 |  | Dave Arnold,
Jean-Pierre Corriveau:
Modeling Enhanced Scenarios for Automated Instrumentation.
SERA 2008: 290-297 |
| 2007 |
| 24 |  | Hao Chen,
Jean-Pierre Corriveau:
Security Features and Technologies for E-business Architecture Design.
IMECS 2007: 1150-1156 |
| 23 |  | Dave Arnold,
Jean-Pierre Corriveau,
Vojislav D. Radonjic:
Open framework for conformance testing via scenarios.
OOPSLA Companion 2007: 775-776 |
| 22 |  | Jean-Pierre Corriveau:
Testable Requirements for Offshore Outsourcing.
SEAFOOD 2007: 27-43 |
| 2005 |
| 21 |  | Dave Arnold,
Toby McClean,
Jean-Pierre Corriveau,
Vojislav D. Radonjic:
Constraints in C# using the OCL 2.0.
IASTED Conf. on Software Engineering 2005: 325-330 |
| 20 |  | Vojislav D. Radonjic,
Jean-Pierre Corriveau:
Making Patterns Better Design Tools: Requirements Analysis for a Family of Navigators for Design Pattern Catalogs.
IASTED Conf. on Software Engineering 2005: 349-354 |
| 19 |  | Jean-Pierre Corriveau,
Bo Tian,
Vojislav D. Radonjic:
On Facilitating the Reuse of C++ Graph Libraries.
IASTED Conf. on Software Engineering 2005: 7-12 |
| 2004 |
| 18 |  | Wei Shi,
Jean-Pierre Corriveau:
An Executable Model for a Family of Election Algorithms.
IPDPS 2004 |
| 17 |  | Wei Shi,
Jean-Pierre Corriveau:
System family engineering for leader election in ring topology.
Parallel and Distributed Computing and Networks 2004: 398-403 |
| 16 |  | Juan Pablo Zamora Zapata,
Francis Bordeleau,
Jean-Pierre Corriveau:
Validation of Platform Specific Models against Platform Independent Models in the Context of Standard Specifications: A Model Driven Architecture Approach.
Software Engineering Research and Practice 2004: 200-206 |
| 2001 |
| 15 |  | Francis Bordeleau,
Jean-Pierre Corriveau:
On the Importance of Inter-scenario Relationships in Hierarchical State Machine Design.
FASE 2001: 156-170 |
| 14 |  | Walid S. Saba,
Jean-Pierre Corriveau:
Plausible Reasoning and the Resolution of Quantifier Scope Ambiguities.
Studia Logica 67(2): 271-289 (2001) |
| 2000 |
| 13 |  | Francis Bordeleau,
Jean-Pierre Corriveau,
Bran Selic:
A Scenario-Based Approach to Hierarchical State Machine Design.
ISORC 2000: 78-85 |
| 1997 |
| 12 |  | Walid S. Saba,
Jean-Pierre Corriveau:
A Pragmatic Treatment of Quantification in Natural Language.
AAAI/IAAI 1997: 610-615 |
| 11 |  | Walid S. Saba,
Jean-Pierre Corriveau:
Quantification and Commonsense Reasoning.
AAAI/IAAI 1997: 844 |
| 1996 |
| 10 |  | Jean-Pierre Corriveau:
Traceability Process for Large OO Projects.
IEEE Computer 29(9): 63-68 (1996) |
| 1995 |
| 9 |  | Jean-Pierre Corriveau:
A time-constrained architecture for cognition.
HICSS (3) 1995: 13-22 |
| 8 |  | Walid S. Saba,
Jean-Pierre Corriveau:
Quantification and Cognitive Constraints in Natural Language Understanding.
SBIA 1995: 333-342 |
| 1994 |
| 7 |  | Vojislav D. Radonjic,
Moshe Krieger,
Jean-Pierre Corriveau:
A response oriented paradigm for software engineering.
CASCON 1994: 58 |
| 6 |  | Jean-Pierre Corriveau,
Craig Hayashi:
A Strategy for Realizing Traceability in an Object-Oriented Design Environment.
CAST 1994: 191-204 |
| 5 |  | Jean-Pierre Corriveau:
On the Design of a Concurrent Object-Oriented Spreading Activation Architecture.
HICSS (3) 1994: 73-81 |
| 4 |  | Greg Adams,
Jean-Pierre Corriveau:
Capturing Object Interactions.
TOOLS (13) 1994: 283-292 |
| 1993 |
| 3 |  | Wilf R. LaLonde,
John R. Pugh,
Paul White,
Jean-Pierre Corriveau:
Towards unifying analysis, design, and implementation in object-oriented environments.
CASCON 1993: 563-569 |
| 2 |  | Jean-Pierre Corriveau,
Bill Macready:
On Driving and Monitoring Smalltalk-80 Applications Using Unix Spreadsheets.
ICCI 1993: 534-538 |
| 1 |  | Jean-Pierre Corriveau,
Larry Williams:
On the Evolution of a Framework for the ObjecTime Toolset.
TOOLS (11) 1993: 337-349 |