| Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks | 1 | 0.35 | 2021 |
| Low-Power Wide-Area Networks in Intelligent Transportation - Review and Opportunities for Smart-Railways. | 0 | 0.34 | 2020 |
| ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical Analysis | 2 | 0.36 | 2020 |
| An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. | 0 | 0.34 | 2020 |
| A model-driven approach for vulnerability evaluation of modern physical protection systems. | 0 | 0.34 | 2019 |
| Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism | 0 | 0.34 | 2019 |
| From Dynamic State Machines to Promela. | 0 | 0.34 | 2019 |
| A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. | 0 | 0.34 | 2018 |
| A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS. | 0 | 0.34 | 2017 |
| A Model Driven Approach For Assessing Survivability Requirements Of Critical Infrastructures | 0 | 0.34 | 2017 |
| Dynamic state machines for modelling railway control systems. | 6 | 0.43 | 2017 |
| On synergies of cyber and physical security modelling in vulnerability assessment of railway systems | 7 | 0.56 | 2015 |
| Modeling Railway Control Systems in Promela. | 7 | 0.44 | 2015 |
| Towards Model-Driven V&V assessment of railway control systems | 9 | 0.57 | 2014 |
| An Interoperable Testing Environment For Ertms/Etcs Control Systems | 1 | 0.39 | 2014 |
| Dynamic State Machines for Formalizing Railway Control System Specifications | 8 | 0.58 | 2014 |
| Improving code coverage in android apps testing by exploiting patterns and automatic test case generation | 4 | 0.41 | 2014 |
| A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems | 4 | 0.42 | 2014 |
| Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks | 3 | 0.40 | 2013 |
| Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios. | 4 | 0.43 | 2013 |
| Vulnerability modeling and analysis for critical infrastructure protection applications. | 8 | 0.52 | 2013 |
| An integrated lifetime and network quality model of large WSNs | 2 | 0.36 | 2013 |
| Enabling the usage of UML in the verification of railway systems: The DAM-rail approach. | 10 | 0.56 | 2013 |
| SAFECOMP'11 post-conference special issue. | 0 | 0.34 | 2013 |
| A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework. | 2 | 0.38 | 2012 |
| Model-Driven v&v processes for computer based control systems: a unifying perspective | 8 | 0.60 | 2012 |
| Augmenting surveillance system capabilities by exploiting event correlation and distributed attack detection | 7 | 0.58 | 2011 |
| Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings | 34 | 3.05 | 2011 |
| Model-driven availability evaluation of railway control systems | 14 | 0.71 | 2011 |
| Multiformalism techniques for critical infrastructure modelling | 2 | 0.43 | 2010 |
| Multiformalism and transformation inheritance for dependability analysis of critical systems | 5 | 0.49 | 2010 |
| A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance | 0 | 0.34 | 2009 |
| New Paradigms And Tools For High-Assurance Systems Modelling | 0 | 0.34 | 2008 |
| The REM Framework for Security Evaluation | 1 | 0.38 | 2008 |
| A Study on Multiformalism Modeling of Critical Infrastructures | 2 | 0.36 | 2008 |
| Turning Web Applications into Web Services by Wrapping Techniques | 4 | 0.68 | 2007 |
| A policy-based methodology for security evaluation: A Security Metric for Public Key Infrastructures | 19 | 1.36 | 2007 |
| Automatic Analysis of Control Flow inWeb Services Composition Processes | 14 | 0.58 | 2007 |
| Towards Semantics Driven Generation of Executable Web Services Compositions | 11 | 0.52 | 2007 |
| Workflow pattern analysis in web services orchestration: the BPEL4WS example | 11 | 0.73 | 2005 |
| Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework | 4 | 0.68 | 2005 |
| Workflow principles applied to multi-solution analysis of dependable distributed systems | 4 | 0.52 | 2004 |
| The OsMoSys approach to multi-formalism modeling of systems | 36 | 1.83 | 2004 |
| A model analysis of a distributed monitoring system using a multi-formalism approach | 0 | 0.34 | 2004 |
| Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys | 9 | 0.59 | 2004 |
| Repairable Fault Tree for the Automatic Evaluation of Repair Policies | 25 | 1.54 | 2004 |
| Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks | 7 | 0.59 | 2004 |
| Policy Based Interoperability In Distributed Security Infrastructures | 3 | 0.60 | 2003 |
| Efficient model checking of properties of a distributed application: a multimedia case study | 5 | 0.41 | 2002 |
| DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems | 10 | 1.25 | 2002 |
