|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 53 occurrences of 32 keywords
|
|
|
|
|
Results
Found 53 publication records. Showing 53 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Isabelle/Circus: A Process Specification and Verification Environment.  |
VSTTE  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff |
Preface (OCL 2011 Proceedings). |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Makarius Wenzel, Burkhart Wolff |
Isabelle/PIDE as Platform for Educational Tools |
THedu'11 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Burkhart Wolff (eds.) |
Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings |
TAP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Burkhart Wolff, Fatiha Zaïdi (eds.) |
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff |
An approach to modular and testable security models of real-world health-care applications. |
SACMAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff |
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff |
Verified Firewall Policy Transformations for Test Case Generation. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
model-based testing, security testing |
| 1 | Matthias P. Krieger, Alexander Knapp, Burkhart Wolff |
Automatic and efficient simulation of operation contracts. |
GPCE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff |
A Specification-Based Test Case Generation Method for UML/OCL. |
MoDELS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff |
Unifying Theories in Isabelle/HOL. |
UTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Semantics, calculi, and analysis for object-oriented specifications. |
Acta Inf. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Daum, Jan Dörrenbächer, Burkhart Wolff |
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. |
J. Autom. Reasoning |
2009 |
DBLP DOI BibTeX RDF |
Formal verification, Interactive theorem proving, Microkernel, Isabelle/HOL |
| 1 | Achim D. Brucker, Burkhart Wolff |
hol-TestGen. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
symbolic test-case generations, theorem proving, black box testing, white box testing, interactive testing |
| 1 | Achim D. Brucker, Matthias P. Krieger, Burkhart Wolff |
Extending OCL with Null-References. |
MoDELS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff |
Verifying Test-Hypotheses: An Experiment in Test and Proof. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
An Extensible Encoding of Object-oriented Data Models in hol. |
J. Autom. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
Verification, Theorem proving, Object-oriented data models, hol |
| 1 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff |
Model-Based Firewall Conformance Testing. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
Model-based Testing, Firewall, Conformance Testing, Security Testing |
| 1 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: A Formal Proof Environment for UML/OCL. |
FASE |
2008 |
DBLP DOI BibTeX RDF |
holocl, ocl, Formal Method, Theorem Proving, uml |
| 1 | Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff |
A Verification Approach for System-Level Concurrent Programs. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff |
HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. |
TPHOLs |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Extensible Universes for Object-Oriented Data Models. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff |
Verifying a signature architecture: a comparative case study. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Security, Model checking, Formal methods, Theorem proving, Case study, Comparison |
| 1 | Achim D. Brucker, Burkhart Wolff |
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. |
TAP |
2007 |
DBLP DOI BibTeX RDF |
symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation |
| 1 | Makarius Wenzel, Burkhart Wolff |
Building Formal Method Tools in the Isabelle/Isar Framework. |
TPHOLs |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
An MDA Framework Supporting OCL. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
Semantic Issues of OCL: Past, Present, and Future. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Jürgen Doser, Burkhart Wolff |
A Model Transformation Semantics and Analysis Methodology for SecureUML. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff (eds.) |
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 |
FATES/RV |
2006 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
A verification approach to applied system security. |
STTT |
2005 |
DBLP DOI BibTeX RDF |
Security, Verification, Refinement, Z, POSIX |
| 1 | David Aspinall, Christoph Lüth, Burkhart Wolff |
Assisted Proof Document Authoring. |
MKM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff |
Verification of a Signature Architecture with HOL-Z. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Interactive Testing with HOL-TestGen. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
symbolic test case generations, theorem proving, black box testing, white box testing, interactive testing |
| 1 | Thomas Meyer, Burkhart Wolff |
Tactic-Based Optimized Compilation of Functional Programs. |
TYPES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Symbolic Test Case Generation for Primitive Recursive Functions. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Frank Rittinger, Burkhart Wolff |
HOL-Z 2.0: A Proof Environment for Z-Specifications. |
J. UCS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nicole Rauch, Burkhart Wolff |
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
A Case Study of a Formalized Security Architecture. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Burkhart Wolff (eds.) |
Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings |
TPHOLs |
2003 |
DBLP BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
HOL-OCL: Experiences, Consequences and Design Choices. |
UML |
2002 |
DBLP DOI BibTeX RDF |
refinement, OCL, formal semantics, constraint languages |
| 1 | Achim D. Brucker, Burkhart Wolff |
Using Theory Morphisms for Implementing Formal Methods Tools. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics |
| 1 | Achim D. Brucker, Burkhart Wolff |
A Proposal for a Formal OCL Semantics in Isabelle/HOL. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
shallow embedding, UML, testing, OCL, Isabelle |
| 1 | Achim D. Brucker, Burkhart Wolff |
Testing Distributed Component Based Systems Using UML/OCL. |
GI Jahrestagung |
2001 |
DBLP BibTeX RDF |
|
| 1 | Christoph Lüth, Burkhart Wolff |
More About TAS and IsaWin - Tools for Formal Program Development. |
FASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Lüth, Burkhart Wolff |
TAS - A Generic Window Inference System. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Lüth, Burkhart Wolff |
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff |
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. |
ZUM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff |
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Haykal Tej, Burkhart Wolff |
A Corrected Failure Divergence Model for CSP in Isabelle/HOL. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kolyang, Thomas Santen, Burkhart Wolff |
Correct and User-Friendly Implementations of Transformation Systems. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Kolyang, Thomas Santen, Burkhart Wolff |
A Structure Preserving Encoding of Z in Isabelle/HOL. |
TPHOLs |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff |
Towards Correct, Efficient and Reusable Transformational Developments. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi |
Towards Correctness, Efficiency and Reusability of Transformational Developments. |
GI Jahrestagung |
1993 |
DBLP BibTeX RDF |
|
Displaying result #1 - #53 of 53 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")