| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Ferrari, Alessandra Flammini, Stefano Rinaldi, Andrea Bondavalli, Francesco Brancati |
Experimental Characterization of Uncertainty Sources in a Software-Only Synchronization System.  |
IEEE T. Instrumentation and Measurement  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Ossama Hamouda, Mohamed Kaâniche, Paolo Lollini, István Majzik, Hans-Peter Schwefel |
The HIDENETS Holistic Approach for the Analysis of Large Critical Mobile Systems. |
IEEE Trans. Mob. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ceccarelli, Lorenzo Vinerbi, Lorenzo Falai, Andrea Bondavalli |
RACME: A Framework to Support V&V and Certification. |
LADC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli |
A Testing Service for Lifelong Validation of Dynamic SOA. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli |
An Intelligent Maintenance based on Machine Learning Approach for Wireless and Mobile Systems. |
WINSYS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Antonio Bovenzi, Francesco Brancati, Stefano Russo, Andrea Bondavalli |
A Statistical Anomaly-Based Algorithm for On-line Fault Detection in Complex Software Critical Systems. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli |
Towards a MDE Transformation Workflow for Dependability Analysis. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
A New Approach and a Related Tool for Dependability Measurements on Distributed Systems. |
IEEE T. Instrumentation and Measurement |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Lorenzo Falai, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini |
Available and safe message freshness detection algorithm. |
IJCCBS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Paolo Lollini, Michele Vadursi |
AMBER Roadmap: Ongoing Research Directions. |
ICDCS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Brancati, Andrea Bondavalli |
Practical Aspects in Analyzing and Sharing the Results of Experimental Evaluation. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
testing, data warehouse, olap, star schema |
| 1 | Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Michele Vadursi |
Experimental Validation of a Synchronization Uncertainty-Aware Software Clock. |
SRDS |
2010 |
DBLP DOI BibTeX RDF |
R&SAClock, synchronization uncertainty, experimental validation |
| 1 | Jesper Grønbæk, Hans-Peter Schwefel, Andrea Ceccarelli, Andrea Bondavalli |
Improving Robustness of Network Fault Diagnosis to Uncertainty in Observations. |
NCA |
2010 |
DBLP DOI BibTeX RDF |
HMM, monitoring, uncertainty, diagnosis |
| 1 | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico |
A Decomposition-Based Modeling Framework for Complex Systems. |
IEEE Transactions on Reliability |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi |
QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis. |
JSW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ceccarelli, Andrea Bondavalli, Danilo Iovino |
Trustworthy Evaluation of a Safe Driver Machine Interface through Software-Implemented Fault Injection. |
PRDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Francesco Brancati, Andrea Ceccarelli, Lorenzo Falai |
An Experimental Framework for the Analysis and Validation of Software Clocks. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
experimental framework andmethodology, assessment and measurements, software clocks, R? NTP |
| 1 | Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini |
Architecting and Validating Dependable Systems: Experiences and Visions. |
WADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Ceccarelli, István Majzik, Danilo Iovino, Fausto Caneschi, Gergely Pintér, Andrea Bondavalli |
A Resilient SIL 2 Driver Machine Interface for Train Control Systems. |
DepCoS-RELCOMEX |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, István Majzik, Aad P. A. van Moorsel |
International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008). |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai |
Assuring Resilient Time Synchronization. |
SRDS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Casimiro, Paolo Lollini, Monica Dixit, Andrea Bondavalli, Paulo Veríssimo |
A framework for dependable QoS adaptation in probabilistic environments. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
probabilistic QoS, dependability, QoS adaptation |
| 1 | Máté Kovács, Paolo Lollini, István Majzik, Andrea Bondavalli |
An integrated framework for the dependability evaluation of distributed mobile applications. |
SERENE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli |
How hard is Assessing and Measuring Resilience? Panel. |
EDCC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi |
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
QoS analysis, UMTS networks, partial outages, simulation, compositional modeling, stochastic activity networks |
| 1 | Marco Serafini, Andrea Bondavalli, Neeraj Suri |
Online Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters. |
IEEE Trans. Dependable Sec. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Francisco Vilar Brasileiro, Sergio Rajsbaum (eds.) |
Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings |
LADC |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
Foundations of Measurement Theory Applied to the Evaluation of Dependability Attributes. |
DSN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai |
A Self-Aware Clock for Pervasive Computing Systems. |
PDP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Andrea Ceccarelli, Lorenzo Falai, Michele Vadursi |
Towards Making NekoStat a Proper Measurement Tool for the Validation of Distributed Systems. |
ISADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone |
The CRUTIAL Architecture for Critical Information Infrastructures. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Daidone, Silvano Chiaradonna, Andrea Bondavalli, Paulo Veríssimo |
Analysis of a Redundant Architecture for Critical Infrastructure Protection. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo |
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 Sec. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Daidone, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna |
Hidden Markov Models as a Support for Diagnosis: Formalization of the Problem and Synthesis of the Solution. |
SRDS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri |
Integration of an MPS Modeling Approach into Mobius. |
QEST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha |
Dependability Evaluation of Web Service-Based Processes. |
EPEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico |
A Modeling Methodology for Hierarchical Control System and its Aplication. |
J. Braz. Comp. Soc. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico |
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension. |
LADC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Falai, Andrea Bondavalli |
Experimental Evaluation of the QoS of Failure Detectors on Wide Area Network. |
DSN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico |
Evaluation of the Impact of Congestion on Service Availability in GPRS Infrastructures. |
ISAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico |
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. |
QEST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano |
Effective Fault Treatment for Improving the Dependability of COTS and Legacy-Based Applications. |
IEEE Trans. Dependable Sec. Comput. |
2004 |
DBLP DOI BibTeX RDF |
Legacy systems and COTS components, fault diagnosis and treatment, performability, fault injection, modeling and evaluation |
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Ivan Mura |
Dependability modeling and evaluation of multiple-phased systems using DEEM. |
IEEE Transactions on Reliability |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Roberto Filippini |
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach. |
Comput. J. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Enrico De Giudici, Stefano Porcarelli, Salvatore Sabina, Fabrizio Zanini |
A Freshness Detection Mechanism for Railway Applications. |
PRDC |
2004 |
DBLP DOI BibTeX RDF |
railway control systems, real-time, safety |
| 1 | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini |
Model-based evaluation of a radio resource management system for wireless networks. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
modeling, reliability, wireless networks, resource management system, stochastic activity networks |
| 1 | Stefano Porcarelli, Felicita Di Giandomenico, Paolo Lollini, Andrea Bondavalli |
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems. |
ISAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna |
Architectural challenges for a dependable Information Society. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Paolo Lollini, Andrea Bondavalli, Felicita Di Giandomenico, Stefano Porcarelli |
Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. |
ISCC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Shambhu J. Upadhyaya, Andrea Bondavalli |
Guest Editorial: Special Issue on Reliable Distributed Systems. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Massimo Barbera, Ivan Mura |
Service-Level Availability Estimation of GPRS. |
IEEE Trans. Mob. Comput. |
2003 |
DBLP DOI BibTeX RDF |
outages, simulation, Availability, GPRS, stochastic activity networks, modeling and evaluation |
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo, Luigi Romano |
A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation. |
LADC |
2003 |
DBLP DOI BibTeX RDF |
Fault Treatment, Threshold-based mechanisms, CORBA Architectures, Fault Diagnosis, Legacy systems, Software Implemented Fault Tolerance |
| 1 | Andrea Coccoli, Andrea Bondavalli |
Analysis of Safety Related Architectures. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Porcarelli, Marco Castaldi, Felicita Di Giandomenico, Andrea Bondavalli, Paola Inverardi |
A Framework for Reconfiguration-Based Fault-Tolerance in Distributed Systems. |
WADS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, J. Xu |
An adaptive approach to achieving hardware and software fault tolerance in a distributed computing environment. |
Journal of Systems Architecture |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Coccoli, Péter Urbán, Andrea Bondavalli |
Performance Analysis of a Consensus Algorithm Combining Stochastic Activity Networks and Measurements. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
measurements, failure detectors, quantitative analysis, distributed consensus, Stochastic Activity Networks |
| 1 | Luigi Romano, Andrea Bondavalli, Silvano Chiaradonna, Domenico Cotroneo |
Implementation of Threshold-based Diagnostic Mechanisms for COTS-Based Applications. |
SRDS |
2002 |
DBLP DOI BibTeX RDF |
Threshold mechanisms, Diagnosis, COTS, Legacy systems, Distributed architectures |
| 1 | Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli |
Analyzing quality of service of GPRS network systems from a user's perspective. |
ISCC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | István Majzik, András Pataricza, Andrea Bondavalli |
Stochastic Dependability Analysis of System Architecture Based on UML Models. |
WADS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Alessandro Fantechi, Diego Latella, Luca Simoncini |
Design Validation of Embedded Dependable Systems. |
IEEE Micro |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Mura, Andrea Bondavalli |
Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Phased mission systems, analytical modeling and evaluation, Markov regenerative stochastic Petri nets, performability, dependability, sensitivity analysis, Markov regenerative processes |
| 1 | Andrea Bondavalli, Mario Dal Cin, Diego Latella, István Majzik, András Pataricza, Giancarlo Savoia |
Dependability analysis in the early phases of UML-based system design. |
Comput. Syst. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Manuela Nelli, Luca Simoncini, Giorgio Mongardi |
Hierarchical modelling of complex control systems: dependability analysis of a railway interlocking. |
Comput. Syst. Sci. Eng. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Grandoni 0002, Silvano Chiaradonna, Felicita Di Giandomenico, Andrea Bondavalli |
Evaluation of Fault-Tolerant Multiprocessor Systems for High Assurance Applications. |
Comput. J. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Tataranni, Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli |
Analysis of the Effects of Outages on the Quality of Service of GPRS Network Systems. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli |
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems. |
SAFECOMP |
2001 |
DBLP BibTeX RDF |
|
| 1 | F. Tataranni, Stefano Porcarelli, Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli |
Modeling and Analysis of the Behavior of GPRS Systems. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico |
Analysis and Estimation of the Quality of Service of Group Communication Protocols. |
ISORC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Amine Chohra, Felicita Di Giandomenico, Stefano Porcarelli, Andrea Bondavalli |
Towards Optimal Database Maintenance in Wireless Communication Systems. |
ISAS-SCI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni 0002 |
Threshold-Based Mechanisms to Discriminate Transient from Intermittent Faults. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
Fault discrimination, threshold-based identification, transient and intermittent faults, fault diagnosis, modeling and evaluation |
| 1 | Alan Burns, Divya Prasad, Andrea Bondavalli, Felicita Di Giandomenico, Krithi Ramamritham, John A. Stankovic, Lorenzo Strigini |
The meaning and role of value in scheduling flexible real-time systems. |
Journal of Systems Architecture |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna, Roberto Filippini, S. Poli, F. Sandrini |
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
Multiple-Phased Systems, Dependability Modeling and Evaluation, Deterministic and Stochastic Petri Nets, Scheduled Maintenance, Markov Regenerative Processes |
| 1 | Felicita Di Giandomenico, Silvano Chiaradonna, Andrea Bondavalli, Fabrizio Grandoni 0002 |
Evaluation of Integrated Error Processing and Fault Diagnosis in Multiprocessor Systems. |
PDPTA |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Felicita Di Giandomenico |
A Position on Design, Methods, and Tools for Object-Oriented Real-Time Computing. (PDF / PS) |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar Nett, Andrea Bondavalli, Bruce Powel Douglass, Carlos Eduardo Pereira, Douglas C. Schmidt, Bran Selic, Kelvin D. Nilsen |
Design, Methods, and Tools for ORC. (PDF / PS) |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Sandrini, Felicita Di Giandomenico, Andrea Bondavalli, Edgar Nett |
Scheduling Solutions for Supporting Dependable Real-Time Applications. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings |
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. |
IEEE Trans. Parallel Distrib. Syst. |
1999 |
DBLP DOI BibTeX RDF |
integrity levels, fault tolerance, embedded systems, real-time, Computer architecture, generic architecture |
| 1 | Andrea Bondavalli, Felicita Di Giandomenico, Ivan Mura |
An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems. |
Real-Time Systems |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini |
A Contribution to the Evaluation of the Reliability of Iterative-Execution Software. |
Softw. Test., Verif. Reliab. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Ivan Mura, István Majzik |
Automatic Dependability Analysis for Supporting Design Decisions in UML. (PDF / PS) |
HASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Ivan Mura, Kishor S. Trivedi |
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems. |
EDCC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Ivan Mura, István Majzik |
Automated Dependability Analysis of UML Designs. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Andrea Bondavalli, György Csertán, István Majzik, Luca Simoncini |
Temporal analysis of data flow control systems. |
Automatica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Grandoni 0002, Andrea Bondavalli, Silvano Chiaradonna |
A New Heuristic to Discriminate between Transient and Intermittent Faults. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Pizza, Lorenzo Strigini, Andrea Bondavalli, Felicita Di Giandomenico |
Optimal Discrimination between Transient and Permanent Faults. (PDF / PS) |
HASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Felicita Di Giandomenico, Fabrizio Grandoni 0002, David Powell, Christophe Rabéjac |
State Restoration in a COTS-Based N-Modular Architecture. |
ISORC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Ivan Mura, Manuela Nelli |
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni 0002 |
Discriminating Fault Rate and Persistency to Improve Fault Treatment. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Bizzarri, Andrea Bondavalli, Felicita Di Giandomenico |
A Scheduling Algorithm for Aperiodic Groups of Tasks in Distributed Real-Time Systems and its Holistic Analysis. |
FTDCS |
1997 |
DBLP DOI BibTeX RDF |
Aperiodic Tasks Group, Two Phase Commit Protocol, Holistic Analysis, Real Time Systems, Distributed Scheduling |
| 1 | Manuela Nelli, Andrea Bondavalli, Luca Simoncini |
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking. |
EDCC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Antal, György Csertán, István Majzik, Andrea Bondavalli, Luca Simoncini |
Reachability and Timing Analysis in Data Flow Networks: A Case Study. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
data flow networks, computer control systems, performance, safety, timing analysis, reachability analysis, reachability analysis |
| 1 | Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini |
Using Process Algebras for the Semantic Analysis of Data Flow Networks. |
IEICE Transactions |
1995 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico |
Efficient Fault Tolerance: An Approach to Deal with Transient Faults in Multiprocessor Architectures. |
ICPADS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini |
On Performability Modeling and Evaluation of Software Fault Tolerant Structures. |
EDCC |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Cinzia Bernardeschi, Andrea Bondavalli, Luca Simoncini |
From Data Flow Networks to Process Algebras. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Lorenzo Strigini, Matteo Sereno |
Destination Stripping Dual Ring: A New Protocol for MANs. |
Computer Networks and ISDN Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bondavalli, Lorenzo Strigini, Luca Simoncini |
Dataflow-Like Languages for Real-Time Systems: Issues of Computational Models and Notations. |
SRDS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, M. Mannocci, F. Tarini, P. Zini, L. Nardone, Luca Simoncini |
A Performable BSM Architecture. |
Fault-Tolerant Computing Systems |
1991 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Lorenzo Strigini |
DSDR: A Fair and Efficient Access Protocol for Ring-Topology MANs. |
INFOCOM |
1991 |
DBLP BibTeX RDF |
|
| 1 | Andrea Bondavalli, Marco Conti, Enrico Gregori, Luciano Lenzini, Lorenzo Strigini |
MAC Protocols for High-Speed MANs: Performance Comparisons for a Family of Fasnet-Based Protocols. |
Computer Networks and ISDN Systems |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")