Sandro Bologna

发表

Architectural Foundations, Concepts and Methods Behind ISACS — A Real-Time Intelligent System for Critical Applications

Sandro Bologna, Øivind Berg, Kjell Haugset, 1992 .

An Approach to the Intelligent Decision Advisor (IDA) for Emergency Managers

Sandro Bologna, Adam Maria Gadomski, 2000 .

Deep Knowledge and Rigorous Engineering Practice: Two Ingredients to Build Dependable Knowledge Based Systems for Industrial Process Plant Control

Sandro Bologna, Heikki Välisuo, 1993 .

Safeguarding information intensive critical infrastructures against novel types of emerging failures

Sandro Bologna, Giordano Vicoli, Claudio Balducelli, 2007, Reliab. Eng. Syst. Saf..

Analysing interdependencies of critical infrastructures using agent discrete event simulation

Sandro Bologna, Giordano Vicoli, Antonio Di Pietro, 2005 .

Proceedings of the 30th international conference on Computer safety, reliability, and security

Francesco Flammini, Valeria Vittorini, Sandro Bologna, 2002 .

Improving safety through an integrated approach for advanced control room development

Sandro Bologna, Øivind Berg, Kjell Haugset, 1992 .

TESTING STRATEGIES AND TESTING ENVIRONMENT FOR REACTOR SAFETY SYSTEM SOFTWARE

Sandro Bologna, D. M. Rao, 1986 .

Intelligent decision support for cooperating emergency managers: The TOGA based conceptualization framework

Sandro Bologna, Adam Maria Gadomski, G. Di Costanzo, 1995 .

Cyber Security and Resilience of Industrial Control Systems and Critical Infrastructures

Sandro Bologna, Maurizio Martellini, Alessandro Fasani, 2013 .

Guest editor's corner achieving quality in software

Sandro Bologna, S. Bologna, 1997, J. Syst. Softw..

Verification and Validation Program for a Distributed Computer System for Safety Application

Sandro Bologna, D. M. Rao, 1985 .

Methodologies for inter-dependency assessment

Vincenzo Fioriti, Sandro Bologna, E. Ciapessoni, 2010, 2010 5th International Conference on Critical Infrastructure (CRIS).

ADVA NCED TECHNIQUES FOR SAFETY ANALYSIS APPLIED TO THE GAS TURBINE CONTROL SYSTEM OF ICARO CO GENERATIVE PLANT

Enrico Tronci, Sandro Bologna, Andrea Bobbio, 2001 .

DIESIS: an interoperable European federated simulation network for critical infrastructures

Erol Gelenbe, Erich Rome, Vincenzo Masucci, 2009 .

Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

Francesco Flammini, Valeria Vittorini, Sandro Bologna, 2011, SAFECOMP.

An Environment for Requirements Specification and Analysis of Real-time Software Based on Timed Petri Nets

Carlo Ghezzi, Sandro Bologna, Dino Mandrioli, 1988 .

Dependability and Survivability of Large Complex Critical Infrastructures

Sandro Bologna, Giordano Vicoli, Claudio Balducelli, 2003, SAFECOMP.

Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control

Sandro Bologna, Terje Sivertsen, Heikki Välisuo, 1993, Int. J. Softw. Eng. Knowl. Eng..

Human-Computer System Dependability

Erik Hollnagel, Sandro Bologna, 2002, SAFECOMP.

Interdependency Effects Measured on Complex Interdependent Networks

Vittorio Rosato, Sandro Bologna, Eddy Pascucci, 2010, 2010 Complexity in Engineering.

Real-time software requirements specification and animation using extended Petri nets: theory and application

Sandro Bologna, 1993 .

Foreword reliability and safety in real-time systems

Nancy G. Leveson, Sandro Bologna, 1986 .

Inter-dependency Assessment in the ICT-PS Network: The MIA Project Results

Vincenzo Fioriti, Sandro Bologna, Emanuele Ciapessoni, 2010, CRITIS.

A computerized support system to cooperative training in emergency scenarios management and its application to an oil port domain

M. Boero, Sandro Bologna, Giordano Vicoli, 1995 .

Critical Information Infrastructure Protection and Resilience in the ICT Sector

Sandro Bologna, Paul Theron, S. Bologna, 2013 .

An Overview of R&D Activities in Europe on Critical Information Infrastructure Protection (CIIP)

Sandro Bologna, Roberto Setola, Eric A. M. Luiijf, 2006, CRITIS.

Towards a European Research Agenda for CIIP: Results from the CI2RCO Project

Sandro Bologna, Eric A. M. Luiijf, Gwendal Le Grand, 2007, CRITIS.

An Integrated Approach to Survivability Analysis of Large Complex Critical Infrastructures

Sandro Bologna, Thomas Beer, S. Bologna, 2003, GI Jahrestagung.

A Two-Stage Approach to Simulate Interdependent Critical Infrastructures

Sandro Bologna, Roberto Setola, Emiliano Casalicchio, 2010, 2010 Complexity in Engineering.

Guest introduction: The IPTES project

Sandro Bologna, 2005, Real-Time Systems.

Safety applications of programmable electronic systems in the process industry

Sandro Bologna, 1999 .

COMPUTER AIDED TRAINING FOR COOPERATING EMERGENCY MANAGERS: SOME RESULTS OF MUSTER PROJECT

Sandro Bologna, Giordano Vicoli, Claudio Balducelli, 2002 .

An Integrated Approach For Simulating Interdependencies

Vincenzo Masucci, Sandro Bologna, Roberto Setola, 2008, Critical Infrastructure Protection.

Improving Critical Infrastructure Protection and Resilience against Terrorism Cyber Threats

Alessandro Lazari, Sandro Bologna, Stefano Mele, 2015, Comprehensive Approach as "Sine Qua Non" for Critical Infrastructure Protection.

The Contribution of NEISAS to EP3R

Vittorio Rosato, John Harrison, Sandro Bologna, 2011, CRITIS.

Towards intelligent decision support systems for emergency managers: the IDA approach

Anna Perini, Sandro Bologna, Marco Schaerf, 2001 .

On Modeling and Measuring Inter-dependencies among Critical Infrastructures

Vincenzo Fioriti, Sandro Bologna, Gregorio D'Agostino, 2010, 2010 Complexity in Engineering.

Applying Formal Methods in Industry The UseGat Project

Sandro Bologna, Giorgio Mongardi, Niels Kirkegaard, 1998, SAFECOMP.

Independent software verification and validation in practice: methodological and managerial aspects

Sandro Bologna, 1993 .

COMPARISON OF METHODOLOGIES FOR THE SAFETY AND DEPENDABILITY ASSESSMENT OF AN INDUSTRIAL PROGRAMMABLE LOGIC CONTROLLER

Giuliana Franceschinis, Luigi Portinale, Sandro Bologna, 2001 .