Recognition of prime graphs from a prime subgraph von Ille, P., Villemaire, R.

Volltext

Specifying and Validating Data-Aware Temporal Web Service Properties von Halle, S., Villemaire, R., Cherkaoui, O.

Volltext

Runtime Enforcement of Web Service Message Contracts with Data von Halle, S., Villemaire, R.

Volltext

Runtime Verification of Web Service Interface Contracts von Halle, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.

Volltext

Runtime Monitoring of Message-Based Workflows with Data von Halle, S., Villemaire, R.

Volltext

Configuration logic: a multi-site modal logic von Villemaire, R., Halle, S., Cherkaoui, O.

Volltext

Firewall anomaly detection with a model checker for visibility logic von Khorchani, B., Halle, S., Villemaire, R.

Volltext

Joining k- and l-recognizable sets of natural numbers von Villemaire, Roger

Volltext

196: Do adverse childhood experiences make teenagers more vulnerable? A study about youth in custodial facilities von Ratnani, Y, Frappier, J, Krajden, R Villemaire, Bergeron, S, Lambert, Y, Duchesne, M, Chartrand, R, McDuff, P

Volltext

Flexible and reliable messaging using runtime monitoring von Halle, S., Villemaire, R.

Volltext

Strong Temporal, Weak Spatial Logic for Rule Based Filters von Villemaire, R., Halle, S.

Volltext

An Approximation Semantics for the Propositional Mu-Calculus von Villemaire, Roger

Volltext

ValidMaker: A tool for managing device configurations using logical constraints von Halle, S., Ngoupe, E. L., Nijdam, G., Cherkaoui, O., Valtchev, P., Villemaire, R.

Volltext

Logic and p-recognizable sets of integers von BRUYERE, V, HANSEL, G, MICHAUX, C, VILLEMAIRE, R

Volltext

Satisfying a Fragment of XQuery by Branching-Time Reduction von Halle, S., Villemaire, R.

Volltext

The theory of <N,+,Vk,Vl is undecidable von VILLEMAIRE, R

Volltext

A Formal Validation Model for the Netconf Protocol von Hallé, Sylvain, Deca, Rudy, Cherkaoui, Omar, Villemaire, Roger, Puche, Daniel

Volltext

Health Impact of Adverse Childhood Experiences Among Youths in Custody: The Significant Contribution of Sexual Abuse von Ratnani, Y, Hébert, M, Robichaud, M, Duchesne, M, Frappier, J-Y, Villemaire-Krajden, R, Bergeron, S, Lambert, Y, Chartrand, R, Mcduff, P

Volltext

The theory of [formula omitted] is undecidable von Villemaire, Roger

Volltext

Model Checking Data-Aware Workflow Properties with CTL-FO von Halle, S., Villemaire, R., Cherkaoui, O., Ghandour, B.

Volltext