The HOL-TestGen Website
brucker.ch
Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. Formal Network Models and Their Application to Firewall Policies. In Archive of Formal Proofs,
The HOL-OCL Website
brucker.ch
HOL - OCL ist freie Software und kann unter den Bedingungen der GPL weitergegebenwerden und wird von Achim D. Brucker und Burkhart Wolff entwickelt.
Burkhart Wolff
www.db.informatik.uni-bremen.de
Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices, Fifth International Conference on the Unified Modeling Language - the ...
Break-Glass: Handling Exceptional Situations in Access Control -...
books.google.de
Achim D. Brucker and Burkhart Wolff. Symbolic test case generation for primitive recursive functions. In Formal Approaches to Testing of Software, number
UML The Unified Modeling Language. Model Engineering,...
books.google.de
196, 197 [3] Achim D. Brucker and Burkhart Wolff. A proposal for a formal OCL semantics in Isabelle/HOL. In César Mu ̃noz, Sophi`ene Tahar, and V ́ıctor Carre ...
Proceedings of the Sixth OCL Workshop OCL for (Meta-)Models …
journal.ub.tu-berlin.de
WebAchim D. Brucker, Jürgen Doser, and Burkhart Wolff Information Security, ETH Zurich, Zurich, Switzerland &#.ch Abstract: We present a …
Department of Computer Science - Technical Reports
tr.informatik.uni-freiburg.de
WebAchim D. Brucker, Burkhart Wolff A Note on Design Decisions of a Formalization of the OCL. We compare several formal and informal approaches to define the semantics of the …
Fifth International Conference on the Unified Modeling Language...
www.db.informatik.uni-bremen.de
Achim D. Brucker, Burkhart Wolff: HOL-OCL: Experiences, Consequences and Design Choices, p , (BibTeX entry). Model Engineering 1.
Technische Berichte aus dem Jahr 2002
www2.informatik.uni-freiburg.de
Bericht Nr.182, Dezember (PostScript): Achim D. Brucker, Frank Rittinger, Burkhart Wolff: A CVS-Server Security Architecture - Concepts and Formal ...
Search results for "Achim D. Brucker" – FacetedDBLP
dblp.l3s.de
2, Achim D. Brucker, Burkhart Wolff, Testing Distributed Component Based Systems Using UML/OCL. Search with DBLP WebCrawler · Search on Bibsonomy ...
Theorem-prover based Testing with HOL-TestGen - Achim D. Brucker and...
www.youscribe.com
Theorem-prover based Testing with HOL-TestGen : Theorem-prover based Testingwith HOL-TestGen1 2 3Achim D. Brucker Lukas Brügger Burkhart Wolff1SAP Research,...
Alle Infos zum Namen "Burkhart Wolff"
Burkhart Wolff - Google Scholar-sitaterscholar.google.no › citations
scholar.google.no
International Conference on Theorem Proving in Higher Order Logics, The hol-ocl book. AD Brucker, B Wolff. ETH, Department of ...
Achim D. Brucker - Google Scholar
scholar.google.at
University of Exeter, Exeter, UK - mal zitiert - Security - Formal Methods - Verification & Testing - Software Engineering - Theorem...
DresdenOCL:SuccessStories
www.dresden-ocl.org
Success Stories . Dresden OCL has been ... (HOL) instance of the interactive theorem prover Isabelle. HOL-OCL is developed by Achim D. Brucker and Burkhart Wolff.
ETAPS 2008
etaps.org
Programme of MBT at ETAPS (Fourth Workshop on Model-Based Testing) Sunday, March 30, room: Room IV Achim D. Brucker, Lukas Brügger, and Burkhart Wolff
Burkhart - Translation into English - examples German
context.reverso.net
HOL-OCL wird von Achim D. Brucker und Burkhart Wolff entwickelt. HOL-OCL is developed by Achim D. Brucker and Burkhart Wolff. › translation › Burkhart
10th International Conference on Tests & Proofs (TAP 2016)
tap2016.ist.tugraz.at
Achim D. Brucker and Burkhart Wolff Monadic Sequence Testing and Explicit Test-Refinements. Hermann Felbinger, Ingo Pill and Franz Wotawa Classifying ...
HOL-TestGen User Guide - White Rose Research Online
eprints.whiterose.ac.uk
von AD Brucker · · Zitiert von: 19 — Brucker, A.D.; Wolff, B. Copyright, Publisher and Additional Information: © 2004–2005 Achim D. Brucker and Burkhart Wolff Permission is granted ... › ...
Publications sorted by type - Website of Achim D. Brucker
brucker.ch
[8], Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. Formal Firewall Conformance Testing: An Application of Test and Proof Techniques. › research › publ...
Inria - Formal Firewall Conformance Testing
hal.inria.fr
Achim D. Brucker, Brügger Lukas, Burkhart Wolff. Formal Firewall Conformance Testing: An Application of Test and Proof Techniques. Journal of Software ...
Using the Isabelle Ontology Framework HAL Univ. Lorraine
hal.univ-lorraine.fr
von AD Brucker · · Zitiert von: 17 — Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff. Using the Isabelle Ontology Framework. Linking the Formal with the Informal. › hal
Inria - Featherweight OCL: A Proposal for a Machine-Checked Formal...
hal.inria.fr
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL Achim D. Brucker 1 Frédéric Tuong 2, 3, 4, 5, 6, 7 Burkhart Wolff 2, 4, 5, ...
Using the Isabelle Ontology Framework. Linking HAL-Inserm
www.hal.inserm.fr
von AD Brucker · · Zitiert von: 17 — Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, Burkhart Wolff. Using the Isabelle Ontology Framework. Linking the Formal with the Informal. › LRI-M...
DresdenOCL:Publications
www.dresden-ocl.org
Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Berhard Rumpe, Edward D. Willink, Burkhart Wolff Report on the ...
Matthias P. Krieger (Software Developer)
www.mpkrieger.net
Achim D. Brucker, Matthias P. Krieger, Delphine Longuet and Burkhart Wolff. A Specification-based Test Case Generation Method for UML/OCL. Proceedings of ...
TESTCOM-FATES-FORTE07 :: Local information pages
www.ioc.ee
Burkhart Wolff and Achim D. Brucker, ETH Zürich, Switzerland. Software Fault Diagnosis (I). Peter Zoeteweij, Delft University of Technology, ...
Software & patents - Laboratoire de Recherche en Informatique
www.digiscope.fr
It is developed by Achim D. Brucker and Burkhart Wolff. HOL-TestGen has been deposited in the Agency for the protection of programs (APP) IDDN.
Test-Sequence Generation with Hol-TestGen with an ...
www.springerprofessional.de
Combining Static and Dynamic Reasoning for Bug Detection Erstes Kapitel lesen . Autoren: Achim D. Brucker, Burkhart Wolff. Verlag: Springer Berlin Heidelberg.
CiteSeerX — Semantic Issues of OCL: Past, Present, and Future
citeseerx.ist.psu.edu
by Ocl For (meta-)models , Achim D. Brucker , Jürgen Doser , Burkhart Wolff , Dan Chiorean , Birgit Demuth , Martin Gogolla , Jos Warmer , Tiziana Margaria ...
Formal Network Models and Their Application to Firewall Policies -...
www.isa-afp.org
Authors: Achim D. Brucker (brucker /at/ spamfence /dot/ net), Lukas Brügger and Burkhart Wolff ( wolff /at/ lri /dot/ fr). Submission date:
The Unified Policy Framework (UPF) - Archive of Formal Proofs
www.isa-afp.org
Author: Achim D. Brucker (adbrucker /at/ 0x5f /dot/ org), Lukas Brügger (lukas /dot/ a /dot/ bruegger /at/ gmail /dot/ com) and Burkhart Wolff (wolff ...
Verwandte Suchanfragen zu Burkhart Wolff
| Martin Gogolla Wolfram Schulte Christoph Lüth | Roland Lachmayer Steffen Wedler Bettina Wedler |
Person "Wolff" (58) Vorname "Burkhart" (284) Name "Wolff" (4951) |
sortiert nach Relevanz / Datum