Publications
Conférences avec comité de lecture/Refereed Conferences
- 2009
- Roger Villemaire,Sylvain Hallé: Strong Temporal, Weak Spatial Logic for Rule Based Filters, 16th International Symposium on Temporal Representation and Reasoning (TIME 2009), IEEE Computer Society Press, pp. 115-121.
- Sylvain Hallé, Roger Villemaire: Browser-based Enforcement of Interface Contracts in Web Applications with BeepBeep, 21th International Conference on Computer Aided Verification (CAV 2009), pp. 648-653.
- Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Web Service Choreographies Using Streaming XML, 24th Annual ACM Symposium on Applied Computing, Track on Service Oriented Architectures and Programming (SAC-SOAP 2009), pp. 1851-1858.
- 2008
- Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Message-Based Workflows with Data, 12th IEEE International EDOC Conference (EDOC 2008), IEEE Computer Society Press, pp. 63-72.
- Sylvain Hallé, Roger Villemaire: XML Methods for Validation of Temporal Properties on Message Traces With Data, 16th International Conference on Cooperative Information Systems (CoopIS 2008), Springer LNCS vol. 5331, pp. 337-353.
- Sylvain Hallé, Roger Villemaire: Satisfying a Fragment of XQuery by Branching-Time Reduction, 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), IEEE Computer Society Press, pp. 72-76.
- 2007
- Sylvain Hallé, Roger Villemaire, Cherkaoui Omar, Jérôme Tremblay, Boubker Ghandour: Extending Model Checking to Data-Aware Temporal Properties of Web Services, 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Springer LNCS vol. 4937, pp. 31-45.
- Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-aware Workflow Properties with CTL-FO+, 11th IEEE International EDOC Conference (EDOC 2007), IEEE Computer Society Press, pp. 267-267.
- Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations, Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility (NetCon 2005), IFIP serie, Springer, pp. 269-282.
- 2006
- Roger Villemaire, Sylvain Hallé, Rudi Deca, Omar Cherkaoui: Skolem Functions and Herbrand Universes for a Tree Generalization of First-Order Logic, Fifth Mexican International Conference on Artificial Intelligence, Special Session, IEEE Computer Society Press, pp. 22-31.
- Sylvain Hallé, Éric Wenaas, Omar Cherkaoui, Roger Villemaire: Using Configuration Logic for Self-configuration of Network Devices, Autonomic Networking 2006, Springer LNCS vol. 4195, pp. 36-49.
- Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME 2006), IEEE Computer Society Press, pp. 27-35.
- Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Sequential Dependencies in Configuration Operations, 7ème Colloque francophone de Gestion de Réseaux et de Services (GRES 2006), pp. 112-123.
- 2005
2004
- Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol, 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2004), Springer LNCS vol. 3278, pp. 147-158.
- Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices, 7th IFIP/IEEE International Conference on Management of Multimedia Networks and Services (MMNS 2004), Springer LNCS vol. 3271, pp. 176-188.
- 2002
- Roger Villemaire: An Approximation Semantics for the Propositional Mu-Calculus. Mathematical Foundations of Computer Science (MFCS 2002), Springer LNCS vol. 2420, pp. 637-650.
- 1993
- Christian Michaux, Roger Villemaire: Cobham's Theorem seen through Büchi's Theorem. Automata, Languages and Programming (ICALP 1993), Springer LNCS vol. 700, pp. 325-334.
- Christian Michaux, Roger Villemaire: Open questions around Büchi and Presburger arithmetics, Proceeding of the Association for Symbolic Logic European Summer Meeting (Logic Colloquium 93), Logic: from Foundations to Applications, pp. 353-383.
- 1992
- Roger Villemaire: Joining k- and l-Recognizable Sets of Natural Numbers. 9th Annual Symposium on Theoretical Aspects of Computer Science (STACS 1992), Springer LNCS vol. 577, pp. 83-94.
Revues avec comité de lecture/Refereed Journal
- 1996
- Christian Michaux, Roger Villemaire: Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. Annals of Pure Applied Logic 77(3), pp. 251-277 (1996).
- 1992
- Roger Villemaire: Theories of Modules Closed Under Direct Products, Journal of Symbolic Logic 57(2), pp. 515-521 (1992).
- Roger Villemaire: The Theory of (N, +, Vk, V1) is Undecidable. Theoretical Computer Science 106(2), pp. 337-349 (1992).
- Roger Villemaire: (N,+,V2,V3) est indécidable, C.R. Académie des Sciences de Paris, t. 314, Série I, pp. 775-777 (1992).
- Roger Villemaire: Completely Decomposable Abelian Groups Aleph-0 Categorical over a Subgroup, Archive for Mathematical Logic, 31, p 263-275 (1992).
- Roger Villemaire: Abelian Groups Aleph-0 Categorical over a Subgroup, Journal of Pure and Applied Algebra, vol. 69, No 2, pp. 193-204 (1990).
- Roger Villemaire: Catégoricité relative et groupes abéliens, C.R. Académie des Sciences de Paris, t. 309, Série I, p 747-749 (1989).
- 1994
Contribution à une monographie avec comité de lecture/Contribution to a refereed monograph
- 2010
- Sylvain Hallé, Roger Villemaire: XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts, In Changqing Li, Tok Wang Ling (eds.), Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies, IGI Global, ISBN is 1-61520-727-9, 2010.
- 2007
- Roger Villemaire, Michel Hébert: Theories of abelian Groups and Modules preserved under Extensions, In Frieder Haug, Benedikt Löwe, Torsten Schatz (eds.), Algebra, Logic, Set Theory, Festschrift für Ulrich Felgner zum 65. Geburtstag, College Publications, London, 2007 [Studies in Logic, Volume 4].
Présentations courtes avec comité de lecture/Refereed Short Presentations
- 2005
- Roger Villemaire, Sylvain Hallé, Omar Cherkaoui and Rudy Deca: A Hierarchical Logic for Network Configuration, 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12).
- 2004
- Roger Villemaire: Lazy Structure Preserving Translation of Boolean Expressions into CNF, Logic in Computer Science (LICS 2004).
Présentations par affiches/Posters
- 2005
- Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Sequential Aspects of Network Configurations. (Poster), 9th IFIP/IEEE International Symposium on Integrated Network Management.
Autres présentations/Other presentations
- 2005
- Roger Villemaire, Sylvain Hallé, Omar Cherkaoui, Rudy Deca: A first-order logic with a forest of variables. (Contributed talk), Association for Symbolic Logic 2006 Annual Meeting, Montreal, Canada.
Rapports de recherche/Research reports
Présentations au séminaire de logique/Talks at the logic seminar
- 2008-2009
- Groupe de travail HPT/HPT workgroup
- 2006-2007
- Roger Villemaire, Théorème de représentation des familles intervallaires, 2007/02/01.
- Roger Villemaire, La logique du fini, 2007/04/19
Pour tout commentaire/Comments to 