1. Recherche
83 résultats  enregistrer la recherche
...
hal-00350478v1  Communication dans un congrès
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Synthesis of Optimal Strategies Using HyTech
Workshop on Games in Design and Verification (GDV'04), 2004, Boston, United States. Elsevier, 119 (1), pp.11-31, 2005, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2004.07.006>
...
hal-00350466v1  Communication dans un congrès
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al.  UPPAAL-Tiga: Time for Playing Games!
W. Damm, H. Hermanns. 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Germany. Springer, 4590, pp.121-125, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-73368-3_14>
...
hal-00350470v1  Communication dans un congrès
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen et al.  UPPAAL-Tiga: Timed Games for Everyone
Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland
...
hal-00350475v1  Communication dans un congrès
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games
Martín Abadi, Luca de Alfaro. 16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, United States. Springer, 3653, pp.66-80, 2005, Lecture Notes in Computer Science. <10.1007/11539452>
...
hal-00350483v1  Communication dans un congrès
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Optimal Strategies in Priced Timed Game Automata
24th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), 2004, Chennai, India. Springer, 3328, pp.148-160, 2004, Lecture Notes in Computer Science. <10.1007/b104325_13>
...
hal-00872677v1  Communication dans un congrès
Mohamed Anis Dhuieb, Florent Laroche, Alain Bernard. Un compagnon virtuel d'aide à la décision : Une structuration multi-échelle de la connaissance in-extenso d'entreprise
21ème Congrès Français de Mécanique, Aug 2013, Bordeaux, France
inria-00108079v1  Rapport
Orazio Gurrieri, Paolo Castelpietra, Olivier Barriere. Using EAST-ADL with GME 2000
[Intern report] A02-R-416 || gurrieri02b, 2002
...
tel-00409897v1  Thèse
Pinot Guillaume. Coopération homme-machine pour l'ordonnancement sous incertitudes
Autre [cs.OH]. Université de Nantes, 2008. Français
...
hal-00489238v1  Article dans une revue
Olivier Henri Roux, Anne-Marie Déplanche. A T-time Petri net extension for real time-task scheduling modeling
European Journal of Automation, Hermés Science, 2002, 36 (7), pp.973--987
hal-00453471v1  Communication dans un congrès
Yvon Trinquet, Philippe Lemoine, Jean-Pierre Elloy. Un interpréteur réparti pour le langage asynchrone temps réel ELECTRE
European Control Conference, ECC'91, Jul 1991, Grenoble, France. Hermès, 2, pp.1678-1683, 1991
hal-00453462v1  Communication dans un congrès
Denis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung et al.  Execution Environment for ELECTRE Applications
3rd European Software Engineering Conference, ESEC '91, Oct 1991, Milan, Italy. Springer-Verlag, pp.147-165, 1991
...
inria-00363026v1  Article dans une revue
Franck Cassez, Claire Pagetti, Olivier Roux. A timed extension for AltaRica
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2004, 62 (3--4), pp.291--332
hal-00523936v1  Article dans une revue
Morgan Magnin, Pierre Molinaro, Olivier Henri Roux. Expressiveness of Petri Nets with Stopwatches. Discrete-time part
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 97 (1-2), pp.139-176
...
hal-00489072v1  Article dans une revue
Marc Boyer, Olivier Henri Roux. On the compared expressiveness of arc, place and transition time Petri nets
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2008, 88 (3), pp.225-249
...
hal-00940970v1  Article dans une revue
Claude Jard, Didier Lime, Olivier Henri Roux. Blending Timed Formal Models with Clock Transition Systems
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 129 (1-2), pp.85-100
hal-00523933v1  Article dans une revue
Morgan Magnin, Pierre Molinaro, Olivier Henri Roux. Expressiveness of Petri nets with stopwatches. Dense-time part
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2009, 97 (1-2), pp.111-138
inria-00100867v1  Communication dans un congrès
Françoise Simonot-Lion, Jean-Pierre Elloy. An Architecture Description Language for In-Vehicle Embedded System Development
E.F.Camacho, L.Basañez, J.-A. de la Puente. 15th Triennial World Congress of the International Federation of Automatic Control Barcelona 2002 - B'02, 2002, Barcelona, Spain, Elsevier Science, 8 p, 2002
...
hal-00463574v1  Autre publication
Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux et al.  Covert Channel Synthesis for Transducers
Research report. 2010
...
tel-00563994v1  Thèse
Benoît Guédas. Proposition de compromis pour le calcul de solutions préférées à l'aide d'un algorithme évolutionnaire multiobjectif en optimisation multidisciplinaire
Autre [cs.OH]. Ecole Centrale de Nantes (ECN) (ECN) (ECN) (ECN), 2010. Français
...
inria-00363027v1  Article dans une revue
Frédéric Herbreteau, Franck Cassez, Olivier Roux. Application of Partial-Order Methods to Reactive Systems with Event Memorization
Journal of Real-Time Systems, Kluwer, 2001, 20 (3), pp.287-316
...
inria-00363029v1  Communication dans un congrès
Franck Cassez, John Mullins, Olivier Henri Roux. Synthesis of Non-Interferent Systems
4th Int. Conf. on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS'07), Sep 2007, Saint Petersburg, Russia. Springer, 1, pp.307--321, 2007
...
inria-00363031v1  Communication dans un congrès
Franck Cassez, Stavros Tripakis, Karine Altisen. Synthesis Of Optimal Dynamic Observers for Fault Diagnosis of Discrete-Event Systems
1st IEEE \& IFIP Int. Symp. on Theoretical Aspects of Soft. Engineering (TASE'07), Jun 2007, Shanghai, China. IEEE Computer Society, pp.316--325, 2007
...
inria-00363034v1  Communication dans un congrès
Karine Altisen, Franck Cassez, Stavros Tripakis. Monitoring and Fault-Diagnosis with Digital Clocks
6th Int. Conf. on Application of Concurrency to System Design (ACSD'06), Jun 2006, Turku, Finland. IEEE Computer Society, 2006
...
tel-00363037v1  HDR
Franck Cassez. Control of Timed Systems
Other [cs.OH]. IRCCyN, 2007
...
inria-00363035v1  Communication dans un congrès
Franck Cassez, Stavros Tripakis. Fault Diagnosis with Dynamic Diagnosers
9th Workshop on Discrete-Event Systems, Jun 2008, Goteborg, Sweden. IEEE Computer Society, pp.212--217, 2008
...
inria-00363036v1  Communication dans un congrès
Franck Cassez. Efficient On-the-Fly Algorithms for Partially Observable Timed Games
Proc. of the 5th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'07), Oct 2007, Salzburg, Austria. Springer, 4763, pp.5--24, 2007

Contact


archive-ouverte@inria.fr