1
0
0
(1 - 43 von 45
)
TPHOLs Proceedings
es.cs.uni-kl.de
TPHOLs Proceedings Category A: Full Research Papers Achim D. Bruckner, Burkhart Wolff. Extensible Object-Oriented Data Models in Isabelle/HOL.
LinkedIn: Burkhart Wolff | LinkedIn
Burkhart Wolffs berufliches Profil anzeigen LinkedIn ist das weltweit größte berufliche Netzwerk, das Fach- und Führungskräften wie Burkhart Wolff dabei hilft, ...
LinkedIn: Burkhart Wolff - 教授- Université Paris-Sud | 领英 - LinkedIn
上领英，在全球领先职业社交平台查看Burkhart Wolff的职业档案。Burkhart的职业档案列出了9 个职位。查看Burkhart的完整档案，结识职场人脉和查看相似公司的 ...
LinkedIn: Burkhart Wolff | LinkedIn
Voir le profil professionnel de Burkhart Wolff (France) sur LinkedIn. Grâce à LinkedIn, le plus grand réseau professionnel au monde, les professionnels comme ...
ICQ Benutzer: Burkhart Wolff (bu)
, Männlich
LinkedIn: Burkhart Wolff | Berufsprofil - LinkedIn
Sehen Sie sich das Profil von Burkhart Wolff auf LinkedIn an, dem weltweit größten beruflichen Netzwerk. Burkhart Wolff hat 9 Jobs im Profil angegeben. Sehen ...
Burkhart Wolff - Bad Harzburg (Werner-von-Siemens-Gymnasium)
www.stayfriends.de
Burkhart Wolff ist Mitglied bei StayFriends und hat bis diese Schule besucht: Werner-von-Siemens-Gymnasium.
Alle bøger af Burkhart Wolff - Saxo. Læs Lyt Lev
www.saxo.com
Leder du efter bøger skrevet af Burkhart Wolff? SAXO.com har alle dine yndlingsforfattere. Find alle bøger af forfatteren Burkhart Wolff her.
Author: Burkhart Wolff - EasyChair
easychair.org
Author: Burkhart Wolff. This page shows all presentations of this author published in EasyChair Smart Slide. Deeply Integrating C11 Code Support into Isabelle/ ...
Eine Theorie generischer Bindungsstrukturen und Peoplepeople.mpi-inf.mpg.de/~uwe/los/ank/ank-wolff.asc
people.mpi-inf.mpg.de
44) Burkhart Wolff (Universitaet Bremen): Eine Theorie generischer Bindungsstrukturen und Substitutionen in HOL Zusammenfassung: Formale Metasprachen ...
SoSyM
www.sosym.org
Robert Winter Sebastian Winter Guido Wirtz Alexander Wißpeintner Petia Wohed Viktor S. Wold Eide Burkhart Wolf Karsten Wolf Marilyn Wolf Burkhart Wolff
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,...
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 ...
Alle Infos zum Namen "Burkhart 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