Jens Bendisposto

Kontakt

Heinrich-Heine-Universität Düsseldorf

Institut für Informatik
Universitätsstraße 1
D-40225 Düsseldorf

Email: bendisposto@cs.uni-duesseldorf.de

Tel.: +49 (211) 81-10714
Fax: +49 (211) 81-10712

Raum: 25.12.02.54

Aktuelle Lehrveranstaltungen (Wintersemester 2016)

Meine offenen Themen für Abschlussarbeiten finden Sie undefinedhier.

Veröffentlichungen

2016

2015

  • Ladenberger, Lukas, Hansen, Dominik, Wiegard, Harald, Bendisposto, Jens, Leuschel, Michael
    Validation of the ABZ landing gear system using ProB.
    In International Journal on Software Tools for Technology Transfer, Springer Berlin Heidelberg, 1-17, 2015.
  • From Failure to Proof: The ProB Disprover for B and Event-B.
    In Proceedings SEFM'2015, LNCS 9276, Springer, 2015.
    PDF

2014

2013

2011

  • Bendisposto, Jens, Fritz, Fabian, Jastram, Michael, Leuschel, Michael, Weigelt, Ingo
    Developing Camille, a text editor for Rodin.
    In Software: Practice and Experience, 41, 2, John Wiley & Sons, Ltd., 189--198, 2011.
  • Automatic Flow Analysis for Event-B.
    In Proceedings of Fundamental Approaches to Software Engineering (FASE) 2011, Dimitra Giannakopoulou and Fernando Orejas, Lecture Notes in Computer Science, 6603, Springer, 50--64, 2011.
    PDF

2010

  • Directed Model Checking for B: An Evaluation and New Techniques.
    In SBMF'2010, Jim Davies and Leila Silva and Adenilso da Silva Simão, Lecture Notes in Computer Science, 6527, Springer, 1--16, 2010.
    PDF
  • GEPAVAS Gerichtete und parallele Validierung von abstrakten Spezifikationen - Projektreport.
    In 2010.
    PDF

2009

  • Proof Assisted Model Checking for B.
    In Proceedings of ICFEM 2009, Karin Breitman and Ana Cavalcanti, Lecture Notes in Computer Science, 5885, Springer, 504-520, 2009.
    PDF
  • Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker
    Applying Model Checking to Generate Model-based Integration Tests from Choreography Models.
    In Proceedings TESTCOM/FATES 2009, Lecture Notes in Computer Science, 5826, Springer-Verlag, 179--194, 2009.
    PDF
  • Visualising Event-B Models with B-Motion Studio.
    In Proceedings of FMICS 2009, Marı́a Alpuente and Byron Cook and Christophe Joubert, Lecture Notes in Computer Science, 5825, Springer, 202-204, 2009.
    PDF
  • Mireille Samia, Harald Wiegard, Jens Bendisposto, Michael Leuschel
    High-Level versus Low-Level Specifications: Comparing B with Promela and ProB with Spin.
    In Proceedings TFM-B 2009, Attiogbe and Mery, APCB, 2009.
    PDF
  • Parallel Model Checking of Event-B Specification with ProB.
    In 2009.

2008

  • Michael Leuschel, Mireille Samia, Jens Bendisposto, Li Luo
    Easy Graphical Animation and Formula Viewing for Teaching B.
    In The B Method: from Research to Teaching, C. Attiogbé and H. Habrias, Lina, 17--32, 2008.
    PDF
  • A Semantics-Aware Editing Environment for Prolog in Eclipse.
    In Proceedings of the 18th Workshop on Logic-based methods in Programming Environments, WLPE, 2008.
    PDF
  • Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia
    La validation de modèles Event-B avec le plug-in ProB pour RODIN.
    In Technique et Science Informatiques, 27, 8, 1065-1084, 2008.

2007

  • BE4: The B Extensible Eclipse Editing Environment.
    In Proceedings of B 2007, Jacques Julliand and Olga Kouchnarenko, Lecture Notes in Computer Science, 4355, Springer, 270-273, 2007.
    PDF
  • A Generic Flash-Based Animation Engine for ProB.
    In Proceedings of B 2007, Jacques Julliand and Olga Kouchnarenko, Lecture Notes in Computer Science, 4355, Springer, 266-269, 2007.
    PDF
  • Debugging Event-B Models using the ProB Disprover Plug-in.
    In Proceedings AFADL'07, 2007.
    PDF

2006

  • Animating and Model Checking B Specifications with Higher-Order Recursive Functions.
    In Dagstuhl Seminar 06191 "Rigorous Methods for Software Construction and Analysis", J. Abrial, U. Glässer, 2006.
    PDF
Verantwortlich für den Inhalt: E-Mail sendenWE Informatik