Synthesis of distributed testers from true-concurrency models of reactive systems

Validation du modele de gestion d'interconnexion de commutateurs a l'aide de systemes de transitions etiquetees

Nataf, Emmanuel
Festor, Olivier
Schaff, Andre
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1996

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet RE...

Computing concurrency measure with generating functions

Geniet, Dominique
Poitiers Univ., 86 (France). Lab. d'Informatique (LIUP)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22556, issue : a.1991 n....

A reactive object model for concurrent engineering design

Nguyen, Toan
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1995

Programme 3 - Intelligence artificielle, systemes cognitifs et interaction homme-machine. Projet SHO...

Distributed reactive machines

Boussinot, Frederic
Susini, Jean-Ferdy
Hazard, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 1 - Reseaux et systemes - Projet MeijeSIGLEAvailable from INIST (FR), Document Supply Service,...

Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems

Jard, Claude

January 2002

Automatic synthesis of test cases for conformance testing has been principall- y developed with the ...

Measuring concurrency of regular distributed computations

Bareau, Cyrille
Caillaud, Benoit
Jard, Claude
Thoroval, Rene
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet Pam...

Distributed monitoring of concurrent and asynchronous systems Extended version

Jard, Claude
Fabre, Eric
Haar, Stefan
Benveniste, Albert
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2Available from INIST (FR),...

Designing real-time dependable distributed systems

Le Lann, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesSIGLEAvailab...

Heterogeneous reactive systems modeling and correct-by-construction deployment

Benveniste, Albert
Carloni, Luca P.
Sangiovanni-Vincentelli, Alberto
Caspi, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet S4SIGLEAvailable from INIST (FR), Document Supply Service, un...

Tracking causality in distributed systems A suite of efficient protocols

Helary, Jean-Michel
Melideo, Giovanna
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

On modeling consistent checkpoints and the domino effect in distributed systems

Baldoni, Roberto
Helary, Jean-Michel
Raynal, Michel
Mostefaoui, Achour
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programe 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet Adp...

Le test ET : test d'adequation d'un modele central a une queue de distribution

Diebolt, Jean
Garrido, Myriam
Girard, Stephane
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet IS2Available from INIST (FR), Do...

Sequential consistency in distributed systems : theory and implementation

Mizuno, M.
Raynal, M.
Zhou, J.Z.
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet ADP...

Reactive shared variables based systems

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Validation du modele de gestion d'interconnexion de commutateurs a l'aide de systemes de transitions etiquetees

Nataf, Emmanuel
Festor, Olivier
Schaff, Andre
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1996

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet RE...

Computing concurrency measure with generating functions

Geniet, Dominique
Poitiers Univ., 86 (France). Lab. d'Informatique (LIUP)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22556, issue : a.1991 n....

A reactive object model for concurrent engineering design

Nguyen, Toan
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1995

Programme 3 - Intelligence artificielle, systemes cognitifs et interaction homme-machine. Projet SHO...

Distributed reactive machines

Boussinot, Frederic
Susini, Jean-Ferdy
Hazard, Laurent
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1998

Theme 1 - Reseaux et systemes - Projet MeijeSIGLEAvailable from INIST (FR), Document Supply Service,...

Synthesis of Distributed Testers from True-concurrency Models of Reactive Systems

Jard, Claude

January 2002

Automatic synthesis of test cases for conformance testing has been principall- y developed with the ...

Measuring concurrency of regular distributed computations

Bareau, Cyrille
Caillaud, Benoit
Jard, Claude
Thoroval, Rene
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet Pam...

Distributed monitoring of concurrent and asynchronous systems Extended version

Jard, Claude
Fabre, Eric
Haar, Stefan
Benveniste, Albert
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 4 - Simulation et optimisation de systemes complexes - Projet Sigma2Available from INIST (FR),...

Designing real-time dependable distributed systems

Le Lann, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 78 - Rocquencourt (France). Unite de Recherche de Rocquencourt

January 1991

Programme 1 : architectures paralleles, bases de donnees, reseaux et systemes distribuesSIGLEAvailab...

Heterogeneous reactive systems modeling and correct-by-construction deployment

Benveniste, Albert
Carloni, Luca P.
Sangiovanni-Vincentelli, Alberto
Caspi, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst . de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2003

Theme 1 - Reseaux et systemes - Projet S4SIGLEAvailable from INIST (FR), Document Supply Service, un...

Tracking causality in distributed systems A suite of efficient protocols

Helary, Jean-Michel
Melideo, Giovanna
Raynal, Michel
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 2000

Theme 1 - Reseaux et systemes - Projet ADPSIGLEAvailable from INIST (FR), Document Supply Service, u...

On modeling consistent checkpoints and the domino effect in distributed systems

Baldoni, Roberto
Helary, Jean-Michel
Raynal, Michel
Mostefaoui, Achour
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1995

Programe 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet Adp...

Le test ET : test d'adequation d'un modele central a une queue de distribution

Diebolt, Jean
Garrido, Myriam
Girard, Stephane
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Montbonnot-Saint-Martin (France). Unite de Recherche Rhone-Alpes

January 2001

Theme 4 - Simulation et optimisation de systemes complexes - Projet IS2Available from INIST (FR), Do...

Sequential consistency in distributed systems : theory and implementation

Mizuno, M.
Raynal, M.
Zhou, J.Z.
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1994

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues. Projet ADP...

Reactive shared variables based systems

Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

Distributing synchronous programs on a loosely synchronous, distributed architecture

Benveniste, Albert
Caspi, Paul
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1999

Theme 1 - Reseaux et systemes - Projet AdpSIGLEAvailable from INIST (FR), Document Supply Service, u...

Validation du modele de gestion d'interconnexion de commutateurs a l'aide de systemes de transitions etiquetees

Nataf, Emmanuel
Festor, Olivier
Schaff, Andre
Institut National de Recherche en Informatique et en Automatique (INRIA), 54 - Villers-les-Nancy (France). Unite de Recherche de Lorraine

January 1996

Programme 1 - Architectures paralleles, bases de donnees, reseaux et systemes distribues - Projet RE...

Computing concurrency measure with generating functions

Geniet, Dominique
Poitiers Univ., 86 (France). Lab. d'Informatique (LIUP)

January 1991

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 22556, issue : a.1991 n....

A reactive object model for concurrent engineering design

Nguyen, Toan
Institut National de Recherche en Informatique et en Automatique (INRIA), 38 - Grenoble (France). Unite de Recherche Rhone-Alpes

January 1995

Programme 3 - Intelligence artificielle, systemes cognitifs et interaction homme-machine. Projet SHO...

Synthesis of distributed testers from true-concurrency models of reactive systems

Abstract

Extracted data

Synthesis of distributed testers from true-concurrency models of reactive systems

Abstract

Extracted data

Related items

Related items