Zum Inhalt springen

  1. Meseguer, José [HerausgeberIn]; Roşu, Grigore [Sonstige Person, Familie und Körperschaft] ; AMAST 12 2008 Urbana, Ill

    Algebraic methodology and software technology : 12th international conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 5140

  2. Fisman, Dana [VerfasserIn] ; Rosu, Grigore [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature, 2022

  3. Fisman, Dana [VerfasserIn] ; Rosu, Grigore [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature, 2022

  4. Giese, Holger [VerfasserIn] ; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]

    Formal Techniques for Distributed Systems : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2012

    Erschienen in: Lecture notes in computer science ; 7273

  5. Rosu, Grigore [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Artificial Intelligence, ACM Special Interest Group on Software Engineering

    Proceedings of the 32nd IEEEACM International Conference on Automated Software Engineering

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Piscataway, NJ: IEEE Press, 2017

    Erschienen in: ACM Digital Library

  6. Greiner-Petter, André [VerfasserIn]; Cohl, Howard S. [VerfasserIn]; Youssef, Abdou [VerfasserIn]; Schubotz, Moritz [VerfasserIn]; Trost, Avi [VerfasserIn]; Dey, Rajen [VerfasserIn]; Aizawa, Akiko [VerfasserIn]; Gipp, Bela [VerfasserIn] ; Fisman, Dana [MitwirkendeR]; Rosu, Grigore [MitwirkendeR]

    Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems - [published Version]

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg : Springer, 2022

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems : Proceedings, Part I ; Lecture notes in computer science ; 13243

  7. Legunsen, Owolabi [HerausgeberIn]; Rosu, Grigore [HerausgeberIn]

    Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13255

  8. Fisman, Dana [HerausgeberIn]; Rosu, Grigore [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13243

  9. Fisman, Dana [HerausgeberIn]; Rosu, Grigore [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature, 2022

    Erschienen in: Lecture Notes in Computer Science

  10. Fisman, Dana [HerausgeberIn]; Rosu, Grigore [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13244

  11. Fisman, Dana [HerausgeberIn]; Rosu, Grigore [HerausgeberIn]

    Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer Nature, 2022

    Erschienen in: Lecture Notes in Computer Science

  12. Rosu, Grigore [HerausgeberIn]; Di Penta, Massimiliano [HerausgeberIn]; Nguyen, Tien N. [HerausgeberIn] ; IEEE/ACM International Conference on Automated Software Engineering 32. 2017 Urbana, Ill, Institute of Electrical and Electronics Engineers, Institute of Electrical and Electronics Engineers, Association for Computing Machinery, Association for Computing Machinery Special Interest Group on Software Engineering, Association for Computing Machinery Special Interest Group on Artificial Intelligence, IEEE Computer Society

    ASE'17 : proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering : October 30-November 3, 2017, Urbana-Champaign, IL, USA

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Piscataway, NJ: IEEE, 2017

  13. Havelund, Klaus [Sonstige Person, Familie und Körperschaft]; Nuñez, Manuel [Sonstige Person, Familie und Körperschaft]; Rosu, Grigore [Sonstige Person, Familie und Körperschaft]; Wolff, Burkhart [Sonstige Person, Familie und Körperschaft]

    Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4262

  14. Bjørner, Nikolaj S. [VerfasserIn]; Christakis, Maria [VerfasserIn]; Maffei, Matteo [VerfasserIn]; Rosu, Grigore [VerfasserIn] ; Nikolaj S. Bjørner and Maria Christakis and Matteo Maffei and Grigore Rosu [MitwirkendeR]

    Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  15. Lucanu, Dorel [VerfasserIn]; Goriac, Eugen-Ioan [VerfasserIn]; Caltais, Georgiana [VerfasserIn]; Roşu, Grigore [VerfasserIn]

    CIRC : A Behavioral Verification Tool Based on Circular Coinduction

    Konferenzberichte
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    KOPS - The Institutional Repository of the University of Konstanz, 2009