Conferences in DBLP

UNI/IIST (unu)
2002 (conf/unu/2002)

1. T. S. E. Maibaum
   In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:1-25 [Conf]
   
2. Zhou Chaochen
   UNU and UNU/IIST. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:26-33 [Conf]
   
3. Bernhard K. Aichernig
   Contract-Based Testing. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:34-48 [Conf]
   
4. Chris George
   The Development of the RAISE Tools. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:49-64 [Conf]
   
5. Jifeng He
   An Algebraic Approach to the VERILOG Programming. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:65-80 [Conf]
   
6. Dang Van Hung
   Real-Time Systems Development with Duration Calculi: An Overview. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:81-96 [Conf]
   
7. Tomasz Janowski
   X2Rel: An XML Relation Language with Formal Semantics. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:97-114 [Conf]
   
8. Michael Jackson
   Where, Exactly, Is Software Development? [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:115-131 [Conf]
   
9. Egidio Astesiano, Gianna Reggio, Maura Cerioli
   From Formal Techniques to Well-Founded Software Development Methods. [Citation Graph (0, 0)][DBLP]
   10th Anniversary Colloquium of UNU/IIST, 2002, pp:132-150 [Conf]
   
10. C. A. R. Hoare
    Towards the Verifying Compiler. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:151-160 [Conf]
    
11. J. Strother Moore
    A Grand Challenge Proposal for Formal Methods: A Verified Stack. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:161-172 [Conf]
    
12. Dines Bjørner
    "What Is an Infrastructure?" Towards an Informatics Answer. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:173-190 [Conf]
    
13. Cliff B. Jones
    A Formal Basis for Some Dependability Notions. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:191-206 [Conf]
    
14. Manfred Broy
    Multi-view Modeling of Software Systems. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:207-225 [Conf]
    
15. Abhik Roychoudhury, P. S. Thiagarajan
    An Executable Specification Language Based on Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:226-241 [Conf]
    
16. Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto
    Graph-Based Models of Internetworking Systems. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:242-266 [Conf]
    
17. Dusko Pavlovic, Douglas R. Smith
    Software Development by Refinement. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:267-286 [Conf]
    
18. Paul A. Bailes, Colin J. M. Kemp
    Formal Methods within a Totally Functional Approach to Programming. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:287-307 [Conf]
    
19. José Luiz Fiadeiro
    Coordination Technologies for Just-in-Time Integration. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:308-321 [Conf]
    
20. Yingxu Wang
    Real-Time Process Algebra and Its Applications. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:322-336 [Conf]
    
21. Jing Chen, Huimin Lin
    Making Timed Automata Communicate. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:337-351 [Conf]
    
22. Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
    A Tool Architecture for the Next Generation of Uppaal. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:352-366 [Conf]
    
23. Natarajan Shankar
    Verification by Abstraction. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:367-380 [Conf]
    
24. Zohar Manna, Calogero G. Zarba
    Combining Decision Procedures. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:381-422 [Conf]
    
25. Markus Kaltenbach, Jayadev Misra
    A Theory of Hints in Model Checking. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:423-438 [Conf]
    
26. Naoki Kobayashi
    Type Systems for Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:439-453 [Conf]