Joost-Pieter Katoen

Joost-Pieter Katoen in [[Logic Lane]], [[Oxford]] Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente. Provided by Wikipedia
Showing 1 - 12 results of 12 for search 'Katoen, Joost-Pieter', query time: 0.04s Refine Results
  1. 1
    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings /

    Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings /

    Published 1999
    Other Authors: “…Katoen, Joost-Pieter…”
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Principles of model checking /

    Principles of model checking / by Baier, Christel

    Published 2008
    Other Authors: “…Katoen, Joost-Pieter…”
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  3. 3
    Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /

    Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings /

    Published 1999
    Other Authors: “…Katoen, Joost-Pieter…”
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  4. 4
    Principles of model checking /

    Principles of model checking / by Baier, Christel

    Published 2008
    Other Authors: “…Katoen, Joost-Pieter…”
    Book
    Save to List
    Saved in:
  5. 5
    Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /

    Tools and algorithms for the construction and analysis of systems 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of...

    Published 2002
    Other Authors: “…Katoen, Joost-Pieter…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  6. 6
    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings /

    Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings /

    Published 2023
    Other Authors:
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  7. 7
    Dependable software engineering : theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /

    Dependable software engineering : theories, tools, and applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings /

    Published 2019
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  8. 8
    Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

    Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /

    Published 2001
    Other Authors:
    Conference Proceeding Book
    Save to List
    Saved in:
  9. 9
    Foundations of probabilistic programming /

    Foundations of probabilistic programming /

    Published 2021
    Other Authors:
    Full Text (via Cambridge)
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /

    Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, the Netherlands, July 3-7, 2000 : revised lectures /

    Published 2001
    Other Authors:
    Full Text (via Springer)
    Conference Proceeding eBook
    Save to List
    Saved in:
  11. 11
    CONCUR 2011--concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /

    CONCUR 2011--concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 : proceedings /

    Published 2011
    Other Authors: “…Katoen, Joost-Pieter…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook
    Save to List
    Saved in:
  12. 12
    ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /

    ModelEd, testEd, trustEd : essays dedicated to Ed Brinksma on the occasion of his 60th birthday /

    Published 2017
    Other Authors: “…Katoen, Joost-Pieter…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search