Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Villemaire, Roger - Departement de informatique, Université du Québec à Montréal
Runtime Monitoring of Web Service Choreographies Using Streaming XML
XML Methods for Validation of Temporal Properties on Message Traces with Data
Flexible and Reliable Messaging using Runtime Monitoring Sylvain Halle
Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
Runtime Monitoring of Message-Based Workflows with Data Sylvain Halle and Roger Villemaire
Satisfying a Fragment of XQuery by Branching-Time Reduction Sylvain Halle and Roger Villemaire
Extending Model Checking to Data-Aware Temporal Properties of Web Services
Model-checking Data-Aware Temporal Workflow Properties with CTL-FO+ Sylvain Halle, Roger Villemaire, Omar Cherkaoui and Boubker Ghandour
A Formal Validation Model for the Netconf Sylvain Halle1
Rapport technique No 2009-01 Juin 2009 THE MONADIC THEORY OF MODULAR DECOMPOSITION
Homomorphism Preservation Theorems de 2. Prliminaires (1/3)
Homomorphism Preservation Theorems de 2. Prliminaires (3/3)
Graphe de Gaifman et voisinages Localits de Hanf et Gaifman
Introduction Logigue du premier ordre
Theories of abelian Groups and Modules preserved under Extensions
Skolem Functions and Herbrand Universes in a Tree Generalization of First Order Logic
Modelling the Temporal Aspects of Network Configurations
Configuration Logic: A Multi-Site Modal Logic Roger Villemaire, Sylvain Halle, Omar Cherkaoui
Strong Temporal, weak Spatial Logic for Rule Based Filters Roger Villemaire
Scalable Formula Decomposition for Propositional Satisfiability
Self-configuration of Network Devices with Configuration Logic
TUGboat, Volume 31 (2010), No. 2 1001 Drawing structured diagrams in SDDL
CTL Model Checking for Labelled Tree Queries Sylvain Halle, Roger Villemaire, Omar Cherkaoui
Automated Validation of Service Configuration on Network Devices
Homomorphism Preservation Theorems de 2. Prliminaires (2/3)
Runtime Verification for the Web A Tutorial Introduction to Interface Contracts in Web
