DynAMICS: A Tool-Based Method for the Specification and Dynamic Detection of Android Behavioral Code Smells von Prestat, Dimitri, Moha, Naouel, Villemaire, Roger, Avellaneda, Florent

Volltext

An empirical study of Android behavioural code smells detection von Prestat, Dimitri, Moha, Naouel, Villemaire, Roger

Volltext

HOMOGENEITY AND FIX-POINTS: GOING FORTH von VILLEMAIRE, ROGER

Volltext

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

Volltext

Quantified Boolean Solving for Achievement Games von Boucher, Steve, Villemaire, Roger

Volltext

Robust Web Data Extraction Based on Unsupervised Visual Validation von Potvin, Benoit, Villemaire, Roger

Volltext

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

Volltext

When Different Is Wrong: Visual Unsupervised Validation for Web Information Extraction von Potvin, Benoit, Villemaire, Roger

Volltext

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

Volltext

Big Players: Emotion in Twitter Communities Tweeting About Global Warming von Drown, Dennis J., Villemaire, Roger, Robert, Serge

Volltext

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

Volltext

15th International Symposium on Temporal Representation and Reasoning (Time 2008) von Hallé, Sylvain, Villemaire, Roger

Volltext

15th International Symposium on Temporal Repres Entati on and Reasoning (Time 2008) von Hallé, Sylvain, Villemaire, Roger

Volltext

Boolean Matrix Factorization with SAT and MaxSAT von Avellaneda, Florent, Villemaire, Roger

Volltext bestellen

Reasoning about visibility von Villemaire, Roger, Hallé, Sylvain

Volltext

Runtime Verification of Web Service Menace Contracts von HALLE, Sylvain, BULTAN, Tevfik, HUGHES, Graham, AIKHALAF, Muath, VILLEMAIRE, Roger

Volltext

A Declarative Approach to Network Device Configuration Correctness von Ngoupé, Éric Lunaud, Parisot, Clément, Stoesel, Sylvan, Valtchev, Petko, Villemaire, Roger, Cherkaoui, Omar, Boucher, Pierre, Hallé, Sylvain

Volltext

Model-based Runtime Verification of Web Service Interface Contracts von Halle, Sylvain, Bultan, Tevfik, Hughes, Graham, Alkhalaf, Muath, Villemaire, Roger

Volltext

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

Volltext

Logic Modelling von Villemaire, Roger

Volltext bestellen