search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

10th Anniversary Colloquium of UNU/IIST

Keyphrases

Publications

volume 2757, 2003

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 10th Anniversary Colloquium of UNU/IIST 2757 (2003)

2002

Naoki Kobayashi
Type Systems for Concurrent Programs. 10th Anniversary Colloquium of UNU/IIST (2002)
Natarajan Shankar
Verification by Abstraction. 10th Anniversary Colloquium of UNU/IIST (2002)
Michael Jackson
Where, Exactly, Is Software Development? 10th Anniversary Colloquium of UNU/IIST (2002)
J Strother Moore
A Grand Challenge Proposal for Formal Methods: A Verified Stack. 10th Anniversary Colloquium of UNU/IIST (2002)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST (2002)
Manfred Broy
Multi-view Modeling of Software Systems. 10th Anniversary Colloquium of UNU/IIST (2002)
Markus Kaltenbach, Jayadev Misra
A Theory of Hints in Model Checking. 10th Anniversary Colloquium of UNU/IIST (2002)
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
Graph-Based Models of Internetworking Systems. 10th Anniversary Colloquium of UNU/IIST (2002)
T. S. E. Maibaum
In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST (2002)
Dines Bjørner
"What Is an Infrastructure?" Towards an Informatics Answer. 10th Anniversary Colloquium of UNU/IIST (2002)
Dusko Pavlovic, Douglas R. Smith
Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST (2002)
Tomasz Janowski
X2Rel: An XML Relation Language with Formal Semantics. 10th Anniversary Colloquium of UNU/IIST (2002)
Jing Chen, Huimin Lin
Making Timed Automata Communicate. 10th Anniversary Colloquium of UNU/IIST (2002)
Bernhard K. Aichernig
Contract-Based Testing. 10th Anniversary Colloquium of UNU/IIST (2002)
Zohar Manna, Calogero G. Zarba
Combining Decision Procedures. 10th Anniversary Colloquium of UNU/IIST (2002)
C. A. R. Hoare
Towards the Verifying Compiler. 10th Anniversary Colloquium of UNU/IIST (2002)
Cliff B. Jones
A Formal Basis for Some Dependability Notions. 10th Anniversary Colloquium of UNU/IIST (2002)
Yingxu Wang
Real-Time Process Algebra and Its Applications. 10th Anniversary Colloquium of UNU/IIST (2002)
Egidio Astesiano, Gianna Reggio, Maura Cerioli
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST (2002)
Jifeng He
An Algebraic Approach to the VERILOG Programming. 10th Anniversary Colloquium of UNU/IIST (2002)
Chris George
The Development of the RAISE Tools. 10th Anniversary Colloquium of UNU/IIST (2002)
Dang Van Hung
Real-Time Systems Development with Duration Calculi: An Overview. 10th Anniversary Colloquium of UNU/IIST (2002)
Abhik Roychoudhury, P. S. Thiagarajan
An Executable Specification Language Based on Message Sequence Charts. 10th Anniversary Colloquium of UNU/IIST (2002)
Zhou Chaochen
UNU and UNU/IIST. 10th Anniversary Colloquium of UNU/IIST (2002)
Paul A. Bailes, Colin J. M. Kemp
Formal Methods within a Totally Functional Approach to Programming. 10th Anniversary Colloquium of UNU/IIST (2002)
José Luiz Fiadeiro
Coordination Technologies for Just-in-Time Integration. 10th Anniversary Colloquium of UNU/IIST (2002)