Conferences in DBLP

International Conference on Engineering of Complex Computer Systems (iceccs)
2001 (conf/iceccs/2001)

1. Alexander D. Stoyen
   Intelligent Agent-Based Decision-Support Systems for Complex C2 Applications. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:2-0 [Conf]
   
2. Pierfrancesco Bellini, Paolo Nesi
   Communicating TILCO: A Model for Real-Time System Specification. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:4-14 [Conf]
   
3. Pierfrancesco Bellini, Paolo Nesi
   TILCO-X, an Extension of TILCO Temporal Logic. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:15-25 [Conf]
   
4. Pascal Richard, Francis Cottet, Michaël Richard
   On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:26-34 [Conf]
   
5. Thorsten Gerdsmeier, Rachel Cardell-Oliver
   A Method for Verifying Real-Time Properties of Ada Programs. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:35-0 [Conf]
   
6. Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann
   Verification of Hybrid Systems: Formalization and Proof Rules in PVS. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:48-57 [Conf]
   
7. Mila E. Majster-Cederbaum, Jinzhao Wu
   Action Refinement for True Concurrent Real Time. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:58-68 [Conf]
   
8. Alberto Arazo, Yves Crouzet
   Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:69-79 [Conf]
   
9. Antti Puhakka
   Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. [Citation Graph (0, 0)][DBLP]
   ICECCS, 2001, pp:80-0 [Conf]
   
10. Fredrik Dahlgren
    Future Mobile Phones--Complex Design Challenges from an Embedded Systems Perspective. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:92-0 [Conf]
    
11. Daniel Häggander, Lars Lundberg, Jonas Matton
    Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:96-105 [Conf]
    
12. Mira Kajko-Mattsson
    Can We Learn Anything from Hardware Preventive Maintenance? [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:106-111 [Conf]
    
13. Mira Kajko-Mattsson
    Motivating the Corrective Maintenance Maturity Model (CM3). [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:112-0 [Conf]
    
14. Kume Izuru
    An Object-Oriented Analysis and Design Approach for Safe Object Sharing. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:122-132 [Conf]
    
15. Kristina Ahlström, Jan Torin, Per Johannessen
    Design Method for Conceptual Design of By-Wire Control: Two Case Studies. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:133-143 [Conf]
    
16. Felix Bübl, Andreas Leicher
    Designing Distributed Component-Based Systems With DCL. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:144-154 [Conf]
    
17. Sven Graupner, Vadim E. Kotov, Holger Trinks
    A Framework for Analyzing and Organizing Complex Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:155-0 [Conf]
    
18. Harold W. Lawson
    The Problem of Platform Complexity. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:168-0 [Conf]
    
19. De-Jiu Chen, Martin Törngren
    Towards A Framework for Architecting Mechatronics Software Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:170-179 [Conf]
    
20. Mika Katara, Tommi Mikkonen
    Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:180-190 [Conf]
    
21. Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel
    Independent Proprietorship and Competition in Distributed Web Search. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:191-199 [Conf]
    
22. Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu
    Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:200-0 [Conf]
    
23. Paul Ammann, Wei Ding, Daling Xu
    Using a Model Checker to Test Safety Properties. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:212-221 [Conf]
    
24. Ye Wu, Dai Pan, Mei-Hwa Chen
    Techniques for Testing Component-Based Software. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:222-232 [Conf]
    
25. Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper
    Module Testing Embedded Software--An Industrial Pilot Project. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:233-0 [Conf]
    
26. Hsu-Chun Yen
    Analysis of Self-Stabilization for Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:240-248 [Conf]
    
27. Fuji Ren, Hongchi Shi
    Parallel Machine Translation: Principles and Practice. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:249-259 [Conf]
    
28. Yiqin Lu, Gang Wei, To-Yat Cheung
    Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:260-269 [Conf]
    
29. Mieke Massink, Nicoletta De Francesco
    Modelling Free Flight with Collision Avoidance. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2001, pp:270-280 [Conf]