default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th ICECCS 2001: Skövde, Sweden
- 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. IEEE Computer Society 2001, ISBN 0-7695-1159-7
Keynote Speech
- Alexander D. Stoyen:
Intelligent Agent-Based Decision-Support Systems for Complex C2 Applications. 2-
Real-Time Issues
- Pierfrancesco Bellini, Paolo Nesi:
Communicating TILCO: A Model for Real-Time System Specification. 4-14 - Pierfrancesco Bellini, Paolo Nesi:
TILCO-X, an Extension of TILCO Temporal Logic. 15-25 - Pascal Richard, Francis Cottet, Michaël Richard:
On-line Scheduling of Real-Time Distributed Computers With Complex Communication Constraints. 26-34 - Thorsten Gerdsmeier, Rachel Cardell-Oliver:
A Method for Verifying Real-Time Properties of Ada Programs. 35-
Formal Issues
- Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann:
Verification of Hybrid Systems: Formalization and Proof Rules in PVS. 48-57 - Mila E. Majster-Cederbaum, Jinzhao Wu:
Action Refinement for True Concurrent Real Time. 58-68 - Alberto Arazo, Yves Crouzet:
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. 69-79 - Antti Puhakka:
Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. 80-
Keynote Speech
- Fredrik Dahlgren:
Future Mobile Phones - Complex Design Challenges from an Embedded Systems Perspective. 92-
Industrial Experiences
- Daniel Häggander, Lars Lundberg, Jonas Matton:
Quality Attribute Conflicts - Experiences from a Large Telecommunication Application. 96-105 - Mira Kajko-Mattsson:
Can We Learn Anything from Hardware Preventive Maintenance? 106-111 - Mira Kajko-Mattsson:
Motivating the Corrective Maintenance Maturity Model (CM3). 112-
Design Issues
- Izuru Kume:
An Object-Oriented Analysis and Design Approach for Safe Object Sharing. 122-132 - Kristina Ahlström, Jan Torin, Per Johannessen:
Design Method for Conceptual Design of By-Wire Control: Two Case Studies. 133-143 - Felix Bübl, Andreas Leicher:
Designing Distributed Component-Based Systems With DCL. 144-154 - Sven Graupner, Vadim E. Kotov, Holger Trinks:
A Framework for Analyzing and Organizing Complex Systems. 155-
Keynote Speech
- Harold W. Lawson:
The Problem of Platform Complexity. 168-
Architectural Issues
- De-Jiu Chen, Martin Törngren:
Towards A Framework for Architecting Mechatronics Software Systems. 170-179 - Mika Katara, Tommi Mikkonen:
Aspect-Oriented Specification Architectures for Distributed Real-Time Systems. 180-190 - Rinat Khoussainov, Tadhg O'Meara, Ahmed Patel:
Independent Proprietorship and Competition in Distributed Web Search. 191-199 - Jeffrey D. Hicks, Alexander D. Stoyen, Qiuming Zhu:
Intelligent Agent-Based Software Architecture for Combat Performance under Overwhelming Information Inflow and Uncertainty. 200-
Testing Issues
- Paul Ammann, Wei Ding, Daling Xu:
Using a Model Checker to Test Safety Properties. 212-221 - Ye Wu, Dai Pan, Mei-Hwa Chen:
Techniques for Testing Component-Based Software. 222-232 - Jason McDonald, Leesa Murray, Peter A. Lindsay, Paul A. Strooper:
Module Testing Embedded Software--An Industrial Pilot Project. 233-
Analysis and Modeling
- Hsu-Chun Yen:
Analysis of Self-Stabilization for Infinite-State Systems. 240-248 - Fuji Ren, Hongchi Shi:
Parallel Machine Translation: Principles and Practice. 249-259 - Yiqin Lu, Gang Wei, To-Yat Cheung:
Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. 260-269 - Mieke Massink, Nicoletta De Francesco:
Modelling Free Flight with Collision Avoidance. 270-280
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.
last updated on 2025-01-24 17:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
