Rechercher

	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 74 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	inria-00073516v1 Rapport Mihaela Sighireanu, Radu Mateescu. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS [Research Report] RR-3172, INRIA. 1997
	inria-00428955v1 Rapport Frederic Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection [Research Report] RR-7078, INRIA. 2009, pp.28
	hal-00777110v1 Communication dans un congrès Hubert Garavel, Radu Mateescu, Wendelin Serwe. Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000 Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France. 2013
	hal-01007674v1 Communication dans un congrès Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frederic Lang, Radu Mateescu et al. Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102, 2014
	inria-00407381v1 Rapport Radu Mateescu, Anton Wijs. Efficient On-the-Fly Computation of Weak Tau-Confluence [Research Report] RR-7000, INRIA. 2009, pp.42
	inria-00260980v3 Rapport Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde De Jong. Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks [Research Report] RR-6470, INRIA. 2008
	inria-00264235v1 Chapitre d'ouvrage Radu Mateescu. Specification and Analysis of Asynchronous Systems using CADP Stephan Merz and Nicolas Navet. Modeling and Verification of Real-Time Systems - Formalisms and Software Tools, ISTE publishing / John Wiley, 2008
	inria-00189021v1 Communication dans un congrès Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes Werner Damm and Holger Hermanns. Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. 4590, pp.158-163, 2007, Lecture Notes in Computer Science
	inria-00341598v1 Communication dans un congrès Radu Mateescu, Pascal Poizat, Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques Athman Bouguettaya and Ingolf Krueger and Tiziana Margaria. 6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. Springer Verlag, 5364, pp.84-99, 2008, Lecture Notes in Computer Science; ICSOC 2008. <10.1007/978-3-540-89652-4_10>
	inria-00189246v2 Rapport Radu Mateescu, Pascal Poizat, Gwen Salaun. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings [Research Report] RR-6362, INRIA. 2007, pp.25
	inria-00084628v2 Rapport Radu Mateescu. CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems [Research Report] RR-5948, INRIA. 2006, pp.38
	hal-00342148v1 Communication dans un congrès Radu Mateescu, Pascal Poizat, Gwen Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, 2007, <10.1145/1321631.1321690>
	hal-01551418v1 Communication dans un congrès Paula Lago, Frederic Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu et al. The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking Patrick Brézillon; Roy Turner; Carlo Penco. 10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. Springer Verlag, Modeling and Using Context, 10257, pp.175-188, 2017, Lecture Notes in Computer Science. <http://context17.lip6.fr/>. <10.1007/978-3-319-57837-8_14>
	inria-00347627v1 Rapport Radu Mateescu, Emilie Oudot. Improved On-the-Fly Equivalence Checking using Boolean Equation Systems [Research Report] RR-6777, INRIA. 2008, pp.31
	inria-00609585v1 Rapport Radu Mateescu, Anton Wijs. Property-Dependent Reductions for the Modal Mu-Calculus [Research Report] RR-7690, INRIA. 2011, pp.30
	hal-00512570v1 Article dans une revue Radu Mateescu, Flavio Oquendo. π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (2), pp.1-19
	hal-01280129v1 Communication dans un congrès Radu Mateescu, José Ignacio Requeno. On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators Springer Verlag. 23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. 2016, SPIN'2016. <http://www.spin2016.info/>. <10.1007/978-3-319-32582-8_13>
	inria-00315312v1 Communication dans un congrès Radu Mateescu, Damien Thivolle. A Model Checking Language for Concurrent Value-Passing Systems Jorge Cuellar and Tom Maibaum. FM 2008, May 2008, Turku, Finland. Springer Verlag, 5014, pp.148-164, 2008, Lecture Notes in Computer Science; Proceedings of the 15th International Symposium on Formal Methods FM'2008. <10.1007/978-3-540-68237-0_12>
	hal-00983711v3 Rapport Fatma Jebali, Frederic Lang, Radu Mateescu. GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics) [Research Report] RR-8527, INRIA. 2014
	hal-01016412v1 Communication dans un congrès Radu Mateescu, Gwen Salaün, Lina Ye. Quantifying the Parallelism in BPMN Processes using Model Checking The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. 2014
	inria-00610831v1 Article dans une revue Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde De Jong. CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks Theoretical Computer Science, Elsevier, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883. <http://www.sciencedirect.com/science/article/pii/S0304397510002902>. <10.1016/j.tcs.2010.05.009>
	hal-00667288v1 Document associé à des manifestations scientifiques Hubert Garavel, Frederic Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
	inria-00072755v1 Rapport Radu Mateescu, Mihaela Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus [Research Report] RR-3899, INRIA. 2000
	inria-00072397v1 Rapport Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noël De Palma. Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications [Research Report] RR-4222, INRIA. 2001
	inria-00072247v1 Rapport Hubert Garavel, Radu Mateescu, Irina Smarandache. Parallel State Space Construction for Model-Checking [Research Report] RR-4341, INRIA. 2001
	inria-00072795v1 Rapport Radu Mateescu. Efficient Diagnostic Generation for Boolean Equation Systems RR-3861, INRIA. 2000
	inria-00277995v2 Rapport Radu Mateescu, Pedro Monteiro, Estelle Dumas, Hidde De Jong. Computation Tree Regular Logic for Genetic Regulatory Networks [Research Report] RR-6521, INRIA. 2008, pp.53
	inria-00524586v1 Communication dans un congrès Radu Mateescu, Gwen Salaün. Translating Pi-Calculus into LOTOS NT Dominique Mery and Stephan Merz. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.229-244, 2010, Lecture Notes in Computer Science; Integrated Formal Methods - 8th International Conference, IFM 2010
	inria-00423583v1 Communication dans un congrès Frederic Lang, Radu Mateescu. Partial Order Reductions using Compositional Confluence Detection 16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands. 2009
	inria-00381674v1 Communication dans un congrès Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu. Modeling Multiprocessor Cache Protocol Impact on MPI Performance The 2009 IEEE International Workshop on Quantitative Evaluation of large-scale Systems and Technologies, May 2009, Bradford, United Kingdom. IEEE Computer Society Press, 2009, IEEE-QuEST'2009
	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 74 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Domaine

Laboratoire

Langue

Type de dépôt

Année