Major Journal Publications
|
[CTW2023]
 |
Paolo Crisafulli, Safouan Taha, Burkhart Wolff:
Modeling and analysing Cyber–Physical Systems in HOL-CSP.
In: Robotics and Autonomous Systems.
DOI: 10.1016/j.robot.2023.104549.
Volume 170, September 2023.
|
[BTW20]
|
Achim D. Brucker, Frederic Tuong and Burkhart Wolff:
Model Transformation as Conservative Theory-Transformation.
In: Journal of Object Technolology.
DOI: 10.5381/jot.2020.19.3.a3.
Volume 19, Issue 3, pages 1-16, September 2020.
|
[FGW15]
|
Abderrahmane Feliachi, Marie-Claude Gaudel, and Burkhart Wolff:
Symbolic Test-Generation in HOL-TestGen/Cirta: A Case Study.
In: Int. J. Software Informatics.
Web: Festschrift to the 66th Anniversaey of Bernd Krieg-Brueckner..
Volume 9, Issue 1, pages 177-203, September 2015.
|
[BBW14]
|
Achim D. Brucker, Lukas Brügger and Burkhart Wolff:
Formal Firewall Conformance Testing - An Application of Test and Proof Techniques
. In: Software Testing, Verification and Reliability (STVR).
DOI: 10.1002/stvr.1544..
Wiley InterScience (www.interscience.wiley.com),
Volume 25, Issue 1,pages 34-71, January 2015.
|
[BW11]
|
Achim D. Brucker and Burkhart Wolff:
On Theorem Prover-based Testing.
In: Formal Aspects of Computing (FAOC).
DOI: 10.1007/s00165-012-0222-y.
Volume 25, Issue 5, pp 683-721.
Springer, September 2013.
|
[BMSW10]
|
Sascha Böhme, Michal Moskal, Wolfram Schulte and Burkhart Wolff:
HOL-Boogie - An Interactive Prover-Backend for
the Verified C Compiler.
In Jacques Carette, Makarius Wenzel, Freek Wiedijk(Guest Editors) :
Journal of Automated Reasoning (JAR),
DOI: 10.1007/s10817-009-9142-9.
44(1--2), pages 111-144.
Springer, 2010.
|
[BW09]
|
Achim D. Brucker and Burkhart Wolff:
Semantics, Calculi, and Analysis for
Object-Oriented Specifications.
In Ernst-Rüdiger Olderog (Managing Editor):
Acta Informatica.
DOI: 10.1007/s00236-009-0093-8.
46 (4), pages 255-284. Springer, 2009.
|
[DDW09]
|
Matthias Daum, Jan Dörrenbächer and Burkhart Wolff:
Proving Fairness and Implementation Correctness of a
Microkernel Scheduler.
In: G. Klein, R. Huuck and B. Schlich:
Special Issue on Operating System Verification (2009),
Journal of Automated Reasoning (JAR),
DOI: 10.1007/s10817-009-9119-8.
42 (2-4), pages 349-388. Springer, 2009.
|
[BW08]
|
Achim Brucker and Burkhart Wolff: An Extensible Encoding of
Object-oriented Data Models in HOL with an Application to IMP++.
In: Journal of Automated Reasoning (JAR), DOI: 10.1007/s10817-008-9108-3, 41 (3-4), pages 219-249, Springer. 2008.
|
[BKNW07]
|
David Basin and Hironobu Kuruma and Shin Nakajima and Burkhart Wolff. The Z Specification Language and the Proof Environment Isabelle/HOL-Z. In Computer Software - Journal of the Japan Society for Software Science and Technology (JSSST), 24 (2), pages 21-26, 2007. In Japanese.
|
[BKMTW06]
|
David Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi and Burkhart Wolff: Verifying a Signature Architecture - A Comparative Case Study. In: Formal Aspects of Computing (FAC), 19 (1), pages 63-91, Springer.
DOI 10.1007/s00165-006-0012-5, 2007.
|
[BW04]
|
Achim D. Brucker and Burkhart Wolff:
A Verification-Approach for Applied System Security.
In International Journal of Software Technology and Technology Transfer (STTT), 7(5), pages 233-247.
DOI 10.1007/s10009-004-0176-3, Springer, 2005.
|
[LW99]
|
Christoph Lüth and Burkhart Wolff:
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. In Journal of Functional Programming (JFP),
DOI: 10.1017/S0956796899003421,Vol 9,
pages 165-189, 1999.
|
|