-
1Report
المؤلفون: Brihaye, Thomas, Delahaye, Benoît, Jezequel, Loïg, Markey, Nicolas, Srba, Jiří
المصدر: EPTCS 220, 2016
مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/1608.00177
-
2Dissertation/ Thesis
المؤلفون: Jezequel, Loïg
Thesis Advisors: Cachan, Ecole normale supérieure, Fabre, Éric
مصطلحات موضوعية: Concurrence, Planification modulaire, Systèmes à événements discrets, Distributed computing
-
3Academic Journal
المساهمون: Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Saclay, Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université d’Abomey-Calavi = University of Abomey Calavi (UAC), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)
المصدر: ISSN: 0890-5401.
مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
-
4Report
المؤلفون: Esparza, Javier, Jezequel, Loïg, Schwoon, Stefan
مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, D.2.2, F.1.2
URL الوصول: http://arxiv.org/abs/1310.2143
-
5Conference
المؤلفون: Jezequel, Loïg, Lime, Didier, Sérée, Bastien
المساهمون: STR (LS2N - équipe STR ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: International Conference on Applications and Theory of Petri Nets and Concurrency ; https://hal.science/hal-03561703 ; International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.360-378, ⟨10.1007/978-3-030-76983-3_18⟩
مصطلحات موضوعية: Reachability analysis, unbounded Petri nets, inhibitor arcs, lazy algorithms, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: hal-03561703; https://hal.science/hal-03561703; https://hal.science/hal-03561703/document; https://hal.science/hal-03561703/file/seree-ICATPN-21.pdf
-
6Conference
المؤلفون: Sérée, Bastien, Jezequel, Loïg, Lime, Didier
المساهمون: STR (LS2N - équipe STR ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: Language and Automata Theory and Applications ; https://hal.science/hal-03561972 ; Language and Automata Theory and Applications, Sep 2021, Milan, Italy. pp.279-290, ⟨10.1007/978-3-030-68195-1_22⟩
مصطلحات موضوعية: Shortest paths, weighted graphs, parameterized graphs, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: hal-03561972; https://hal.science/hal-03561972; https://hal.science/hal-03561972/document; https://hal.science/hal-03561972/file/seree-LATA-21.pdf
-
7Academic Journal
المؤلفون: Kordon, Fabrice, Hillah, Lom Messan, Hulin-Hubard, Francis, Jezequel, Loïg, Paviot-Adet, Emmanuel
المساهمون: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Université Paris Nanterre - Département de Mathématiques et Informatique, Université Paris Nanterre (UPN), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
المصدر: ISSN: 1433-2779.
مصطلحات موضوعية: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: hal-03251314; https://hal.sorbonne-universite.fr/hal-03251314; https://hal.sorbonne-universite.fr/hal-03251314/document; https://hal.sorbonne-universite.fr/hal-03251314/file/sttt-mcc15-19.pdf
-
8Book
المؤلفون: Amparore, Elvio, Berthomieu, Bernard, Ciardo, Gianfranco, Dal Zilio, Silvano, Gallà, Francesco, Hillah, Lom Messan, Hulin-Hubard, Francis, Jensen, Peter Gjøl, Jezequel, Loïg, Kordon, Fabrice, Le Botlan, Didier, Liebke, Torsten, Meijer, Jeroen, Miner, Andrew, Paviot-Adet, Emmanuel, Srba, Jiří, Thierry-Mieg, Yann, van Dijk, Tom, Wolf, Karsten
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ; Lecture Notes in Computer Science ; page 50-68 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030175016 9783030175023
-
9Conference
المؤلفون: Amat, Nicolas, Amparore, Elvio, Berthomieu, Bernard, Bouvier, Pierre, Zilio, Silvano Dal, Hulin-Hubard, Francis, Jensen, Peter, Jezequel, Loig, Kordon, Fabrice, Li, Shuo, Paviot-Adet, Emmanuel, Petrucci, Laure, Srba, Jiří, Thierry-Mieg, Yann, Wolf, Karsten
المساهمون: Institute IMDEA Software Madrid, Università degli studi di Torino = University of Turin (UNITO), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Kalray, LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Aalborg University Denmark (AAU), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Modélisation et Vérification (MoVe), Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Tongji University, Université Paris Cité (UPCité), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, University of Rostock
المصدر: TOOLympics Challenge 2023 ; https://hal.science/hal-04764190 ; TOOLympics Challenge 2023, Apr 2023, Paris, France. pp.52-89, ⟨10.1007/978-3-031-67695-6_3⟩
مصطلحات موضوعية: [INFO]Computer Science [cs]
-
10Conference
المؤلفون: Kordon, Fabrice, Garavel, Hubert, Hillah, Lom, Paviot-Adet, Emmanuel, Jezequel, Loïg, Hulin-Hubard, Francis, Amparore, Elvio, Beccuti, Marco, Berthomieu, Bernard, Evrard, Hugues, Jensen, Peter, Gjøl, Le Botlan, Didier, Liebke, Torsten, Meijer, Jeroen, Srba, Jiří, Thierry-Mieg, Yann, van de Pol, Jaco, Wolf, Karsten
المساهمون: Modélisation et Vérification (MoVe), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Construction of verified concurrent systems (CONVECS), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Universität des Saarlandes Saarbrücken = Saarland University Saarbrücken, Université Paris Nanterre (UPN), Université Paris Descartes - Paris 5 (UPD5), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Università degli studi di Torino = University of Turin (UNITO), Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Imperial College London, Department of Computer Science Aalborg, Aalborg University Denmark (AAU), Institut für Informatik Rostock, Universität Rostock, University of Twente, Faculty of Informatics Brno (FI / MUNI), Masaryk University Brno (MUNI)
المصدر: ISSN: 1867-7193 ; LNCS Transactions on Petri Nets and Other Models of Concurrency ; https://inria.hal.science/hal-01917492 ; LNCS Transactions on Petri Nets and Other Models of Concurrency, 11090, pp.181-209, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-58381-4_9⟩.
مصطلحات موضوعية: [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
11Conference
المؤلفون: Jezequel, Loïg, Madalinski, Agnes, Schwoon, Stefan
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Université de Nantes (UN), Otto-von-Guericke-Universität Magdeburg = Otto-von-Guericke University Magdeburg (OVGU), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)
المصدر: Workshop on Discrete Event Systems (WODES) ; https://inria.hal.science/hal-01735406 ; Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy. ⟨10.1016/j.ifacol.2018.06.287⟩
مصطلحات موضوعية: [INFO]Computer Science [cs]
Time: Sorrento, Italy
-
12Conference
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université d’Abomey-Calavi = University of Abomey Calavi (UAC), STR (LS2N - équipe STR), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira
المصدر: LATA 2018 - 12th International Conference on Language and Automata Theory and Applications ; https://hal.science/hal-01766530 ; LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Apr 2018, Ramat Gan, Israel. ⟨10.1007/978-3-319-77313-1_20⟩ ; http://grammars.grlmc.com/LATA2018/
-
13Conference
المؤلفون: Jezequel, Loïg, Lime, Didier
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), École Centrale de Nantes (ECN)
المصدر: 15th International Conference on Formal Modeling and Analysis of Timed Systems
https://hal.science/hal-01699301
15th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2017, Berlin, Germanyمصطلحات موضوعية: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
Relation: hal-01699301; https://hal.science/hal-01699301; https://hal.science/hal-01699301/document; https://hal.science/hal-01699301/file/FORMATS2017.pdf
-
14Conference
المؤلفون: Jezequel, Loïg, Lime, Didier
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), École Centrale de Nantes (ECN)
المصدر: 27th International Conference on Concurrency Theory (CONCUR 2016)
https://hal.science/hal-01699311
27th International Conference on Concurrency Theory (CONCUR 2016), Aug 2016, Québec, Canada. ⟨10.4230/LIPIcs.CONCUR.2016.17⟩مصطلحات موضوعية: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
جغرافية الموضوع: Québec
Time: Québec, Canada
Relation: hal-01699311; https://hal.science/hal-01699311; https://hal.science/hal-01699311/document; https://hal.science/hal-01699311/file/CONCUR2016.pdf
-
15Academic Journal
المؤلفون: Kordon, Fabrice, Garavel, Hubert, Hillah, Lom Messan, Paviot-Adet, Emmanuel, Jezequel, Loïg, Rodríguez, César, Hulin-Hubard, Francis
المساهمون: Modélisation et Vérification (MoVe), Laboratoire d'Informatique de Paris 6 (LIP6), Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre et Marie Curie - Paris 6 (UPMC)-Centre National de la Recherche Scientifique (CNRS), Construction of verified concurrent systems (CONVECS ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG ), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Université Paris Nanterre - Département de Mathématiques et Informatique, Université Paris Nanterre (UPN), Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN), Mines Nantes (Mines Nantes)-École Centrale de Nantes (ECN)-Ecole Polytechnique de l'Université de Nantes (EPUN), Université de Nantes (UN)-Université de Nantes (UN)-PRES Université Nantes Angers Le Mans (UNAM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Paris-Nord (LIPN), Université Paris 13 (UP13)-Institut Galilée-Université Sorbonne Paris Cité (USPC)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
المصدر: ISSN: 1867-7193 ; LNCS Transactions on Petri Nets and Other Models of Concurrency ; https://inria.hal.science/hal-01361274 ; LNCS Transactions on Petri Nets and Other Models of Concurrency, 2016, Lecture Notes in Computer Science, 9930, pp.262-273. ⟨10.1007/978-3-662-53401-4_12⟩ ; http://link.springer.com/chapter/10.1007/978-3-662-53401-4_12.
مصطلحات موضوعية: [INFO]Computer Science [cs]
Relation: hal-01361274; https://inria.hal.science/hal-01361274; https://inria.hal.science/hal-01361274/document; https://inria.hal.science/hal-01361274/file/main.pdf
-
16Conference
المؤلفون: Chatain, Thomas, Haar, Stefan, Jezequel, Loïg, Paulevé, Loïc, Schwoon, Stefan
المساهمون: Laboratoire Spécification et Vérification Cachan (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Algorithms and Models for Integrative Biology (AMIB), Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Pedro Mendes, Joseph Dada, Kieran Smallbone
المصدر: CMSB 2014 ; https://hal.science/hal-01060450 ; CMSB 2014, Nov 2014, Manchester, United Kingdom. pp.14, ⟨10.1007/978-3-319-12982-2_10⟩
مصطلحات موضوعية: dynamical systems, attractors, concurrency, qualitative models, biological networks, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
جغرافية الموضوع: Manchester, United Kingdom
-
17Conference
المؤلفون: Jezequel, Loïg, Esparza, Javier
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Institut für Informatik (LRR-TUM), Technische Universität Munchen - Technical University Munich - Université Technique de Munich (TUM)
المصدر: 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014)
https://hal.science/hal-01699321
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014), Jan 2014, San Diego, United Statesمصطلحات موضوعية: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
جغرافية الموضوع: San Diego, United States
-
18Conference
المؤلفون: Jezequel, Loïg, Fabre, Eric, Khomenko, Victor
المساهمون: Département informatique, École normale supérieure - Cachan (ENS Cachan), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Department of Computing Science Newcastle, Newcastle University Newcastle
المصدر: International Conference on Application of Concurrency to System Design (ACSD) ; https://inria.hal.science/hal-00931844 ; International Conference on Application of Concurrency to System Design (ACSD), Jul 2013, Barcelone, Spain
مصطلحات موضوعية: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
جغرافية الموضوع: Spain
Time: Barcelone, Spain
-
19Conference
المؤلفون: Jezequel, Loïg, Fabre, Eric
المساهمون: Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)
المصدر: CDC 2012 - IEEE 51st Annual Conference on Decision and Control ; https://hal.science/hal-01699341 ; CDC 2012 - IEEE 51st Annual Conference on Decision and Control, Dec 2012, Maui, United States. ⟨10.1109/CDC.2012.6426187⟩
مصطلحات موضوعية: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
جغرافية الموضوع: Maui, United States
Relation: hal-01699341; https://hal.science/hal-01699341; https://hal.science/hal-01699341/document; https://hal.science/hal-01699341/file/CDC2012.pdf
-
20Conference
المؤلفون: Jezequel, Loïg, Fabre, Eric
المساهمون: École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne), École normale supérieure - Cachan (ENS Cachan), Distributed and Iterative Algorithms for the Management of Telecommunications Systems (DISTRIBCOM), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria), Inria Rennes – Bretagne Atlantique
المصدر: Wodes 2012 - 11th International Workshop on Discrete Event Systems ; https://hal.science/hal-01699581 ; Wodes 2012 - 11th International Workshop on Discrete Event Systems, Oct 2012, Guadalajara, Mexico. pp.301 - 306, ⟨10.3182/20121003-3-MX-4033.00049⟩
مصطلحات موضوعية: discrete event systems, planning, weighted automata, turbo algorithms, distributed algorithms, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
جغرافية الموضوع: Mexico
Time: Guadalajara, Mexico