BibSonomy :: author  ::

bookmarks

publications

(14)

• Extending Model Checking to Data-Aware Temporal Properties of Web Services.
  Sylvain Hallé and Roger Villemaire and Omar Cherkaoui and Jérôme Tremblay and Boubker Ghandour WS-FM 31-45 (2007)
  to dblp by dblp on 2008-04-15 00:00:00
  | URL | BibTeX  
• Model Checking Data-Aware Workflow Properties with CTL-FO+.
  Sylvain Hallé and Roger Villemaire and Omar Cherkaoui and Boubker Ghandour EDOC 267-278 (2007)
  to dblp by dblp on 2008-01-13 00:00:00
  | URL | BibTeX  
• Modelling the Temporal Aspects of Network Configurations.
  Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire and Daniel Puche Net-Con 269-282 (2005)
  to dblp by dblp on 2007-11-09 00:00:00
  | URL | BibTeX  
• CTL Model Checking for Labelled Tree Queries.
  Sylvain Hallé and Roger Villemaire and Omar Cherkaoui TIME 27-35 (2006)
  to dblp by dblp on 2007-01-17 00:00:00
  | URL | BibTeX  
• Self-configuration of Network Devices with Configuration Logic.
  Sylvain Hallé and Éric Wenaas and Roger Villemaire and Omar Cherkaoui Autonomic Networking 36-49 (2006)
  to dblp by dblp on 2006-11-24 00:00:00
  | URL | BibTeX  
• Configuration Logic: A Multi-site Modal Logic.
  Roger Villemaire and Sylvain Hallé and Omar Cherkaoui TIME 131-137 (2005)
  to dblp by dblp on 2005-06-29 00:00:00
  | URL | BibTeX  
• Automated Validation of Service Configuration on Network Devices.
  Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire MMNS 176-188 (2004)
  to dblp by dblp on 2004-12-15 00:00:00
  | URL | BibTeX  
• A Formal Validation Model for the Netconf Protocol.
  Sylvain Hallé and Rudy Deca and Omar Cherkaoui and Roger Villemaire and Daniel Puche DSOM 147-158 (2004)
  to dblp by dblp on 2004-11-05 00:00:00
  | URL | BibTeX  
• Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems.
  Christian Michaux and Roger Villemaire Ann. Pure Appl. Logic 77 251-277 (1996)
  to dblp by dblp on 2003-11-28 00:00:00
  | URL | BibTeX  
• Theories of Modules Closed Under Direct Products.
  Roger Villemaire J. Symb. Log. 57 515-521 (1992)
  to dblp by dblp on 2003-11-20 00:00:00
  | URL | BibTeX