Recherche

	1 2 3	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 89 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	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
	inria-00074360v1 Rapport Eduardo Aranda-Bricaire, Claude H. Moog, Jean-Baptiste Pomet. Infinitesimal Brunovsky Form for Nonlinear Systems with Applications to Dynamic Linearization [Research Report] RR-2313, INRIA. 1994
	inria-00099671v1 Rapport Joachim Eisenmann, Evelyne Sylva, Gerrit De Boer, Ulrich Virnich, Andreas Raisch et al. Description of existing solutions - Deliverable 2.2 [Contract] A03-R-393 \|\| eisenmann03a, 2003, 86 p
	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-00153059v1 Article dans une revue Stéphane Avrillon, Ismael Pelé, Anne Chousseaud, Serge Toutain. Dual-band power divider based on semiloop stepped-impedance resonators Microwave Theory and Techniques, IEEE Transactions on, Institute of Electrical and Electronics Engineers (IEEE), 2003, 51 (4), pp.1269-1273
	hal-00153064v1 Communication dans un congrès Stéphane Avrillon, Christophe Le Gall, Rudy Herdier, Anne Chousseaud, Serge Toutain. MATRICES DE BUTLER RECONFIGURABLES Journées Nationales Micro-ondes 2003, May 2003, Lille, France. 2003
	hal-00153067v1 Communication dans un congrès Stéphane Avrillon, Ismael Pelé, Anne Chousseaud, Serge Toutain. ETUDE DE STRUCTURES AMPLICATRICES FILTRANTES Journées Nationales Micro-ondes 2003, May 2003, Lille, France. 2003
	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
	hal-01478375v1 Article dans une revue Marko Budinich, Jérémie Bourdon, Abdelhalim Larhlimi, Damien Eveillard. A multi-objective constraint-based approach for modeling genome-scale microbial ecosystems. PLoS ONE, Public Library of Science, 2017, 12 (2), pp.e0171744
	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
	inria-00100865v1 Article dans une revue Françoise Simonot-Lion, Jean-Pierre Elloy, Yvon Trinquet. AIL_Transport : Un langage de description d'architecture électronique embarquée dans l'automobile Veille Technologique, ASPROM, 2002, pp.34-36
	inria-00100970v1 Rapport Jörn Migge, Françoise Simonot-Lion, Jean-Pierre Elloy, Yvon Trinquet. AIL_Transport, User Manual V3 [Contract] A02-R-422 \|\| migge02a, 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
	inria-00098509v1 Rapport Charles André, Mireille Bayart, Anne-Marie Déplanche, Jean Jourdan, Marie-Agnès Peraldi-Frati et al. Construction et Validation d'Architectures Distribuées Temps Réel (Consortium COVADIS) [Contrat] 98-R-318 \|\| andre98a, 1998, 140 p
	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
	1 2 3	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 89 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact