1. Recherche
89 résultats  enregistrer la recherche
...
hal-00650313v1  Communication dans un congrès
Ajay Kattepur, Albert Benveniste, Claude Jard. Optimizing Decisions in Web Services Orchestrations
Gerti Kappel and Zakaria Maamar and Hamid R. Motahari-Nezhad. 9th International Conference on Service-Oriented Computing, Dec 2011, Paphos, Cyprus. Springer, 7084, 2011, Lecture Notes in Computer Science. <10.1007/978-3-642-25535-9_6>
...
inria-00073186v1  Rapport
Loïc Hélouët, Claude Jard, Benoît Caillaud. An Effective Equivalence for Sets of Scenarios Represented by HMSCs
[Research Report] RR-3499, INRIA. 1998
...
inria-00073336v1  Rapport
Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane et al.  BDl, A Language of Distributed Reactive Objects
[Research Report] RR-3353, INRIA. 1998
...
inria-00074990v1  Rapport
Claire Diehl, Claude Jard. Interval approximations of message causality in distributed execution : observation d'exécutions réparties datation par intervalles : version anglaise et française
[Rapport de recherche] RR-1571, INRIA. 1991
...
inria-00075034v1  Rapport
Jean-Marc Jézéquel, Claude Jard. L'Expérimentation d'algorithmes distribués sur machines parallèles avec Echidna
[Rapport de recherche] RR-1528, INRIA. 1991
hal-00925467v1  Communication dans un congrès
Thomas Chatain, Claude Jard. Back in Time Petri Nets
FORMATS'13, 2013, Argentina. Springer, 8053, pp.91-105, 2013, Lecture Notes in Computer Science
...
inria-00074809v1  Rapport
Claire Diehl, Claude Jard, Jean-Xavier Rampon. Computing on-line the covering graph of the ideal lattice of posets
[Research Report] RR-1864, INRIA. 1993
...
inria-00074812v1  Rapport
Claude Jard, Thierry Jéron, Jean-Claude Fernandez, Laurent Mounier. On-the-fly verification of finite transition systems
[Research Report] RR-1861, INRIA. 1993
...
inria-00075100v1  Rapport
Claude Jard, Thierry Jéron. Bounded-memory algorithms for verification on-the-fly
[Research Report] RR-1462, INRIA. 1991
...
inria-00076958v1  Rapport
Claire Diehl, Claude Jard, Jean-Xavier Rampon. Reachability analysis on distributed executions
[Research Report] RR-1720, INRIA. 1992
...
inria-00076963v1  Rapport
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval. Correctness of automated distribution of sequential programs
[Research Report] RR-1724, INRIA. 1992
...
inria-00073884v1  Rapport
Claude Jard, Jean-Marc Jézéquel, Laurence Nedelka. An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
[Research Report] RR-2808, INRIA. 1996
...
inria-00074400v1  Rapport
Guy-Vincent Jourdan, Jean-Xavier Rampon, Claude Jard. Computing on-line the lattice of maximal antichains of posets
[Research Report] RR-2271, INRIA. 1994
...
inria-00074336v1  Rapport
Benoît Caillaud, Paul Caspi, Alain Girault, Claude Jard. Distributing Automata for Asynchronous Networks of Processors
[Research Report] RR-2341, INRIA. 1994
...
inria-00074088v1  Rapport
Eddy Fromentin, Claude Jard, Guy-Vincent Jourdan, Michel Raynal. On-the-Fly Analysis of Distributed Computations
[Research Report] RR-2595, INRIA. 1995
...
inria-00073711v1  Rapport
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites
[Research Report] RR-2987, INRIA. 1996
...
inria-00073716v1  Rapport
Renée Boubour, Claude Jard. Une approche pour des capteurs d'alarmes intelligents dans les réseaux
[Rapport de recherche] RR-2982, INRIA. 1996
...
inria-00073775v1  Rapport
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurence Nedelka, César Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology
[Research Report] RR-2923, INRIA. 1996
...
inria-00074432v1  Rapport
Claude Jard, Thierry Jéron, Guy-Vincent Jourdan, Jean-Xavier Rampon. A General approach to trace-checking in distributed computing systems
[Research Report] RR-2238, INRIA. 1994
...
inria-00074281v1  Rapport
Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval. Measuring Concurrency of Regular Distributed Computations
[Research Report] RR-2394, INRIA. 1994
...
inria-00075673v1  Rapport
Omar Drissi-Kaitouni, Claude Jard. Compiling temporal logic specifications into observers
[Research Report] RR-0881, INRIA. 1988
...
inria-00075918v1  Rapport
Claude Jard, Omar Drissi-Kaitouni. Deriving trace checkers for distributed systems
[Research Report] RR-0635, INRIA. 1987
...
inria-00000342v1  Rapport
Thomas Chatain, Claude Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets
[Research Report] PI 1740, 2005
...
hal-00714057v1  Communication dans un congrès
Ajay Kattepur, Albert Benveniste, Claude Jard. Negotiation Strategies for Probabilistic Contracts in Web Services Orchestrations
19th IEEE International Conference on Web Services, Jun 2012, Honolulu, Hawaii, United States. 2012
inria-00638342v1  Communication dans un congrès
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Distributed Monitoring of Concurrent and Asynchronous Systems
Amadio, Roberto M. and Lugiez, Denis. Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. Springer, 2761, pp.1-26, 2003
inria-00638345v1  Communication dans un congrès
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach
Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190, 2002
inria-00638305v1  Communication dans un congrès
Gregor Von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Systems Specified as Partial Order Input\slashOutput Automata
Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru. Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japan. Springer, 5047, pp.169-183, 2008, <10.1007/978-3-540-68524-1_13>
inria-00638306v1  Communication dans un congrès
Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Input\slashOutput Partial Order Automata
Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang. Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. Springer, 4581, pp.171-185, 2007, <10.1007/978-3-540-73066-8_12>
inria-00638299v1  Communication dans un congrès
Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar et al.  Event Structure Semantics of Orc
Dumas, Marlon and Heckel, Reiko. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM'07), 2008, Brisbane, Australia, Australia. Springer, 4937, pp.154-168, 2008, <10.1007/978-3-540-79230-7_11>
inria-00638311v1  Communication dans un congrès
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based web services
Proceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, United States. IEEE Computer Society Press, pp.126-133, 2007, <10.1109/ICWS.2007.144>

Contact


archive-ouverte@inria.fr