Publications 2004
- V. Alyokhin and B. Elbel and M. Rothfelder and A. Pretschner.
Coverage Metrics for Continuous Function Charts.
In 15th IEEE Intl. Symp. on Software Reliability Engineering (ISSRE'04).
IEEE, 2004.
[DownloadBibTeX (TXT, 363 Bytes)vertical_align_bottom] - David Basin.
Sicher in die Informationsgesellschaft von morgen?.
In PIK: Praxis der Informationsverarbeitung und Kommunikation (3), pages 180-182, 2004.
Zurich Infomration Security Center (ZISC)
[Downloadabstract (TXT, 677 Bytes)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom | external pageURLcall_made]
- David Basin and Manuel Clavel and Josè Meseguer.
Reflective Metalogical Frameworks.
In ACM Transactions on Computational Logic, 5 (3), pages 528-576, 2004.
[Downloadabstract (TXT, 1 KB)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom | external pageDOIcall_made]
- David Basin and Yves Deville and Pierre Flener and Andreas Hamfelt and Jorgen Fischer Nilsson.
Synthesis of Programs in Computational Logic.
In Program Development in Computational Logic. LNCS, volume 3049
Springer-Verlag, 2004.
[DownloadBibTeX (TXT, 750 Bytes)vertical_align_bottom | DownloadPDF (PDF, 366 KB)vertical_align_bottom | Downloadgzip'ed Postscript (GZ, 127 KB)vertical_align_bottom | external pageDOIcall_made]
- David Basin and Kunihiko Miyazaki and Kazuo Takaragi.
A Formal Analysis of a Digital Signature Architecture.
In Integrity and Internal Control in Information Systems, IV.
Kluwer Academic Publishers, 2004.
[Downloadabstract (TXT, 552 Bytes)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom]
- David Basin and Sebastian Mödersheim and Luca Viganò.
OFMC: A Symbolic Model-Checker for Security Protocols.
ETH Zürich, Computer Science, Technical Report 450, 2004.
[Downloadabstract (TXT, 1 KB)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom | DownloadPDF (PDF, 438 KB)vertical_align_bottom | Downloadgzip'ed Postscript (GZ, 440 KB)vertical_align_bottom | URL] - Achim D. Brucker and Burkhart Wolff.
Symbolic Test Case Generation for Primitive Recursive Functions.
Computer Security Group, ETH Zürich, Technical Report 449, 2004.
[Downloadabstract (TXT, 847 Bytes)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom]
- Carlos Caleiro and Luca Viganò and David Basin.
Towards a Metalogic for Security Protocol Analysis.
In Proceedings of the Workshop on the Combination of Logics: Theory and Applications (Comblog'04).
Center for Logic and Computation, Departamento de Matemática, Instituto Superior Técnico, Lisbon, 2004.
[DownloadBibTeX (TXT, 630 Bytes)vertical_align_bottom]
- Paul Hankes Drielsma and Sebastian Mödersheim.
The ASW Protocol Revisited: A Unified View.
In Automated Reasoning for Security Protocol Analysis (ARSPA).ENTCS, 2004.
[DownloadBibTeX (TXT, 1 KB)vertical_align_bottom | DownloadPDF (PDF, 202 KB)vertical_align_bottom | Downloadgzip'ed Postscript (GZ, 171 KB)vertical_align_bottom]
- Marieke Huisman and Dilian Gurov and Christoph Sprenger and Gennady Chugunov.
Checking Abscence of Illicit Applet Interactions: A Case Study.
In FASE 04.Springer, 2004.
Winner of the EASST award for Best Software Science Paper
[DownloadBibTeX (TXT, 468 Bytes)vertical_align_bottom | Downloadgzip'ed Postscript (GZ, 135 KB)vertical_align_bottom]
- F. Klaedtke.
On the Automata Size for Presburger Arithmetic.
In Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004).
IEEE Computer Society Press, 2004.
[DownloadBibTeX (TXT, 427 Bytes)vertical_align_bottom]
- Boris Köpf and Heiko Mantel.
Eliminating Timing Leaks by Unification (Extended Abstract).
In First International Workshop on Programming Language Interference and Dependence.
University of Verona, 2004.
[DownloadBibTeX (TXT, 399 Bytes)vertical_align_bottom]
- Christoph Kreitz and Heiko Mantel.
A Matrix Characterization for Multiplicative Exponential Linear Logic.
In Journal of Automated Reasoning, 32, pages 121-166, 2004.
[Downloadabstract (TXT, 822 Bytes)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom]
- Jochen Küster and Shane Sendall and Michael Wahler.
Comparing two Model Transformation Approaches.
In UML 2004. Workshop: OCL and Model Driven Engineering., 2004.
[DownloadBibTeX (TXT, 399 Bytes)vertical_align_bottom | DownloadPDF (PDF, 154 KB)vertical_align_bottom]
- Heiko Mantel and David Sands.
Controlled Declassification based on Intransitive Noninterference.
In 2nd ASIAN Symposium on Programming Languages and Systems, APLAS 2004.
LNCS, 3302. Springer, 2004.
[DownloadBibTeX (TXT, 445 Bytes)vertical_align_bottom]
- Paulo Mateus and Am'ilcar Sernadas and Cristina Sernadas and Luca Viganò.
Modal sequent calculi labelled with truth values: completeness, duality and analyticity.
In Logic Journal of the Interest Group in Pure and Applied Logics (IGPL), 12 (3), pages 227-274, 2004.
[DownloadBibTeX (TXT, 570 Bytes)vertical_align_bottom | external pageOxford University Presscall_made]
- W. Prenninger and A. Pretschner.
Abstractions for Model-Based Testing.
In 2nd Intl. Workshop on Test and Analysis of Component Based Systems., 2004.
[DownloadBibTeX (TXT, 321 Bytes)vertical_align_bottom]
- A. Pretschner.
Modellbasiertes Testen.
In Modellierung 2004.LNI, 45. GI, 2004.
[DownloadBibTeX (TXT, 282 Bytes)vertical_align_bottom]
- A. Pretschner and H. Lötzbeyer and J. Philipps.
Model Based Testing in Incremental System Development.
In Journal of Systems and Software, 70 (3), pages 315-329, 2004.
[Downloadabstract (TXT, 636 Bytes)vertical_align_bottom | DownloadBibTeX (TXT, 957 Bytes)vertical_align_bottom | external pageDOIcall_made]
- A. Pretschner and O. Slotosch and E. Aiglstorfer and S. Kriebel.
Model Based Testing for Real-The Inhouse Card Case Study.
In Software Tools for Technology Transfer, 5 (2-3), pages 140-157, 2004.
[Downloadabstract (TXT, 1 KB)vertical_align_bottom | DownloadBibTeX (TXT, 2 KB)vertical_align_bottom]
- Nicole Rauch and Burkhart Wolff.
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.
ETH Zürich, Technical Report 458, 2004.
[Downloadabstract (TXT, 739 Bytes)vertical_align_bottom | DownloadBibTeX (TXT, 1017 Bytes)vertical_align_bottom | DownloadPDF (PDF, 560 KB)vertical_align_bottom]
- C. Salzmann and T. Stauner and A. Pretschner.
ICSE workshop: Software Engineering for Automotive Systems.
In ICSE 2004.IEEE, 2004.
[DownloadBibTeX (TXT, 307 Bytes)vertical_align_bottom]
- Heiko Mantel and David Sands.
Controlled Declassification based on Intransitive Noninterference.
Department of Computer Science, Chalmers University of Technology and Göteborg University
Technical Report 2004-06, 2004.
[DownloadBibTeX (TXT, 390 Bytes)vertical_align_bottom | external pageDOIcall_made] - Shane Sendall and Rainer Hauser and Jana Koehler and Jochen Küster and Michael Wahler.
Understanding Model Transformation by Classification and Formalization.
In Conference on Generative Programming and Component Engineering: Software Transformation Systems Workshop., 2004.
[DownloadBibTeX (TXT, 493 Bytes)vertical_align_bottom | DownloadPDF (PDF, 54 KB)vertical_align_bottom] - Christoph Sprenger and Dilian Gurov and Marieke Huisman.
Compositional Verification for Secure Loading of Smart Card Applets.
In Formal Methods and Models for Co-Design (MEMOCODE).
IEEE Computer Society, 2004.
[Downloadabstract (TXT, 1 KB)vertical_align_bottom | DownloadBibTeX (TXT, 2 KB)vertical_align_bottom | external pageDOIcall_made] - Yannick Chevalier and Luca Compagna and Jorge Cuellar and Paul Hankes Drielsma and Jacopo Mantovani and Sebastian Mödersheim and Laurent Vigneron.
A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols.
In Workshop on Specification and Automated Processing of Security Requirements (SAPS 2004). 2004.
[Downloadabstract (TXT, 1 KB)vertical_align_bottom | DownloadBibTeX (TXT, 1 KB)vertical_align_bottom | DownloadPDF (PDF, 196 KB)vertical_align_bottom | Downloadgzip'ed Postscript (GZ, 141 KB)vertical_align_bottom] - A. Pretschner and C. Salzmann and T. Stauner
Proceedings of the ICSE 2004 workshop on Software Engineering for Automotive Systems.
IEEE, 2004.
[DownloadBibTeX (TXT, 634 Bytes)vertical_align_bottom | DownloadPDF (TXT, 634 Bytes)vertical_align_bottom | external pageDOIcall_made] - Vijay Atluri and Michael Backes and David Basin and Michael Waidner.
Conference on Computer and Communications Security.
In ACM Press New York, NY, USA, 2004.
[Downloadabstract (TXT, 2 KB)vertical_align_bottom | DownloadBibTeX (TXT, 311 Bytes)vertical_align_bottom | Downloadcover (JPEG, 26 KB)vertical_align_bottom | external pageDOIcall_made] - David Basin and Michaël Rusinowitch.
Automated Reasoning: Second International Joint Conference (IJCAR 2004).
In Springer-Verlag, 2004.
Volume 3097
[Downloadabstract (TXT, 1 KB)vertical_align_bottom | DownloadBibTeX (TXT, 2 KB)vertical_align_bottom | Downloadcover (JPEG, 5 KB)vertical_align_bottom | external pageDOIcall_made]