Publications 2001
- Rafael Accorsi and David Basin and Luca Viganò.
Towards an awareness-based semantics for security protocol analysis.
In Post-CAV Workshop on Logical Aspects of Cryptographic Protocol Verification.
Elsevier Science Publishers, 2001.
Electronic Notes in Theoretical Computer Science 55(1)
[Download abstract (TXT, 1 KB) | Download BibTeX (TXT, 2 KB) | Download PDF (PDF, 266 KB) | Download gzip'ed Postscript (GZ, 186 KB)]
- Abdelwaheb Ayari and David Basin.
A Higher-order Interpretation of Deductive Tableau.
In Journal of Symbolic Computation, 31 (5), pages 487-520, 2001.
[Download abstract (TXT, 1 KB) | Download BibTeX (TXT, 1 KB) | Download gzip'ed Postscript (GZ, 145 KB)]
- David Basin and Grit Denker.
Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis.
In Electronic Notes in Theoretical Computer Science., 36. Elsevier Science Publishers, 2001.
[Download BibTeX (TXT, 414 Bytes) | Download gzip'ed Postscript (GZ, 103 KB)]
- David Basin and Amy Felty.
Current Trends in Logical Frameworks and Metalanguages.
In Journal of Automated Reasoning, 31 (5), pages 1-2, 2001.
[Download BibTeX (TXT, 318 Bytes) | Download gzip'ed Postscript (GZ, 26 KB)]
- David Basin and Harald Ganzinger.
Automated Complexity Analysis Based on Ordered Resolution.
In Journal of the Association of Computing Machinery, 48 (1), pages 70-109, 2001.
[Download abstract (TXT, 1 KB) | Download BibTeX (TXT, 1 KB) | Download gzip'ed Postscript (GZ, 140 KB)]
- David Basin and Frank Rittinger and Luca Viganò.
A Formal Analysis of the CORBA Security Service.
Albert-Ludwigs-Universität Freiburg, Technical Report 154, 2001.
[Download abstract (TXT, 919 Bytes) | Download BibTeX (TXT, 1 KB) | Download gzip'ed Postscript (GZ, 73 KB)]
- David Basin and Frank Rittinger and Luca Viganò.
A Formal Data-Model of the CORBA Security Service.
In 8th European Software Engineering Conference (ESEC).ACM Press, 2001.
[Download abstract (TXT, 597 Bytes) | Download BibTeX (TXT, 1 KB) | Download PDF (PDF, 72 KB) | Download gzip'ed Postscript (GZ, 25 KB)]
- Achim D. Brucker and Burkhart Wolff.
Checking OCL Constraints in Distributed Systems Using J2EE/EJB.
Albert-Ludwigs-Universität Freiburg, Technical Report 157, 2001.
[Download abstract (TXT, 826 Bytes) | Download BibTeX (TXT, 2 KB) | Download PDF (PDF, 233 Bytes) | Download gzip'ed Postscript (GZ, 235 Bytes)]
- Achim D. Brucker and Burkhart Wolff.
Testing Distributed Component Based Systems Using UML/OCL.
In Informatik 2001.Tagungsband der GI/ÖCG Jahrestagung, 1 (157). , 2001.
[Download abstract (TXT, 814 Bytes) | Download BibTeX (TXT, 2 KB) | Download PDF (PDF, 69 KB) | Download gzip'ed Postscript (GZ, 54 KB)]
- Ian Frank and David Basin.
A Theoretical and Empirical Investigation of Search in Imperfect Information Games.
In Theoretical Computer Science, 252 (1-2), pages 217-256, 2001.
[Download abstract (TXT, 1 KB) | Download BibTeX (TXT, 1 KB) | Download gzip'ed Postscript (GZ, 190 KB)]
- Christoph Lüth and Burkhart Wolff.
sml_tk: Functional Programming for GUIs - Reference Manual.
Albert-Ludwigs-Universität Freiburg, Technical Report 158, 2001.
[Download abstract (TXT, 607 Bytes) | Download BibTeX (TXT, 2 KB) | Download PDF (PDF, 395 KB)]
- A. Pretschner.
Classical search strategies for test case generation with Constraint Logic Programming.
In Proc. Formal Approaches to Testing of Software., 2001.
[Download abstract (TXT, 678 Bytes) | Download BibTeX (TXT, 963 Bytes)]
- A. Pretschner and H. Lötzbeyer and J. Philipps.
Model Based Testing in Evolutionary Software Development.
In Proc. 12th IEEE Intl. Workshop on Rapid System Prototyping.IEEE, 2001.
[Download abstract (TXT, 652 Bytes) | Download BibTeX (TXT, 1000 Bytes)]
- A. Pretschner and O. Slotosch and H. Lötzbeyer and E. Aiglstorfer and S. Kriebel.
Model Based Testing for Real: The Inhouse Card Case Study.
In Proc. 6th Intl. Workshop on Formal Methods for Industrial Critical Systems., 2001.
[Download abstract (TXT, 492 Bytes) | Download BibTeX (TXT, 835 Bytes) | Download PDF (PDF)]
- Burkhart Wolff.
Verifying Explicit Substitution Calculi in Binding Structures with Effect Binding.
In Workshop on Explicit Substitution Theory and Applications (WESTAPP'01).
Logic Group Preprint Series, 210. Department of Philosophy - Utrecht University, 2001.
[Download abstract (TXT, 945 Bytes) | Download BibTeX (TXT, 3 KB) | Download gzip'ed Postscript (GZ, 156 KB)]