| 2001 | 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden |
| 2001 | A Framework for Analyzing and Organizing Complex Systems. Sven Graupner, Vadim E. Kotov, Holger Trinks |
| 2001 | A Method for Verifying Real-Time Properties of Ada Programs. Thorsten Gerdsmeier, Rachel Cardell-Oliver |
| 2001 | Action Refinement for True Concurrent Real Time. Mila E. Majster-Cederbaum, Jinzhao Wu |
| 2001 | An Object-Oriented Analysis and Design Approach for Safe Object Sharing. Izuru Kume |
| 2001 | Analysis of Self-Stabilization for Infinite-State Systems. Hsu-Chun Yen |
| 2001 | Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. Mika Katara, Tommi Mikkonen |
| 2001 | Can We Learn Anything from Hardware Preventive Maintenance? Mira Kajko-Mattsson |
| 2001 | Communicating TILCO: A Model for Real-Time System Specification. Pierfrancesco Bellini, Paolo Nesi |
| 2001 | Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. Antti Puhakka |
| 2001 | Design Method for Conceptual Design of By-Wire Control: Two Case Studies. Kristina Ahlström, Jan Torin, Per Johannessen |
| 2001 | Designing Distributed Component-Based Systems With DCL. Felix Bübl, Andreas Leicher |
| 2001 | Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. Alberto Arazo, Yves Crouzet |
| 2001 | Future Mobile Phones - Complex Design Challenges from an Embedded Systems Perspective. Fredrik Dahlgren |
| 2001 | Independent Proprietorship and Competition in Distributed Web Search. Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel |
| 2001 | Intelligent Agent-Based Decision-Support Systems for Complex C Alexander D. Stoyen |
| 2001 | Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu |
| 2001 | Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. Yiqin Lu, Gang Wei, To-Yat Cheung |
| 2001 | Modelling Free Flight with Collision Avoidance. Mieke Massink, Nicoletta De Francesco |
| 2001 | Module Testing Embedded Software--An Industrial Pilot Project. Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper |
| 2001 | Motivating the Corrective Maintenance Maturity Model (CM3). Mira Kajko-Mattsson |
| 2001 | On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. Pascal Richard, Francis Cottet, Michaël Richard |
| 2001 | Parallel Machine Translation: Principles and Practice. Fuji Ren, Hongchi Shi |
| 2001 | Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. Daniel Häggander, Lars Lundberg, Jonas Matton |
| 2001 | TILCO-X, an Extension of TILCO Temporal Logic. Pierfrancesco Bellini, Paolo Nesi |
| 2001 | Techniques for Testing Component-Based Software. Ye Wu, Dai Pan, Mei-Hwa Chen |
| 2001 | The Problem of Platform Complexity. Harold W. Lawson |
| 2001 | Towards A Framework for Architecting Mechatronics Software Systems. De-Jiu Chen, Martin Törngren |
| 2001 | Using a Model Checker to Test Safety Properties. Paul Ammann, Wei Ding, Daling Xu |
| 2001 | Verification of Hybrid Systems: Formalization and Proof Rules in PVS. Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann |