Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Le cluster real time - timed automata

Terms

57real time
25timed automata
22model-checking
6automates temporisés

Associations

Freq.WeightAssociation
1010real time - timed automata
55model-checking - timed automata
55automates temporisés - timed automata
Documents par ordre de pertinence
007B95 (2003) Mohamed Khalgui [France]Vérification de propriétés temporelles complexes
006921 (2004) Mohamed Khalgui ; Xavier Rebeuf ; Françoise Simonot-LionA contribution to the validation of complex real-time systems
007101 (2004) Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France]A contribution to the validation of complex real-time systems
007380 (2003) Mohamed KhalguiVérification de propriétés temporelles complexes
008803 (2002) Françoise Simonot-Lion [France] ; Laurent Kaiser [France] ; Ricardo Santos Marques [France]Formal Method for Timed Tests Sequences Generation
006993 (2004) Mohamed Khalgui ; Xavier Rebeuf ; Françoise Simonot-LionA behavior model for IEC 61499 function blocks
007105 (2004) Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France]A behavior model for IEC 61499 function blocks
008465 (2002) Françoise Simonot-Lion ; Laurent Kaiser ; Ricardo Santos MarquesFormal Method for Timed Tests Sequences Generation
008A34 (2002) Françoise Simonot-Lion [France]Validation of Real Time Applications
008C92 (2001-06) Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France]Verification of Timed Automata Using Rewrite Rules and Strategies
008C93 (2001-06) Emmanuel Beffara [France] ; Olivier Bournez [France] ; Hassen Kacem [France] ; Claude Kirchner [France]Verification of Timed Automata Using Rewrite Rules and Strategies
008D46 (2001) Françoise Simonot-Lion ; Laurent Kaiser ; Ricardo Dos Santos MarquesMéthode formelle de génération de séquences de tests temporisés
008D79 (2001) Laurent KaiserContribution à l'analyse des TIOSMs pour la vérification de propriétés temporelles de systèmes complexes
009139 (2001) Laurent Kaiser ; Françoise Simonot-LionAn Hybrid Method for the Validation of Real-Time Systems
003032 (2010) Olivier Bournez [France] ; Daniel S. Graça [Portugal] ; Emmanuel Hainry [France]Robust Computations with Dynamical Systems
003C62 (2009) Cristian Rosa [France] ; Martin Quinson [France] ; Stephan Merz [France]Model-checking Distributed Applications with GRAS
004002 (2008-05-25) Joris Rehm [France]From Absolute-Timer to Relative-Countdown: Patterns for Model-Checking
004081 (2008-03) Françoise Simonot-Lion [France]Interoperability issues on the design of safe in-vehicle embedded systems
004601 (2008) Yohan Boichut [France] ; Pierre-Cyrille Heam [France] ; Olga Kouchnarenko [France]Approximation based tree regular model checking
005836 (2005-12-09) Nicolas Biri [France]Spatial logic with resources, tree models and applications
005A72 (2005-03-24) Cédric Wilwert [France]Influence of transient faults and real-time performances on X-by-Wire systems safety
006704 (2004) Mouna BenaissaAjustement dynamique du délai de présentation des paquets pour le transport de la voix dans les réseaux ad hoc
006875 (2004) Horatiu Cirstea ; Pierre-Etienne Moreau ; Antoine ReillesRule based programming in Java for protocol verification
006E96 (2004) Horatiu Cirstea [France] ; Pierre-Etienne Moreau [France] ; Antoine Reilles [France]Rule based programming in Java for protocol verification
007338 (2003) Françoise Simonot-LionArchitectures Embarquées dans l'automobile : comment assurer leur sûreté ?
007384 (2003) Modélisation des systèmes réactifs
007433 (2003) Fabrice JumelDéfinition et Gestion d'une qualité de service pour les applications temps réel
007570 (2003) Julien MussetApproximation de relations de transition : application à la vérification de systèmes infinis
007621 (2003) Fabrice Jumel ; Françoise Simonot-LionManagement of «anytime» tasks in «real time» applications
007705 (2003) Françoise Simonot-LionIn car embedded electronic architectures : how to ensure their safety
007D91 (2003) Fabrice Jumel [France] ; Françoise Simonot-Lion [France]Management of anytime tasks in real time applications
007E44 (2003) Julien Musset [France] ; Michaël Rusinowitch [France]Computing Approximations of Linear Transition Systems
008015 (2002-07) David Déharbe ; Anamaria Martins Moreira ; Christophe Ringeissen [France]Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae
008114 (2002) Ye Qiong SongEthernet commuté pour applications temps réel
008182 (2002) Gilles Simon ; Marie-Odile BergerRecalage temporel d'une structure plane par morceaux : application à la Réalité Augmentée temps réel
008197 (2002) Laurent Kaiser ; Françoise Simonot-LionD'un formalisme à l'autre : entre TIOSM et SDL
008292 (2002) Gilles Simon ; Marie-Odile BergerPose Estimation for Planar Structures
008355 (2002) David Déharbe ; Anamaria Martins Moreira ; Christophe RingeissenImproving Symbolic Model Checking by Rewriting Temporal Logic Formulae
008429 (2002) Xavier Rebeuf ; Gerardo Satriano ; Françoise Simonot-LionA Distributed Algorithm for the Validation of Timed State Machines
008496 (2002) Françoise Simonot-LionValidation of Real Time Applications
008525 (2002) Gilles Simon ; Marie-Odile BergerReconstructing while registering : a novel approach for markerless augmented reality
008648 (2002) Stefan Haar ; Laurent Kaiser ; Françoise Simonot-Lion ; Joël ToussaintEquivalence of Timed State Machines and safe TPN
008D21 (2001-03) Horatiu Cirstea [France]Specifying Authentication Protocols Using Rewriting and Strategies
008E97 (2001) Horatiu CirsteaSpecifying Authentication Protocols Using Rewriting and Strategies
009060 (2001) Emmanuel Beffara ; Olivier Bournez ; Hassen Kacem ; Claude KirchnerVerification of Timed Automata Using Rewrite Rules and Strategies
009061 (2001) Emmanuel Beffara ; Olivier Bournez ; Hassen Kacem ; Claude KirchnerVerification of Timed Automata Using Rewrite Rules and Strategies
009106 (2001) Julien Musset ; Michael RusinowitchImproved Subsumption for CLP-based Verification
009491 (2001) Françoise Simonot-Lion [France] ; Laurent Kaiser [France] ; Ricardo Dos Santos Marques [France]Méthode formelle de génération de séquences de tests temporisés
009890 (2000) Gladys DiazConception de messagerie pour systèmes multimedia cooperatifs. Application au système de télémedecine DIATELIC
009907 (2000) Miguel Leon ChavezQualité de service et Ordonnancement dans les systèmes de communications Temps Réel
009A20 (2000) Jacques JarayFixing Race Condition Errors with Formal Techniques. A Case Study in Concurrent Java Programming
009B21 (2000) Stefan Haar ; Laurent Kaiser ; Françoise Simonot-Lion ; Joël ToussaintUsing and translating equivalent Models : Timed State Machines and Time Petri Nets
009B98 (2000) Laurent Kaiser ; Françoise Simonot-Lion ; Ousmane KoneVerification method of interoperability for real time systems
009C05 (2000) Olivier Bournez ; Oded MalerOn the representation of timed polyhedra
009C29 (2000) Dominique Cansell [France] ; Dominique Méry [France] ; Stephan MerzVerifying Reactive Systems Using Predicate Diagrams
009C96 (2000) Paolo CastelpietraModélisation modulaire pour l'évaluation des performances d'application embarquées dans l'automobile
00A385 (1999) Gérald CabusEtude de l'ordonnancement conjoint de tâches et de messages : application à l'exécutif OSEK/VDX et au réseau CAN
00A417 (1999) Jean-François Aubry ; Françoise Simonot-LionApproche pluridisciplinaire de la sûreté des systèmes
00A459 (1999) Françoise Simonot-Lion ; Laurent Thomas ; Thomas Lambolais ; Anne-Marie Deplanche ; Yvon Trinquet ; Charles Andre ; Marie-Agnes Peraldi ; Chris Choukair ; Mireille BayartConception et validation d'architectures distribuées temps réel
00A625 (1999) Shlomo Zilberstein ; Francois Charpillet ; Philippe ChassaingReal-Time Problem-Solving with Contract Algorithms
00A659 (1999) Jean-Pierre Thomesse [France] ; Olivier JarayTime distribution and synchronization
00A671 (1999) Shlomo Zilberstein ; Francois Charpillet ; Philippe ChassaingOptimal Sequencing of Contract Algorithms
00A676 (1999) Jean-Pierre Thomesse [France] ; Gregory PrinceTiming consideration for electronic device description
00A694 (1999) Jean-Pierre Thomesse [France] ; Gregory PrinceEvent Management and Real Time constraints model
00A738 (1999) Pedro Nicolau Faria Da FonsecaModélisation et validation des algorithmes non-déterministes de synchronisation des horloges
00A779 (1999) Françoise Simonot-LionUne contribution à la modélisation et à la validation d'architectures temps réel
00AC52 (1999) Shlomo Zilberstein [États-Unis] ; François Charpillet [France] ; Philippe ChassaingReal-Time Problem-Solving with Contract Algorithms
00B352 (1998) Roberto Segala [Italie] ; Rainer Gawlick ; J Rgen S Gaard-Andersen [Danemark] ; Nancy LynchLiveness in Timed and Untimed Systems
00B559 (1998) Denis Lugiez [France] ; Philippe SchnoebelenThe Regular Viewpoint on PA-Processes
00B771 (1997) Françoise Simonot-LionTemps réel et temps critique dans les architectures de systèmes automatisés
00BD73 (1996) Françoise Simonot-Lion ; Mireille BayartLe processus de développement des systèmes automatisés distribués : analyse de l'étape de conception
00BD76 (1996) Françoise Simonot-LionTemps réel et temps critique dans les architectures de systèmes automatisés
00C907 (1994) C. CardeiraOrdonnancement temps réel par réseaux de neurones
00C914 (1994) F. Charpillet ; P. ThéretDossier : IA et temps réel
00CA10 (1994) A.-I. Mouaddib ; F. Charpillet ; Jean-Paul Haton [France]GREAT : A Model of Progressive Reasoning for Real-Time Systems
00CE01 (1993) Y. Q. SongProtocoles d'accès multiple pour applications temps réel -- Analyse de performances par simulation
00D295 (1992) S. Brunessaux ; F. Charpillet ; Jean-Paul Haton [France] ; J.-C. Le MentecUne architecture à bases de connaissances multiples et orientée temps réel
00D320 (1992) P. LalandaConduite du raisonnement dans un système à base de tableau noir temps réel
00D348 (1992) P. Lalanda ; F. Charpillet ; Jean-Paul Haton [France]A Real Time Blackboard Based Architecture
00D770 (1991) F. Desard ; S. Brunessaux ; S. Bertuzzi ; T. Joubert ; J.-C. Le Mentec ; P. Lalanda ; F. Charpillet ; Jean-Paul Haton [France]Mécanismes temps réel dans un système multibases de connaissances
00D961 (1991) F. Charpillet ; Y. Gong ; Jean-Paul Haton [France] ; D. Fohr ; D. DobbeniAITRAS : A Real Time Expert System for Signal Understanding
00DB49 (1990) Jean-Pierre Thomesse [France]Les réseaux locaux à temps critique
00DF52 (1989) R. Fiack ; D. MéryCase Studies in the Statechart Formalism
00E164 (1988) J. JarayTimed specifications for the development of real-time systems
00E440 (1987) Jean-Claude Derniame [France]Etude de l'opportunité d'adjoindre à LTR3 et son environnement la prise en charge d'applications réparties
00E694 (1986) Jean-Claude Derniame [France]LTR3-Entreprise - Une solution pour le Temps Réel
00E987 (1985) A. El FazzikiContribution à la structuration et à la programmation des applications de contrôle de procédés industriels
00EB10 (1984) Z. MammeriManuel d'utilisation du noyau temps réel sceptre implanté sur 6809 Themis
00EB18 (1984) A. ZakariFLEXI : langage de conception d'application de conduite de procédés industriels - Contribution à l'étude de la communication entre processus coopérants
00EB91 (1984) M. BenmaizaLe concept d'événement dans la spécification et programmation d'applications temps réel
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022