default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th Anniversary Colloquium of UNU/IIST 2002: Lisbon, Portugal
- Bernhard K. Aichernig, T. S. E. Maibaum:
Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Lecture Notes in Computer Science 2757, Springer 2003, ISBN 3-540-20527-6 - T. S. E. Maibaum:
In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 1-25
Work at UNU/IIST
- Zhou Chaochen:
UNU and UNU/IIST. 26-33 - Bernhard K. Aichernig:
Contract-Based Testing. 34-48 - Chris George:
The Development of the RAISE Tools. 49-64 - Jifeng He:
An Algebraic Approach to the VERILOG Programming. 65-80 - Dang Van Hung:
Real-Time Systems Development with Duration Calculi: An Overview. 81-96 - Tomasz Janowski:
X2Rel: An XML Relation Language with Formal Semantics. 97-114
At the Crossroads
- Michael Jackson:
Where, Exactly, Is Software Development? 115-131 - Egidio Astesiano, Gianna Reggio, Maura Cerioli
:
From Formal Techniques to Well-Founded Software Development Methods. 132-150 - C. A. R. Hoare:
Towards the Verifying Compiler. 151-160 - J Strother Moore:
A Grand Challenge Proposal for Formal Methods: A Verified Stack. 161-172 - Dines Bjørner:
"What Is an Infrastructure?" Towards an Informatics Answer. 173-190 - Cliff B. Jones:
A Formal Basis for Some Dependability Notions. 191-206
From Models to Software
- Manfred Broy:
Multi-view Modeling of Software Systems. 207-225 - Abhik Roychoudhury, P. S. Thiagarajan:
An Executable Specification Language Based on Message Sequence Charts. 226-241 - Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Graph-Based Models of Internetworking Systems. 242-266 - Dusko Pavlovic, Douglas R. Smith:
Software Development by Refinement. 267-286 - Paul A. Bailes, Colin J. M. Kemp:
Formal Methods within a Totally Functional Approach to Programming. 287-307 - José Luiz Fiadeiro:
Coordination Technologies for Just-in-Time Integration. 308-321
Real-Time Systems
- Yingxu Wang:
Real-Time Process Algebra and Its Applications. 322-336 - Jing Chen, Huimin Lin:
Making Timed Automata Communicate. 337-351 - Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
A Tool Architecture for the Next Generation of Uppaal. 352-366
Verification
- Natarajan Shankar:
Verification by Abstraction. 367-380 - Zohar Manna, Calogero G. Zarba:
Combining Decision Procedures. 381-422 - Markus Kaltenbach, Jayadev Misra:
A Theory of Hints in Model Checking. 423-438 - Naoki Kobayashi:
Type Systems for Concurrent Programs. 439-453
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
