Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation von Gueuziec, Baptiste, Gallois, Jean-Pierre, Boulanger, Frédéric

Volltext

An Incremental Diagnosis Algorithm of Human Erroneous Decision Making von Fouillard, Valentin, Sabouret, Nicolas, Taha, Safouan, Boulanger, Frédéric

Volltext

A formal abstract framework for modelling and testing complex software systems von Aiguier, Marc, Boulanger, Frédéric, Kanso, Bilal

Volltext

Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square Root von Todorov, Vassil, Taha, Safouan, Boulanger, Frederic, Hernandez, Armando

Volltext

Prevalence of hepatitis C, hepatitis B and HIV and their therapeutic management in a French public psychiatric hospital von Icole, Foulques, Haghnejad, Vincent, Jeannoel, Cyrille, Besançon, Philippe, Boulanger, Frédéric, Bronowicki, Jean-Pierre

Volltext

Exploring Multi-Paradigm Modeling Techniques von Hardebolle, Cécile, Boulanger, Frédéric

Volltext

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking von Todorov, Vassil, Taha, Safouan, Boulanger, Frédéric

Volltext

A Symbolic Operational Semantics for TESL: With an Application to Heterogeneous System Testing von Nguyen Van, Hai, Balabonski, Thibaut, Boulanger, Frédéric, Keller, Chantal, Valiron, Benoît, Wolff, Burkhart

Volltext

On the Semantics of Polychronous Polytimed Specifications von Nguyen Van, Hai, Balabonski, Thibaut, Boulanger, Frédéric, Keller, Chantal, Valiron, Benoît, Wolff, Burkhart

Volltext

A model of domain-polymorph component for heterogeneous system design von Feredj, Mohamed, Boulanger, Frédéric, Mbobi, Aimé Mokhoo

Volltext

Exploring Multi-Paradigm Modeling Techniques: Special Issue on Multi-paradigm Modeling von HARDEBOLLE, Cécile, BOULANGER, Frédéric

Volltext

Testing of Abstract Components von Kanso, Bilal, Aiguier, Marc, Boulanger, Frédéric, Touil, Assia

Volltext

Minimum Tree Cost Quartet Puzzling von Ionescu, Tudor B., Polaillon, Géraldine, Boulanger, Frédéric

Volltext

Modeling heterogeneous points of view with modhel'x von Boulanger, Frédéric, Jacquet, Christophe, Hardebolle, Cécile, Rouis, Elyes

Volltext

Semantic Adaptation for Models of Computation von Boulanger, F., Hardebolle, C., Jacquet, C., Marcadet, D.

Volltext

ModHel’X: A Component-Oriented Approach to Multi-Formalism Modeling von Giese, Holger

Volltext

Bridging the Chasm between Executable Metamodeling and Models of Computation von Combemale, Benoît, Hardebolle, Cécile, Jacquet, Christophe, Boulanger, Frédéric, Baudry, Benoit

Volltext

Semantic Adaptation Using CCSL Clock Constraints von Boulanger, Frédéric, Dogui, Ayman, Hardebolle, Cécile, Jacquet, Christophe, Marcadet, Dominique, Prodan, Iuliana

Volltext

Application de l'ingénierie dirigée par les modèles à la conception de Smart Grids : approche par cosimulation avec FMI von Oudart, David

Volltext bestellen

METHOD FOR SYNCHRONIZING A SET OF DEVICES AND CORRESPONDING SYNCHRONIZATION SYSTEM von TEMPLIER, Michaël, BOULANGER, Frédéric, MARCADET, Dominique, RAYROLE, Martin, TAHA, Safouan, FITTERER, Eric

Volltext bestellen