- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i1 |      | Anthony Monnet, Roger Villemaire: Efficient Partial Order CDCL Using Assertion Level Choice Heuristics. CoRR abs/1301.7676 (2013) |
| 2012 | ||
| j8 | | |
| j7 | | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca: A Logical Approach to Data-Aware Automated Sequence Generation. Transactions on Computational Science 15: 192-216 (2012) |
| j6 | | Sylvain Hallé, Roger Villemaire: Runtime Enforcement of Web Service Message Contracts with Data. IEEE T. Services Computing 5(2): 192-206 (2012) |
| c22 | | Bassam Khorchani, Sylvain Hallé, Roger Villemaire: Firewall anomaly detection with a model checker for visibility logic. NOMS 2012: 466-469 |
| c21 | | Sylvain Hallé, Eric Lunaud Ngoupe, Gaetan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire: ValidMaker: A tool for managing device configurations using logical constraints. NOMS 2012: 1111-1118 |
| 2010 | ||
| j5 | | Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire: Runtime Verification of Web Service Interface Contracts. IEEE Computer 43(3): 59-66 (2010) |
| c20 | | Anthony Monnet, Roger Villemaire: Scalable formula decomposition for propositional satisfiability. C3S2E 2010: 43-52 |
| c19 | | Sylvain Hallé, Roger Villemaire: Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. RV 2010: 106-121 |
| 2009 | ||
| j4 | | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: Specifying and Validating Data-Aware Temporal Web Service Properties. IEEE Trans. Software Eng. 35(5): 669-683 (2009) |
| c18 | | Sylvain Hallé, Roger Villemaire: Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep. CAV 2009: 648-653 |
| c17 | | Sylvain Hallé, Roger Villemaire: Flexible and reliable messaging using runtime monitoring. EDOCW 2009: 116-125 |
| c16 | | Sylvain Hallé, Roger Villemaire: Runtime monitoring of web service choreographies using streaming XML. SAC 2009: 2118-2125 |
| c15 | | Roger Villemaire, Sylvain Hallé: Strong Temporal, Weak Spatial Logic for Rule Based Filters. TIME 2009: 115-121 |
| 2008 | ||
| c14 | | Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Message-Based Workflows with Data. EDOC 2008: 63-72 |
| c13 | | Sylvain Hallé, Roger Villemaire: XML Methods for Validation of Temporal Properties on Message Traces with Data. OTM Conferences (1) 2008: 337-353 |
| c12 | | Sylvain Hallé, Roger Villemaire: Satisfying a Fragment of XQuery by Branching-Time Reduction. TIME 2008: 72-76 |
| 2007 | ||
| c11 | | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-Aware Workflow Properties with CTL-FO+. EDOC 2007: 267-278 |
| c10 | | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Jérôme Tremblay, Boubker Ghandour: Extending Model Checking to Data-Aware Temporal Properties of Web Services. WS-FM 2007: 31-45 |
| 2006 | ||
| c9 | | Sylvain Hallé, Éric Wenaas, Roger Villemaire, Omar Cherkaoui: Self-configuration of Network Devices with Configuration Logic. Autonomic Networking 2006: 36-49 |
| c8 | | Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries. TIME 2006: 27-35 |
| 2005 | ||
| c7 | | Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations. Net-Con 2005: 269-282 |
| c6 | | Roger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic. TIME 2005: 131-137 |
| 2004 | ||
| c5 | | Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol. DSOM 2004: 147-158 |
| c4 | | Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices. MMNS 2004: 176-188 |
| 2002 | ||
| c3 | | |
| 1996 | ||
| j3 | | Christian Michaux, Roger Villemaire: Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. Ann. Pure Appl. Logic 77(3): 251-277 (1996) |
| 1993 | ||
| c2 | | Christian Michaux, Roger Villemaire: Cobham's Ttheorem seen through Büchi's Theorem. ICALP 1993: 325-334 |
| 1992 | ||
| j2 | | Roger Villemaire: Theories of Modules Closed Under Direct Products. J. Symb. Log. 57(2): 515-521 (1992) |
| j1 | | Roger Villemaire: The Theory of (N, +, Vk, V1) is Undecidable. Theor. Comput. Sci. 106(2): 337-349 (1992) |
| c1 | | |
Data released under the ODC-BY 1.0 license — See also our legal information page