Valeria Vittorini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
11
Active years
2002–2025
Best venue rank
C
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HPCC | Material-Aware Synthetic Data Generation for Smart City Applications. | Debora Russo, Domenico Amalfitano, Gerardo Di Martino, Nicola Mazzocca, Valeria Vittorini |
| 2024 | ISoLA | Railway Switch Control Modeling in European Train Control System Level 3. | Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini |
| 2022 | EDCC | Railway Digital Twins and Artificial Intelligence: Challenges and Design Guidelines. | Ruth Dirnfeld, Lorenzo De Donato, Francesco Flammini, Mehdi Saman Azari, Valeria Vittorini |
| 2022 | ISoLA | Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. | Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini |
| 2018 | ETFA | Automatic generation of formal models for diagnosability of DES. | Roberto Nardone, Gianmaria De Tommasi, Nicola Mazzocca, Alfredo Pironti, Valeria Vittorini |
| 2018 | ISoLA | A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods. | Rupert Schlick, Michael Felderer, Istvn Majzik, Roberto Nardone, Alexander Raschke, Colin F. Snook, Valeria Vittorini |
| 2014 | SAFECOMP | An Interoperable Testing Environment for ERTMS/ETCS Control Systems. | Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini |
| 2014 | SAFECOMP | A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems. | Francesco Flammini, Ugo Gentile, Stefano Marrone, Roberto Nardone, Valeria Vittorini |
| 2013 | UIC | Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks. | Annarita Drago, Stefano Marrone, Nicola Mazzocca, Annarita Tedesco, Valeria Vittorini |
| 2012 | ISoLA | Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. | Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Valeria Vittorini |
| 2011 | AVSS | A robust approach for on-line and off-line threat detection based on event tree similarity analysis. | Francesco Flammini, Concetta Pragliola, Alfio Pappalardo, Valeria Vittorini |
| 2011 | CRITIS | Petri Net Modelling of Physical Vulnerability. | Francesco Flammini, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini |
| 2011 | SAFECOMP | Model-Driven Availability Evaluation of Railway Control Systems. | Simona Bernardi, Francesco Flammini, Stefano Marrone, Jos Merseguer, Camilla Papa, Valeria Vittorini |
| 2010 | IFM | Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. | Stefano Marrone, Camilla Papa, Valeria Vittorini |
| 2008 | CRITIS | A Study on Multiformalism Modeling of Critical Infrastructures. | Francesco Flammini, Valeria Vittorini, Nicola Mazzocca, Concetta Pragliola |
| 2007 | PDP | Automatic Analysis of Control Flow inWeb Services Composition Processes. | Giusy Di Lorenzo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini |
| 2005 | HPCC | Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. | Francesco Moscato, Nicola Mazzocca, Valeria Vittorini, Giusy Di Lorenzo, Paola Mosca, Massimo Magaldi |
| 2004 | DSN | Repairable Fault Tree for the Automatic Evaluation of Repair Policies. | Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini |
| 2004 | PDP | Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems. | Francesco Moscato, Nicola Mazzocca, Valeria Vittorini |
| 2002 | DSN | DrawNet++: A Flexible Framework for Building Dependability Models. | Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, Claudio Bertoncello |