Andrea Bondavalli
Orcid: 0000-0001-7366-6530Affiliations:
- University of Florence, Italy
According to our database1,
Andrea Bondavalli
authored at least 249 papers
between 1989 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2024
IEEE Trans. Emerg. Top. Comput., 2024
IEEE Access, 2024
Position Paper - Bringing Classifiers into Critical Systems: Are We Barking up the Wrong Tree?
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
Security Modeling Challenges and Research Directions Around the ADVISE Meta Framework.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024
2023
ACM Trans. Cyber Phys. Syst., October, 2023
An extension of the ADVISE Meta modeling framework and its application for an early-stage security analysis of a public transport supervision system.
J. Reliab. Intell. Environ., September, 2023
Which algorithm can detect unknown attacks? Comparison of supervised, unsupervised and meta-learning algorithms for intrusion detection.
Comput. Secur., April, 2023
Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy Systems.
IEEE Access, 2023
IEEE Access, 2023
A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Detection of Adversarial Attacks by Observing Deep Features with Structured Data Algorithms.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2023
2022
Stochastic Activity Networks Templates: Supporting Variability in Performability Models.
IEEE Trans. Reliab., 2022
On the Properness of Incorporating Binary Classification Machine Learning Algorithms Into Safety-Critical Systems.
IEEE Trans. Emerg. Top. Comput., 2022
A Monitoring Framework with Integrated Sensing Technologies for Enhanced Food Safety and Traceability.
Sensors, 2022
A cyber-physical-social approach for engineering Functional Safety Requirements for automotive systems.
J. Syst. Softw., 2022
Proceedings of the Computer Safety, Reliability, and Security, 2022
Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2022
Failure modes and failure mitigation in GPGPUs: a reference model and its application.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022
2021
IEEE Trans. Dependable Secur. Comput., 2021
Trans. Data Sci., 2021
ACM Trans. Cyber Phys. Syst., 2021
IQCPSoS: A Model-Based Approach for Modeling and Analyzing Information Quality Requirements for Cyber-Physical System-of-Systems.
J. Data Semant., 2021
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning.
J. Braz. Comput. Soc., 2021
Development and validation of a safe communication protocol compliant to railway standards.
J. Braz. Comput. Soc., 2021
IEEE Access, 2021
Understanding the properness of incorporating machine learning algorithms in safety-critical systems.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021
Feature Rankers to Predict Classification Performance of Unsupervised Intrusion Detectors.
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
Proceedings of the 10th Latin-American Symposium on Dependable Computing, 2021
Proceedings of the Italian Conference on Cybersecurity, 2021
Proceedings of the Blockchain and Applications - 3rd International Congress, 2021
2020
A Template-Based Methodology for the Specification and Automated Composition of Performability Models.
IEEE Trans. Reliab., 2020
On the educated selection of unsupervised algorithms via attacks and anomaly classes.
J. Inf. Secur. Appl., 2020
Governance & Autonomy: Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems.
Proceedings of the 15th IEEE International Conference of System of Systems Engineering, 2020
Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing.
Proceedings of the EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, 2020
Agility of Security Practices and Agile Process Models: An Evaluation of Cost for Incorporating Security in Agile Process Models.
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020
Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection.
Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020
Proceedings of the 2020 Second International Conference on Blockchain Computing and Applications, 2020
2019
ACM Trans. Cyber Phys. Syst., 2019
Design, implementation, and assessment of a usable multi-biometric continuous authentication system.
Int. J. Crit. Comput. Based Syst., 2019
Proceedings of the 2019 IEEE World Congress on Services, 2019
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019
Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain.
Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019
Engineering Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach.
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
Proceedings of the 15th European Dependable Computing Conference, 2019
Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid.
Proceedings of the 15th European Dependable Computing Conference, 2019
On the Evaluation Measures for Machine Learning Algorithms for Safety-Critical Systems.
Proceedings of the 15th European Dependable Computing Conference, 2019
2018
Softw. Pract. Exp., 2018
J. Softw. Evol. Process., 2018
J. Softw. Evol. Process., 2018
System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions.
IEEE Syst. J., 2018
A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains.
Proceedings of the 37th IEEE Symposium on Reliable Distributed Systems, 2018
Proceedings of the 23rd IEEE Pacific Rim International Symposium on Dependable Computing, 2018
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018
2017
Knowl. Inf. Syst., 2017
Proceedings of the 12th System of Systems Engineering Conference, 2017
Proceedings of the 12th System of Systems Engineering Conference, 2017
Proceedings of the Symposium on Applied Computing, 2017
Risk Assessment of a Biometric Continuous Authentication Protocol for Internet Services.
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017
Dealing with Functional Safety Requirements for Automotive Systems: A Cyber-Physical-Social Approach.
Proceedings of the Critical Information Infrastructures Security, 2017
Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, August 29, 2017
2016
Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016
Proceedings of the Cyber-Physical Systems of Systems - Foundations, 2016
IEEE Trans. Parallel Distributed Syst., 2016
Proceedings of the 11th System of Systems Engineering Conference, 2016
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016
Context-Awareness to Improve Anomaly Detection in Dynamic Service Oriented Architectures.
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
Proceedings of the 2016 Seventh Latin-American Symposium on Dependable Computing, 2016
Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
On the Dependability for Dynamic Software Product Lines: A Comparative Systematic Mapping Study.
Proceedings of the 42th Euromicro Conference on Software Engineering and Advanced Applications, 2016
Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes.
Proceedings of the 12th European Dependable Computing Conference, 2016
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016
2015
IEEE Trans. Dependable Secur. Comput., 2015
IEEE Trans. Dependable Secur. Comput., 2015
On trustworthy measurements when testing dependable systems: a discussion and experiences.
Int. J. Crit. Comput. Based Syst., 2015
Proceedings of the 10th System of Systems Engineering Conference, SoSE 2015, 2015
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the Algorithms and Architectures for Parallel Processing, 2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015
MB4CP 2015 Keynote I: Dependability Modeling and Analysis Methods Integrated in Model-Driven Industrial Architectural Frameworks.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015
2014
ACM SIGOPS Oper. Syst. Rev., 2014
Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform.
Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014
Big Data in Critical Infrastructures Security Monitoring: Challenges and Opportunities.
CoRR, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the Computer Safety, Reliability, and Security, 2014
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
IEEE Trans. Instrum. Meas., 2013
Optimal configuration of fault-tolerance parameters for distributed replicated server access.
Int. J. Crit. Comput. Based Syst., 2013
Int. J. Crit. Comput. Based Syst., 2013
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013
A methodology and supporting techniques for the quantitative assessment of insider threats.
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, 2013
On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262.
Proceedings of the SAFECOMP 2013, 2013
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013
Multi-hypothesis GPS and Electronic Fence Data Fusion for Safety-Critical Positioning in Railway Worksites.
Proceedings of the Sixth Latin-American Symposium on Dependable Computing, 2013
Experimental analysis of the first order time difference of indicators used in the monitoring of complex systems.
Proceedings of the 2nd IEEE International Workshop on Measurements & Networking, 2013
A monitoring and testing framework for critical off-the-shelf applications and services.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
2012
Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System.
IEEE Trans. Instrum. Meas., 2012
ACM Trans. Auton. Adapt. Syst., 2012
Int. J. Crit. Comput. Based Syst., 2012
Improving Security of Internet Services through Continuous and Transparent User Identity Verification.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012
A Federated Simulation Framework with ATN Fault Injection Module for Reliablity Analysis of UAVs in Non-controlled Airspace.
Proceedings of the Computer Safety, Reliability, and Security, 2012
Proceedings of the Computer Safety, Reliability, and Security, 2012
Proceedings of the 15th ACM International Conference on Modeling, 2012
Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012
Timed Broadcast via Off-the-Shelf WLAN Distributed Coordination Function for Safety-Critical Systems.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012
2011
IEEE Trans. Mob. Comput., 2011
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems.
Proceedings of the WINSYS 2011, 2011
Towards a Federated Simulation Approach for Reliability Evaluation of Unmanned Aircraft Vehicles within Aeronautical Communcations Networking.
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops, 2011
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011
Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011
Proceedings of the IEEE International Workshop on Measurement and Networking, 2011
Proceedings of the IEEE International Workshop on Measurement and Networking, 2011
A Reliable and Self-Aware Clock for reference time failure detection in internal synchronization environment.
Proceedings of the IEEE International Workshop on Measurement and Networking, 2011
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Proceedings of the 13th European Workshop on Dependable Computing, 2011
2010
A New Approach and a Related Tool for Dependability Measurements on Distributed Systems.
IEEE Trans. Instrum. Meas., 2010
Int. J. Crit. Comput. Based Syst., 2010
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010
Proceedings of The Ninth IEEE International Symposium on Networking Computing and Applications, 2010
Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010
Proceedings of the 30th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2010 Workshops), 2010
2009
IEEE Trans. Reliab., 2009
QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis.
J. Softw., 2009
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009
Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection.
Proceedings of the 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing, 2009
Proceedings of the Architecting Dependable Systems VII, 2009
2008
Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008
An integrated framework for the dependability evaluation of distributed mobile applications.
Proceedings of the SERENE 2008, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Seventh European Dependable Computing Conference, 2008
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008
2007
IEEE Trans. Dependable Secur. Comput., 2007
Proceedings of the 15th Euromicro International Conference on Parallel, 2007
Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems.
Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007
Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes.
Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007
2006
Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia.
IEEE Trans. Dependable Secur. Comput., 2006
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006
2005
J. Braz. Comput. Soc., 2005
Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures.
Proceedings of the Service Availability, 2005
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005
2004
IEEE Trans. Reliab., 2004
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications.
IEEE Trans. Dependable Secur. Comput., 2004
Comput. J., 2004
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks.
Proceedings of the 9th IEEE Symposium on Computers and Communications (ISCC 2006), June 28, 2004
Proceedings of the Service Availability, 2004
Proceedings of the Building the Information Society, 2004
Proceedings of the First Conference on Computing Frontiers, 2004
2003
IEEE Trans. Computers, 2003
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003
Proceedings of the Dependable Computing, First Latin-American Symposium, 2003
Proceedings of the Architecting Dependable Systems II, 2003
2002
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment.
J. Syst. Archit., 2002
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002
Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
2001
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability.
IEEE Trans. Computers, 2001
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking.
Comput. Syst. Sci. Eng., 2001
Dependability analysis in the early phases of UML-based system design.
Comput. Syst. Sci. Eng., 2001
Comput. J., 2001
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001
Proceedings of the Computer Safety, 2001
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001
Towards Optimal Database Maintenance in Wireless Communication Systems.
Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems.
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
2000
IEEE Trans. Computers, 2000
J. Syst. Archit., 2000
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000
Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000
1999
IEEE Trans. Parallel Distributed Syst., 1999
Softw. Test. Verification Reliab., 1999
Real Time Syst., 1999
Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999
Proceedings of the Dependable Computing, 1999
1998
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998
1997
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis.
Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 1997
Proceedings of the Digest of Papers: FTCS-27, 1997
1996
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996
Proceedings of the 22rd EUROMICRO Conference '96, 1996
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking.
Proceedings of the Dependable Computing, 1996
Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996
1995
IEICE Trans. Inf. Syst., 1995
Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation.
Proceedings of the 14th International Conference on Computer Safety, 1995
Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995
1994
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994
Proceedings of the Dependable Computing, 1994
1993
Proceedings of the 12th International Conference on Computer Safety, 1993
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1993
1992
Comput. Networks ISDN Syst., 1992
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations.
Proceedings of the 11th Symposium on Reliable Distributed Systems, 1992
Proceedings of the Real Time Computing, 1992
1991
Proceedings of the Proceedings IEEE INFOCOM '91, 1991
Proceedings of the Fault-Tolerant Computing Systems, Tests, Diagnosis, 1991
1989
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols.
Comput. Networks ISDN Syst., 1989
Proceedings of the MFDBS 89, 1989