| 2001 | Techniques for Testing Component-Based Software. | Ye Wu, Dai Pan, Mei-Hwa Chen |
| 2001 | Intelligent Agent-Based Decision-Support Systems for Complex C | Alexander D. Stoyen |
| 2001 | On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. | Pascal Richard, Francis Cottet, Michal Richard |
| 2001 | Parallel Machine Translation: Principles and Practice. | Fuji Ren, Hongchi Shi |
| 2001 | Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. | Antti Puhakka |
| 2001 | Module Testing Embedded Software--An Industrial Pilot Project. | Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper |
| 2001 | Modelling Free Flight with Collision Avoidance. | Mieke Massink, Nicoletta De Francesco |
| 2001 | Action Refinement for True Concurrent Real Time. | Mila E. Majster-Cederbaum, Jinzhao Wu |
| 2001 | Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. | Yiqin Lu, Gang Wei, To-Yat Cheung |
| 2001 | The Problem of Platform Complexity. | Harold W. Lawson |
| 2001 | Independent Proprietorship and Competition in Distributed Web Search. | Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel |
| 2001 | Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. | Mika Katara, Tommi Mikkonen |
| 2001 | Motivating the Corrective Maintenance Maturity Model (CM3). | Mira Kajko-Mattsson |
| 2001 | Can We Learn Anything from Hardware Preventive Maintenance? | Mira Kajko-Mattsson |
| 2001 | An Object-Oriented Analysis and Design Approach for Safe Object Sharing. | Izuru Kume |
| 2001 | Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. | Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu |
| 2001 | Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. | Daniel Hggander, Lars Lundberg, Jonas Matton |
| 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 | Future Mobile Phones - Complex Design Challenges from an Embedded Systems Perspective. | Fredrik Dahlgren |
| 2001 | Towards A Framework for Architecting Mechatronics Software Systems. | De-Jiu Chen, Martin Trngren |
| 2001 | Designing Distributed Component-Based Systems With DCL. | Felix Bbl, Andreas Leicher |
| 2001 | TILCO-X, an Extension of TILCO Temporal Logic. | Pierfrancesco Bellini, Paolo Nesi |
| 2001 | Communicating TILCO: A Model for Real-Time System Specification. | Pierfrancesco Bellini, Paolo Nesi |
| 2001 | Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. | Alberto Arazo, Yves Crouzet |