Skip to contents Wolff, Burkhart [Author] LIMA : a unified approach to modularity, parametrisation and views in attributations Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen, 1994 Published in: Informatik ; 94,11 Gogolla, Martin [Editor]; Wolff, Burkhart [Other] ; TAP 5 2011 Zürich Tests and proofs : 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; 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, 2011 Published in: Lecture notes in computer science ; 6706 Wolff, Burhart [Other]; Zai̇di, Fatiha [Other]; Wolff, Burkhart [Editor] ; ICTSS 23 2011 Paris Testing software and systems : 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 ; 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, 2011 Published in: Lecture notes in computer science ; 7019 Gogolla, Martin [Author] ; Wolff, Burkhart [Other] Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6706 Basin, David [Author] ; Wolff, Burkhart [Other] Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2758 Basin, David [Author] ; Wolff, Burkhart [Other] Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 275800 Wolff, Burkhart [Author] ; Gaudel, Marie-Claude [Other]; Feliachi, Abderrahmane [Other] Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers 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, 2013 Published in: Lecture notes in computer science ; 7681 Wolff, Burkhart [Author] ; Zaïdi, Fatiha [Other] Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 7019 Sachtleben, Robert [Author] ; Peleska, Jan [Degree supervisor]; Wolff, Burkhart [Degree supervisor] Universität Bremen An approach for the verification and synthesis of complete test generation algorithms for finite state machines Books View online Schließen > Access ... to E-book via DOI (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen, 2022 Dubois, Catherine [Editor]; Wolff, Burkhart [Editor] Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, 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. Cham: Springer, 2018 Published in: Lecture notes in computer science ; 1088900 Krieger, Matthias [Author] ; Paris 11 [Contributor]; Wolff, Burkhart [Contributor] Test generation and animation based on object-oriented specifications ; Génération de tests et animation à partir de spécifications orientées objet 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-12-09 Ballenghien, Benoît [Author]; Wolff, Burkhart [Author] ; Benoît Ballenghien and Burkhart Wolff [Contributor] An Operational Semantics in Isabelle/HOL-CSP Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024 Rauch, Nicole [Author]; Wolff, Burkhart [Author] Formalizing Java’s Two’s-Complement Integral Type in Isabelle/HOL Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, 2004 Published in: ETH technical report, 458 Brucker, Achim D. [Author]; Wolff, Burkhart [Author] A case study of a formalized security architecture Conference Proceedings View online Schließen > Links ... to conference proceeding Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2012 Brucker, Achim D. [Author]; Wolff, Burkhart [Author] The HOL-OCL book: Version 0.9.0 Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, 2006 Published in: Technical Report / ETH Zurich, Department of Computer Science, 525 Brucker, Achim D. [Author]; Wolff, Burkhart [Author] HOL-TestGen 1.0.0 user guide Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH Zurich, Information Security, Department of Computer Science, 2005-04-07 Published in: ETH Technical Report, 482 Brucker, Achim D. [Author]; Wolff, Burkhart [Author] Symbolic Test Case Generation for Primitive Recursive Functions Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, 2004-06 Published in: ETH technical report, 449 Nguyen Van, Hai [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Wolff, Burkhart [Contributor] Formalizing Time and Causality in Polychronous Polytimed Models ; Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés 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, 2018-09-27 Aïssat, Romain [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Wolff, Burkhart [Contributor] Infeasible Path Detection : a Formal Model and an Algorithm ; Détection de chemins infaisables : un modèle formel et un algorithme 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, 2017-01-30 Tuong, Frédéric [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Wolff, Burkhart [Contributor] Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages ; Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL 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, 2016-04-06
Wolff, Burkhart [Author] LIMA : a unified approach to modularity, parametrisation and views in attributations Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen, 1994 Published in: Informatik ; 94,11
Gogolla, Martin [Editor]; Wolff, Burkhart [Other] ; TAP 5 2011 Zürich Tests and proofs : 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; 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, 2011 Published in: Lecture notes in computer science ; 6706
Wolff, Burhart [Other]; Zai̇di, Fatiha [Other]; Wolff, Burkhart [Editor] ; ICTSS 23 2011 Paris Testing software and systems : 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 ; 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, 2011 Published in: Lecture notes in computer science ; 7019
Gogolla, Martin [Author] ; Wolff, Burkhart [Other] Tests and Proofs : 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 6706
Basin, David [Author] ; Wolff, Burkhart [Other] Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003 Published in: Lecture notes in computer science ; 2758
Basin, David [Author] ; Wolff, Burkhart [Other] Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2003 Published in: Lecture notes in computer science ; 275800
Wolff, Burkhart [Author] ; Gaudel, Marie-Claude [Other]; Feliachi, Abderrahmane [Other] Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers 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, 2013 Published in: Lecture notes in computer science ; 7681
Wolff, Burkhart [Author] ; Zaïdi, Fatiha [Other] Testing Software and Systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 7019
Sachtleben, Robert [Author] ; Peleska, Jan [Degree supervisor]; Wolff, Burkhart [Degree supervisor] Universität Bremen An approach for the verification and synthesis of complete test generation algorithms for finite state machines Books View online Schließen > Access ... to E-book via DOI (freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen, 2022
Dubois, Catherine [Editor]; Wolff, Burkhart [Editor] Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, 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. Cham: Springer, 2018 Published in: Lecture notes in computer science ; 1088900
Krieger, Matthias [Author] ; Paris 11 [Contributor]; Wolff, Burkhart [Contributor] Test generation and animation based on object-oriented specifications ; Génération de tests et animation à partir de spécifications orientées objet 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-12-09
Ballenghien, Benoît [Author]; Wolff, Burkhart [Author] ; Benoît Ballenghien and Burkhart Wolff [Contributor] An Operational Semantics in Isabelle/HOL-CSP Articles View online Schließen > Links ... to article via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
Rauch, Nicole [Author]; Wolff, Burkhart [Author] Formalizing Java’s Two’s-Complement Integral Type in Isabelle/HOL Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, 2004 Published in: ETH technical report, 458
Brucker, Achim D. [Author]; Wolff, Burkhart [Author] A case study of a formalized security architecture Conference Proceedings View online Schließen > Links ... to conference proceeding Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Eidgenössische Technische Hochschule Zürich, Department of Computer Science, 2012
Brucker, Achim D. [Author]; Wolff, Burkhart [Author] The HOL-OCL book: Version 0.9.0 Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, 2006 Published in: Technical Report / ETH Zurich, Department of Computer Science, 525
Brucker, Achim D. [Author]; Wolff, Burkhart [Author] HOL-TestGen 1.0.0 user guide Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH Zurich, Information Security, Department of Computer Science, 2005-04-07 Published in: ETH Technical Report, 482
Brucker, Achim D. [Author]; Wolff, Burkhart [Author] Symbolic Test Case Generation for Primitive Recursive Functions Books View online Schließen > Links ... to E-book Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. ETH, Department of Computer Science, 2004-06 Published in: ETH technical report, 449
Nguyen Van, Hai [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Wolff, Burkhart [Contributor] Formalizing Time and Causality in Polychronous Polytimed Models ; Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés 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, 2018-09-27
Aïssat, Romain [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Wolff, Burkhart [Contributor] Infeasible Path Detection : a Formal Model and an Algorithm ; Détection de chemins infaisables : un modèle formel et un algorithme 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, 2017-01-30
Tuong, Frédéric [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Wolff, Burkhart [Contributor] Constructing Semantically Sound Object-Logics for UML/OCL Based Domain-Specific Languages ; Construction de Logiques-Objet Sémantiquement Correct pour des Langages à Domaines Spécifiques Basés sur UML/OCL 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, 2016-04-06
> Media type Skip to next facet Articles (58) Wert ausschließen Books (20) Wert ausschließen Thesis (5) Wert ausschließen Conference Proceedings (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright - Non-commercial Use Permitted (8) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (32) Wert ausschließen Without Specification (50) Wert ausschließen Show more show less
> Language Skip to next facet English (46) Wert ausschließen Not determined (36) Wert ausschließen German (2) Wert ausschließen Latin (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (34) Wert ausschließen Mathmatics (10) Wert ausschließen Theology and religious studies (2) Wert ausschließen General (1) Wert ausschließen Philosophy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Wolff, Burkhart (80) Wert ausschließen Brucker, Achim D. (33) Wert ausschließen Brügger, Lukas (6) Wert ausschließen Feliachi, Abderrahmane (5) Wert ausschließen Krieger, Matthias P. (5) Wert ausschließen Nguyen Van, Hai (5) Wert ausschließen Basin, David (4) Wert ausschließen Boulanger, Frédéric (4) Wert ausschließen Gaudel, Marie-Claude (4) Wert ausschließen Nemouchi, Yakoub (4) Wert ausschließen Université Paris-Saclay (ComUE) (4) Wert ausschließen Felsecker, Wolfgang Eberhard (3) Wert ausschließen Löffelholtz, Burckhart (3) Wert ausschließen Lüth, Christoph (3) Wert ausschließen Wenzel, Makarius (3) Wert ausschließen Ait-Sadoune, Idir (2) Wert ausschließen Andreae, Leonhardus (2) Wert ausschließen Balabonski, Thibaut (2) Wert ausschließen Ballenghien, Benoît (2) Wert ausschließen Beer, Martin (2) Wert ausschließen Bolster, Georg (2) Wert ausschließen Boner, Heinricus (2) Wert ausschließen Böhme, Sascha (2) Wert ausschließen Doser, Jürgen (2) Wert ausschließen Eschenbach, Christianus (2) Wert ausschließen Feuerlein, Conrad (2) Wert ausschließen Fleischberger, I. F. (2) Wert ausschließen Frörenteich, Joh. Jacob (2) Wert ausschließen Gaßmann, Johannes Georgius (2) Wert ausschließen Gogolla, Martin (2) Wert ausschließen Havle, Oto (2) Wert ausschließen Held, Johannes (2) Wert ausschließen Keller, Chantal (2) Wert ausschließen Knapp, Alexander (2) Wert ausschließen Kuruma, Hironobu (2) Wert ausschließen Leibnitz, Justus Jacobus (2) Wert ausschließen Lochner, Christoph (2) Wert ausschließen Rauch, Nicole (2) Wert ausschließen Saubert, Adolf (2) Wert ausschließen Sauer, Joh (2) Wert ausschließen Scharman, Wolfgang Christoph (2) Wert ausschließen Schrötel, Christianus (2) Wert ausschließen Seyppel, Johann Jacob (2) Wert ausschließen Takaragi, Kazuo (2) Wert ausschließen Tuong, Frédéric (2) Wert ausschließen Unglenckius, Andr (2) Wert ausschließen Valiron, Benoît (2) Wert ausschließen Weber, Paul (2) Wert ausschließen Aissat, Romain (1) Wert ausschließen Aïssat, Romain (1) Wert ausschließen Aspinall, David (1) Wert ausschließen Barras, Bruno (1) Wert ausschließen Benoît Ballenghien and Burkhart Wolff (1) Wert ausschließen Betschko, Ralph (1) Wert ausschließen Beyer, Martin (1) Wert ausschließen Blasum, Holger (1) Wert ausschließen Broy, Manfred (1) Wert ausschließen Brucker, Achim (1) Wert ausschließen Burkhart, Christoph (1) Wert ausschließen Crisafulli, Paolo (1) Wert ausschließen Daum, Matthias (1) Wert ausschließen Dawid, Markus (1) Wert ausschließen Dick, Sabine (1) Wert ausschließen Didrich, Klaus (1) Wert ausschließen Dubois, Catherine (1) Wert ausschließen Dumortier, Thomas (1) Wert ausschließen Dörrenbächer, Jan (1) Wert ausschließen Fallahi, Nasanin (1) Wert ausschließen Faulhaber, Joachim (1) Wert ausschließen Gastinger, Stefan (1) Wert ausschließen Grenet, Olivier (1) Wert ausschließen Grieskamp, Wolfgang (1) Wert ausschließen Griffiths, Christopher E.M. (1) Wert ausschließen Gymnasium Nürnberg (1) Wert ausschließen Hai Nguyen Van and Frédéric Boulanger and Burkhart Wolff (1) Wert ausschließen Hanrath, Peter (1) Wert ausschließen Havelund, Klaus (1) Wert ausschließen Heisel, Maritta (1) Wert ausschließen Herbelin, Hugo (1) Wert ausschließen Hijazi, Youssef (1) Wert ausschließen Hußmann, Heinrich (1) Wert ausschließen ICTSS 23 2011 Paris (1) Wert ausschließen Junbo, Liu (1) Wert ausschließen Jung, Thomas (1) Wert ausschließen Jéron, Thierry (1) Wert ausschließen Kalmar, Peter (1) Wert ausschließen Kearney, Paul (1) Wert ausschließen Kleyn, Elise (1) Wert ausschließen Knight, Hilary (1) Wert ausschließen Kopp, Tamara (1) Wert ausschließen Krebber, Hans-Joachim (1) Wert ausschließen Krieg-Brückner, Bernd (1) Wert ausschließen Krieger, Matthias (1) Wert ausschließen Langenstein, Bruno (1) Wert ausschließen Langenstein, Burkhart A. (1) Wert ausschließen Leino, K. Rustan M. (1) Wert ausschließen Longuet, Delphine (1) Wert ausschließen McGeown, Claire (1) Wert ausschließen Mehlich, Michael (1) Wert ausschließen Meingassner, Josef G. (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (24) Wert ausschließen BASE - Bielefeld Academic Search Engine (17) Wert ausschließen Verbunddaten SWB (14) Wert ausschließen Springer International Publishing (CrossRef) (10) Wert ausschließen ETH Zürich Research Collection (8) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (5) Wert ausschließen theses.fr (5) Wert ausschließen Elsevier BV (CrossRef) (4) Wert ausschließen Lizenzfreie Online-Ressourcen (4) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (3) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (3) Wert ausschließen Open Publishing Association (CrossRef) (2) Wert ausschließen Springer Nature Switzerland (CrossRef) (2) Wert ausschließen AITO - Association Internationale pour les Technologies Objets (CrossRef) (1) Wert ausschließen ARGESIM Arbeitsgemeinschaft Simulation News (CrossRef) (1) Wert ausschließen American Society for Clinical Investigation (CrossRef) (1) Wert ausschließen Augsburg University Publication Server (OPUS) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less