Skip to contents Garavel, Hubert [Editor]; Hatcliff, John [Other] ; TACAS 9 2003 Warschau, ETAPS 6 2003 Warschau Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2619 Garavel, Hubert [Author] ; Hatcliff, John [Other] Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2619 Bouvier, Pierre [Author] ; Université Grenoble Alpes [Contributor]; Garavel, Hubert [Contributor]; Mateescu, Radu [Contributor] Systèmes concurrents hiérarchiques : équivalence, analyse et structuration ; Hierarchical concurrent systems : equivalence, analysis and structuring Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-10-12 Thivolle, Damien [Author] ; Grenoble [Contributor]; Universitatea politehnica (Bucarest) [Contributor]; Garavel, Hubert [Contributor]; Cristea, Valentin [Contributor] Langages modernes pour la modélisation et la vérification des systèmes asynchrones ; Modern languages for modeling and verifying asynchronous systems Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2011-04-29 Garavel, Hubert Recent Trends in Algebraic Development Techniques: On the Most Suitable Axiomatization of Signed Integers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2017 Published in: Recent Trends in Algebraic Development Techniques (2017), Seite 120-134 Garavel, Hubert Application and Theory of Petri Nets and Concurrency: Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published in: Application and Theory of Petri Nets and Concurrency (2015), Seite 179-199 Garavel, Hubert Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Electronic Notes in Theoretical Computer Science, 209 (2008), Seite 149-164 Garavel, Hubert Tools and Algorithms for the Construction and Analysis of Systems: OPEN/CÆSAR: An open software architecture for verification, simulation, and testing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Tools and Algorithms for the Construction and Analysis of Systems (1998), Seite 68-84 Garavel, Hubert; Luttik, Bas Four Formal Models of IEEE 1394 Link Layer Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2024 Published in: Electronic Proceedings in Theoretical Computer Science, 399 (2024), Seite 21-100 Garavel, Hubert; Lang, Frédéric Lecture Notes in Computer Science: Equivalence Checking 40 Years After: A Review of Bisimulation Tools Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2022 Published in: Lecture Notes in Computer Science (2022), Seite 213-265 Bouvier, Pierre; Garavel, Hubert Application and Theory of Petri Nets and Concurrency: Efficient Algorithms for Three Reachability Problems in Safe Petri Nets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2021 Published in: Application and Theory of Petri Nets and Concurrency (2021), Seite 339-359 Fehnker, Ansgar; Garavel, Hubert Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems : Preface : Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2020 Published in: Electronic Proceedings in Theoretical Computer Science, 316 (2020) Garavel, Hubert; Marsso, Lina Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2018 Published in: Electronic Proceedings in Theoretical Computer Science, 268 (2018), Seite 41-87 Garavel, Hubert; Mateescu, Radu Lecture Notes in Computer Science: Reflections on Bernhard Steffen’s Physics of Software Tools Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Lecture Notes in Computer Science (2019), Seite 186-207 Durán, Francisco; Garavel, Hubert Tools and Algorithms for the Construction and Analysis of Systems: The Rewrite Engines Competitions: A RECtrospective Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2019), Seite 93-100 Garavel, Hubert; Marsso, Lina A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2017 Published in: Electronic Proceedings in Theoretical Computer Science, 244 (2017), Seite 129-183 Garavel, Hubert; Serwe, Wendelin The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2017 Published in: Electronic Proceedings in Theoretical Computer Science, 244 (2017), Seite 230-270 Garavel, Hubert; Thivolle, Damien Model Checking Software: Verification of GALS Systems by Combining Synchronous Languages and Process Calculi Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Model Checking Software (2009), Seite 241-260 Garavel, Hubert; Serwe, Wendelin State space reduction for process algebra specifications Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Theoretical Computer Science, 351 (2006) 2, Seite 131-145 Garavel, Hubert; Hatcliff, John TACAS 2003 Special Issue—Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Theoretical Computer Science, 354 (2006) 2, Seite 169-172
Garavel, Hubert [Editor]; Hatcliff, John [Other] ; TACAS 9 2003 Warschau, ETAPS 6 2003 Warschau Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2619
Garavel, Hubert [Author] ; Hatcliff, John [Other] Tools and Algorithms for the Construction and Analysis of Systems : 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings Books View online Schließen > Access ... to E-book via DOI (Volltext) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2619
Bouvier, Pierre [Author] ; Université Grenoble Alpes [Contributor]; Garavel, Hubert [Contributor]; Mateescu, Radu [Contributor] Systèmes concurrents hiérarchiques : équivalence, analyse et structuration ; Hierarchical concurrent systems : equivalence, analysis and structuring Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2023-10-12
Thivolle, Damien [Author] ; Grenoble [Contributor]; Universitatea politehnica (Bucarest) [Contributor]; Garavel, Hubert [Contributor]; Cristea, Valentin [Contributor] Langages modernes pour la modélisation et la vérification des systèmes asynchrones ; Modern languages for modeling and verifying asynchronous systems Thesis View online Schließen > Links ... to thesis Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. theses.fr, 2011-04-29
Garavel, Hubert Recent Trends in Algebraic Development Techniques: On the Most Suitable Axiomatization of Signed Integers Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2017 Published in: Recent Trends in Algebraic Development Techniques (2017), Seite 120-134
Garavel, Hubert Application and Theory of Petri Nets and Concurrency: Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2015 Published in: Application and Theory of Petri Nets and Concurrency (2015), Seite 179-199
Garavel, Hubert Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Electronic Notes in Theoretical Computer Science, 209 (2008), Seite 149-164
Garavel, Hubert Tools and Algorithms for the Construction and Analysis of Systems: OPEN/CÆSAR: An open software architecture for verification, simulation, and testing Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Tools and Algorithms for the Construction and Analysis of Systems (1998), Seite 68-84
Garavel, Hubert; Luttik, Bas Four Formal Models of IEEE 1394 Link Layer Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2024 Published in: Electronic Proceedings in Theoretical Computer Science, 399 (2024), Seite 21-100
Garavel, Hubert; Lang, Frédéric Lecture Notes in Computer Science: Equivalence Checking 40 Years After: A Review of Bisimulation Tools Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Nature Switzerland, 2022 Published in: Lecture Notes in Computer Science (2022), Seite 213-265
Bouvier, Pierre; Garavel, Hubert Application and Theory of Petri Nets and Concurrency: Efficient Algorithms for Three Reachability Problems in Safe Petri Nets Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2021 Published in: Application and Theory of Petri Nets and Concurrency (2021), Seite 339-359
Fehnker, Ansgar; Garavel, Hubert Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems : Preface : Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2020 Published in: Electronic Proceedings in Theoretical Computer Science, 316 (2020)
Garavel, Hubert; Marsso, Lina Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2018 Published in: Electronic Proceedings in Theoretical Computer Science, 268 (2018), Seite 41-87
Garavel, Hubert; Mateescu, Radu Lecture Notes in Computer Science: Reflections on Bernhard Steffen’s Physics of Software Tools Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Lecture Notes in Computer Science (2019), Seite 186-207
Durán, Francisco; Garavel, Hubert Tools and Algorithms for the Construction and Analysis of Systems: The Rewrite Engines Competitions: A RECtrospective Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer International Publishing, 2019 Published in: Tools and Algorithms for the Construction and Analysis of Systems (2019), Seite 93-100
Garavel, Hubert; Marsso, Lina A Large Term Rewrite System Modelling a Pioneering Cryptographic Algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2017 Published in: Electronic Proceedings in Theoretical Computer Science, 244 (2017), Seite 129-183
Garavel, Hubert; Serwe, Wendelin The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Open Publishing Association, 2017 Published in: Electronic Proceedings in Theoretical Computer Science, 244 (2017), Seite 230-270
Garavel, Hubert; Thivolle, Damien Model Checking Software: Verification of GALS Systems by Combining Synchronous Languages and Process Calculi Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2009 Published in: Model Checking Software (2009), Seite 241-260
Garavel, Hubert; Serwe, Wendelin State space reduction for process algebra specifications Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Theoretical Computer Science, 351 (2006) 2, Seite 131-145
Garavel, Hubert; Hatcliff, John TACAS 2003 Special Issue—Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Theoretical Computer Science, 354 (2006) 2, Seite 169-172
> Media type Skip to next facet Articles (52) Wert ausschließen Books (2) Wert ausschließen Thesis (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (16) Wert ausschließen Without Specification (39) Wert ausschließen Show more show less
> Language Skip to next facet Not determined (34) Wert ausschließen English (20) Wert ausschließen French (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (11) Wert ausschließen Mathmatics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Garavel, Hubert (56) Wert ausschließen Mateescu, Radu (15) Wert ausschließen Lang, Frédéric (13) Wert ausschließen Serwe, Wendelin (11) Wert ausschließen Bouvier, Pierre (4) Wert ausschließen Hatcliff, John (4) Wert ausschließen Hermanns, Holger (3) Wert ausschließen Kordon, Fabrice (3) Wert ausschließen Mounier, Laurent (3) Wert ausschließen van de Pol, Jaco (3) Wert ausschließen Bergamini, Damien (2) Wert ausschließen Hillah, Lom Messan (2) Wert ausschließen Hulin-Hubard, Francis (2) Wert ausschließen Jezequel, Loïg (2) Wert ausschließen Marsso, Lina (2) Wert ausschließen Paviot-Adet, Emmanuel (2) Wert ausschließen Sighireanu, Mihaela (2) Wert ausschließen Thivolle, Damien (2) Wert ausschließen ter Beek, Maurice H. (2) Wert ausschließen Amat, Nicolas (1) Wert ausschließen Amparore, Elvio (1) Wert ausschließen Arrada, Imad-Seddik (1) Wert ausschließen Bartocci, Ezio (1) Wert ausschließen Batt, Grégory (1) Wert ausschließen Beccuti, Marco (1) Wert ausschließen Berthomieu, Bernard (1) Wert ausschließen Beyer, Dirk (1) Wert ausschließen Black, Paul E. (1) Wert ausschließen Cleaveland, Rance (1) Wert ausschließen Coste, Nicolas (1) Wert ausschließen Cristea, Valentin (1) Wert ausschließen Curic, Adrian (1) Wert ausschließen Descoubes, Nicolas (1) Wert ausschließen Dindeleux, Régis (1) Wert ausschließen Durán, Francisco (1) Wert ausschließen ETAPS 6 2003 Warschau (1) Wert ausschließen Evrard, Hugues (1) Wert ausschließen Fedyukovich, Grigory (1) Wert ausschließen Fehnker, Ansgar (1) Wert ausschließen Fernandez, Jean -Claude (1) Wert ausschließen Gallo, Ferdinando (1) Wert ausschließen Gnesi, Stefania (1) Wert ausschließen Graf-Brill, Alexander (1) Wert ausschließen Grenoble (1) Wert ausschließen Hartmanns, Arnd (1) Wert ausschließen Huisman, Marieke (1) Wert ausschließen Jensen, Peter G. (1) Wert ausschließen Joubert, Christophe (1) Wert ausschließen Kerbrat, Alain (1) Wert ausschließen Le Botlan, Didier (1) Wert ausschließen Liebke, Torsten (1) Wert ausschließen Luttik, Bas (1) Wert ausschließen Meijer, Jeroen (1) Wert ausschließen Morrison, Ron (1) Wert ausschließen Nagele, Julian (1) Wert ausschließen Occhipinti, Carmen (1) Wert ausschließen Oquendo, Flavio (1) Wert ausschließen Ponce-de-León, Hernán (1) Wert ausschließen Rodríguez, César (1) Wert ausschließen Salaün, Gwen (1) Wert ausschließen Schieferdecker, Ina (1) Wert ausschließen Smarandache, Irina (1) Wert ausschließen Smarandache-Sturm, Irina (1) Wert ausschließen Srba, Jiří (1) Wert ausschließen Steffen, Bernhard (1) Wert ausschließen Stragier, Gilles (1) Wert ausschließen Stöcker, Jan (1) Wert ausschließen Suda, Martin (1) Wert ausschließen Sutcliffe, Geoff (1) Wert ausschließen TACAS 9 2003 Warschau (1) Wert ausschließen Tabikh, Mohammad-Ali (1) Wert ausschließen Thierry-Mieg, Yann (1) Wert ausschließen Tronel, Frédéric (1) Wert ausschließen Universitatea politehnica (Bucarest) (1) Wert ausschließen Université Grenoble Alpes (1) Wert ausschließen Viho, César (1) Wert ausschließen Warboys, Brian (1) Wert ausschließen Weber, Tjark (1) Wert ausschließen Wolf, Karsten (1) Wert ausschließen Yamada, Akihisa (1) Wert ausschließen Zendri, Massimo (1) Wert ausschließen de Jong, Hidde (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (21) Wert ausschließen Springer International Publishing (CrossRef) (12) Wert ausschließen Elsevier BV (CrossRef) (8) Wert ausschließen Open Publishing Association (CrossRef) (6) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (4) Wert ausschließen BASE - Bielefeld Academic Search Engine (2) Wert ausschließen Verbunddaten SWB (2) Wert ausschließen theses.fr (2) Wert ausschließen Springer Nature Switzerland (CrossRef) (1) Wert ausschließen Show more show less