default search action

combined dblp search
author search
venue search
publication search

ask others

10th Anniversary Colloquium of UNU/IIST 2002: Lisbon, Portugal

> Home > Conferences and Workshops > UNU/IIST

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/unu/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/2002
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
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Maibaum02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Maibaum02
T. S. E. Maibaum:
In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 1-25

Work at UNU/IIST

- view
  authority control:
- export record
  dblp key:
  - conf/unu/Chaochen02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Chaochen02
Zhou Chaochen:
UNU and UNU/IIST. 26-33
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Aichernig02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Aichernig02
Bernhard K. Aichernig:
Contract-Based Testing. 34-48
- view
  authority control:
- export record
  dblp key:
  - conf/unu/George02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/George02
Chris George:
The Development of the RAISE Tools. 49-64
- view
  authority control:
- export record
  dblp key:
  - conf/unu/He02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/He02
Jifeng He:
An Algebraic Approach to the VERILOG Programming. 65-80
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Hung02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Hung02
Dang Van Hung:
Real-Time Systems Development with Duration Calculi: An Overview. 81-96
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Janowski02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Janowski02
Tomasz Janowski:
X2Rel: An XML Relation Language with Formal Semantics. 97-114

At the Crossroads

- view
  authority control:
- export record
  dblp key:
  - conf/unu/Jackson02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Jackson02
Michael Jackson:
Where, Exactly, Is Software Development? 115-131
- view
  authority control:
- export record
  dblp key:
  - conf/unu/AstesianoRC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/AstesianoRC02
Egidio Astesiano, Gianna Reggio, Maura Cerioli:
From Formal Techniques to Well-Founded Software Development Methods. 132-150
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Hoare02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Hoare02
C. A. R. Hoare:
Towards the Verifying Compiler. 151-160
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Moore02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Moore02
J Strother Moore:
A Grand Challenge Proposal for Formal Methods: A Verified Stack. 161-172
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Bjorner02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Bjorner02
Dines Bjørner:
"What Is an Infrastructure?" Towards an Informatics Answer. 173-190
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Jones02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Jones02
Cliff B. Jones:
A Formal Basis for Some Dependability Notions. 191-206

From Models to Software

- view
  authority control:
- export record
  dblp key:
  - conf/unu/Broy02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Broy02
Manfred Broy:
Multi-view Modeling of Software Systems. 207-225
- view
  authority control:
- export record
  dblp key:
  - conf/unu/RoychoudhuryT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/RoychoudhuryT02
Abhik Roychoudhury, P. S. Thiagarajan:
An Executable Specification Language Based on Message Sequence Charts. 226-241
- view
  authority control:
- export record
  dblp key:
  - conf/unu/FerrariMT02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/FerrariMT02
Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto:
Graph-Based Models of Internetworking Systems. 242-266
- view
  authority control:
- export record
  dblp key:
  - conf/unu/PavlovicS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/PavlovicS02
Dusko Pavlovic, Douglas R. Smith:
Software Development by Refinement. 267-286
- view
  authority control:
- export record
  dblp key:
  - conf/unu/BailesK02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/BailesK02
Paul A. Bailes, Colin J. M. Kemp:
Formal Methods within a Totally Functional Approach to Programming. 287-307
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Fiadeiro02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Fiadeiro02
José Luiz Fiadeiro:
Coordination Technologies for Just-in-Time Integration. 308-321

Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - conf/unu/Wang02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Wang02
Yingxu Wang:
Real-Time Process Algebra and Its Applications. 322-336
- view
  authority control:
- export record
  dblp key:
  - conf/unu/ChenL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/ChenL02
Jing Chen, Huimin Lin:
Making Timed Automata Communicate. 337-351
- view
  authority control:
- export record
  dblp key:
  - conf/unu/DavidBLY02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/DavidBLY02
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
A Tool Architecture for the Next Generation of Uppaal. 352-366

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/unu/Shankar02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Shankar02
Natarajan Shankar:
Verification by Abstraction. 367-380
- view
  authority control:
- export record
  dblp key:
  - conf/unu/MannaZ02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/MannaZ02
Zohar Manna, Calogero G. Zarba:
Combining Decision Procedures. 381-422
- view
  authority control:
- export record
  dblp key:
  - conf/unu/KaltenbachM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/KaltenbachM02
Markus Kaltenbach, Jayadev Misra:
A Theory of Hints in Model Checking. 423-438
- view
  authority control:
- export record
  dblp key:
  - conf/unu/Kobayashi02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unu/Kobayashi02
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.