HOL-Z 2.0: A Proof Environment for Z-Specifications Extended Abstract (2008)
Achim D. Brucker, Stefan Friedrich, Frank Rittinger, Burkhart Wolff
The design of tools for formal specification languages (SL) can be roughly divided into two categories: special purpose design strives for implementing an SL and its method straight-forwardly in an...
HOL-Z 2.0: A Proof Environment for Z-Specifications Extended Abstract (2007)
Achim D. Brucker, Stefan Friedrich, Frank Rittinger, Burkhart Wolff
The design of tools for formal specification languages (SL) can be roughly divided into two categories: special purpose design strives for implementing an SL and its method straight-forwardly in an...
A Formal Data-Model of the CORBA Security Service (2007)
David Basin, Frank Rittinger, Luca Vigan
We use the formal language Z to specify and analyze the security service of CORBA. In doing so, we tackle the problem of how one can apply lightweight formal methods to improve the precision and aid...
A Formal Analysis of the CORBA Security (2007)
Abstract. We give a formal specication and analysis of the security service of CORBA, the Common Object Request Broker Architecture speci ed by the Object Management Group, OMG. In doing so, we...
A case study of a formalized security architecture (2003)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff
These days, the Concurrent Versions System (CVS) is a widely used tool for version management in many industrial software development projects, and plays a key role in open source projects usually...
A case study of a formalized security architecture (2003)
Achim D. Brucker, Frank Rittinger, Burkhart Wol
These days, the Concurrent Versions System (CVS) is a widely used tool for version management in many industrial software development projects, and plays a key role in open source projects usually...
A case study of a formalized security architecture (2003)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff
These days, the Concurrent Versions System (CVS) is a widely used tool for version management in many industrial software development projects, and plays a key role in open source projects usually...
Proof Environment For, Achim D. Brucker, Frank Rittinger, Burkhart Wol, ...
We present a new proof environment for the specification language Z. The basis is a semantic representation of Z in a structure-preserving, shallow embedding in Isabelle/HOL. On top of the embedding,...
HOL-Z 2.0: A proof environment for Z-specifications (2002)
Achim D. Brucker, Frank Rittinger, Burkhart Wol
Abstract: We present a new proof environment for the specification language Z. The basis is a semantic representation of Z in a structure-preserving, shallow embedding in Isabelle/HOL. On top of the...
A formal analysis of the CORBA security service (2002)
We give a formal specication of the security service of CORBA, the Common Object Request Broker Architecture speci ed by the Object Management Group, OMG. In doing so, we tackle the problem of how...
HOL-Z 2.0: A proof environment for Z-specifications (2002)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff
Abstract: We present a new proof environment for the specification language Z. The basis is a semantic representation of Z in a structure-preserving, shallow embedding in Isabelle/HOL. On top of the...
Proof Environment For, Achim D. Brucker, Stefan Friedrich, Frank Rittinger, Burkhart Wol
Achim D. Brucker, Stefan Friedrich, Frank Rittinger, and Burkhart Wol# Albert-Ludwigs-Universitat Freiburg {brucker,friedric,rittinge,wolff}@informatik.uni-freiburg.de 1
HOL-Z 2.0: A proof environment for Z-specifications (2002)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff
Abstract: We present a new proof environment for the specification language Z. The basis is a semantic representation of Z in a structure-preserving, shallow embedding in Isabelle/HOL. On top of the...
Technical Report 182 A CVS-Server Security Architecture Concepts and Formal Analysis (2002)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff
We would like to thank Nicole Rauch (Uni Kaiserslautern) for many valuable comments
-- Concepts and Formal Analysis (2002)
Achim D. Brucker, Frank Rittinger, Burkhart Wolff
This is based on a refinement, mapping a system architecture on an implementation architecture abstractly describing CVS in our implementation. The system architecture describes the abstract system...
HOL-Z 2.0: A proof environment for Z-specifications (2002)
Achim D. Brucker, Stefan Friedrich, Frank Rittinger, Burkhart Wolff
The design of tools for formal specification languages (SL) can be roughly devided into two categories: special purpose design strives for implementing an SL and its method straight-forwardly in an...
The CS Freiburg Team: Playing Robotic Soccer Based on an Explicit World Model (1999)
Jens-steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, ...
Robotic soccer is an ideal task to demonstrate new techniques and to explore new problems. Moreover, problems and solutions can be easily communicated because soccer is a well-known game. Our...
Participation at RoboCup'98: The World Champions in Robotic Soccer (1999)
Bernhard Nebel, Wolfgang Hatzack, Thilo Weigel, Jens-steffen Gutmann, Immanuel Herrmann, Frank Rittinger, ...
Robotic soccer is a challenging research domain that can be used to explore new problems and to demonstrate new techniques. We participated in RoboCup'98 in order to explore the problems of...
Jens-Steffen Gutmann, Immanuel Herrmann, Bernhard Nebel, Wolfgang Hatzack, Augustinus Topor, ...
Robotic soccer is a challenging research domain because problems in robotics, artificial intelligence, multi-agent systems and real-time reasoning have to be solved in order to create a successful...
Jens-Steffen Gutmann, J-s. Gutmann, Immanuel Herrmann, Bernhard Nebel, Wolfgang Hatzack, Augustinus Topor, ...
. This paper describes the CS Freiburg Team for the RoboCup '98 contest. Our main focus lies in developing reliable and robust perception technology and basic behaviors for playing soccer with...
Jens-steffen Gutmann, Wolfgang Hatzack, Immanuel Herrmann, Bernhard Nebel, Frank Rittinger, Augustinus Topor, ...
. Robotic soccer is a challenging research domain because problems in robotics, artificial intelligence, multi-agent systems and real-time reasoning have to be solved in order to create a successful...