generated by bibbase.org
  2025 (3)
Energy-efficient neural network training through runtime layer freezing, model quantization, and early stopping. Reguero, Á. D.; Martínez-Fernández, S.; and Verdecchia, R. Comput. Stand. Interfaces, 92: 103906. 2025.
Energy-efficient neural network training through runtime layer freezing, model quantization, and early stopping [link]Paper   doi   link   bibtex  
Evolution of code technical debt in microservices architectures. Maggi, K.; Verdecchia, R.; Scommegna, L.; and Vicario, E. J. Syst. Softw., 222: 112301. 2025.
Evolution of code technical debt in microservices architectures [link]Paper   doi   link   bibtex  
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Broccia, G.; ter Beek, M. H.; Lluch-Lafuente, A.; Spoletini, P.; Fantechi, A.; and Ferrari, A. Inf. Softw. Technol., 178: 107624. 2025.
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication [link]Paper   doi   link   bibtex  
  2024 (34)
Network Digital Twins: A Systematic Review. Verdecchia, R.; Scommegna, L.; Picano, B.; Becattini, M.; and Vicario, E. IEEE Access, 12: 145400–145416. 2024.
Network Digital Twins: A Systematic Review [link]Paper   doi   link   bibtex  
Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures. Scommegna, L.; Verdecchia, R.; and Vicario, E. J. Syst. Softw., 212: 112015. 2024.
Unveiling Faulty User Sequences: A Model-Based Approach to Test Three-Tier Software Architectures [link]Paper   doi   link   bibtex  
CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments. Maggi, K.; Verdecchia, R.; Scommegna, L.; and Vicario, E. In Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024, Salerno, Italy, June 18-21, 2024, pages 357–362, 2024. ACM
CLAIM: a Lightweight Approach to Identify Microservices in Dockerized Environments [link]Paper   doi   link   bibtex  
Learning Programming without Teachers: An Ongoing Ethnographic Study at 42. Pollini, N.; Maggi, K.; Verdecchia, R.; and Vicario, E. In Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, EASE 2024, Salerno, Italy, June 18-21, 2024, pages 590–594, 2024. ACM
Learning Programming without Teachers: An Ongoing Ethnographic Study at 42 [link]Paper   doi   link   bibtex  
Architectural Views: The State of Practice in Open-Source Software Projects. Migliorini, S.; Verdecchia, R.; Malavolta, I.; Lago, P.; and Vicario, E. In Galster, M.; Scandurra, P.; Mikkonen, T.; Antonino, P. O.; Nakagawa, E. Y.; and Navarro, E., editor(s), Software Architecture - 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings, volume 14889, of Lecture Notes in Computer Science, pages 396–415, 2024. Springer
Architectural Views: The State of Practice in Open-Source Software Projects [link]Paper   doi   link   bibtex  
Threats to Validity in Software Engineering - hypocritical paper section or essential analysis?. Lago, P.; Runeson, P.; Song, Q.; and Verdecchia, R. In Franch, X.; Daneva, M.; Martínez-Fernández, S.; and Quaranta, L., editor(s), Proceedings of the 18th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2024, Barcelona, Spain, October 24-25, 2024, pages 314–324, 2024. ACM
Threats to Validity in Software Engineering - hypocritical paper section or essential analysis? [link]Paper   doi   link   bibtex  
Training Green AI Models Using Elite Samples. Alswaitti, M.; Verdecchia, R.; Danoy, G.; Bouvry, P.; and Pecero, J. E. CoRR, abs/2402.12010. 2024.
Training Green AI Models Using Elite Samples [link]Paper   doi   link   bibtex  
How green is continual learning, really? Analyzing the energy consumption in continual training of vision foundation models. Trinci, T.; Magistri, S.; Verdecchia, R.; and Bagdanov, A. D. CoRR, abs/2409.18664. 2024.
How green is continual learning, really? Analyzing the energy consumption in continual training of vision foundation models [link]Paper   doi   link   bibtex  
Efficient derivation of optimal signal schedules for multimodal intersections. Bertocci, N.; Carnevali, L.; Scommegna, L.; and Vicario, E. Simul. Model. Pract. Theory, 133: 102912. 2024.
Efficient derivation of optimal signal schedules for multimodal intersections [link]Paper   doi   link   bibtex  
Edge to Cloud Network Function Offloading in the ADAPTO Framework. Botta, A.; Canonico, R.; Navarro, A.; Stanco, G.; Ventre, G.; Buonocunto, A.; Fresa, A.; Gentile, V.; Scommegna, L.; and Vicario, E. In Barolli, L., editor(s), Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 5, volume 203, of Lecture Notes on Data Engineering and Communications Technologies, pages 69–78, 2024. Springer
Edge to Cloud Network Function Offloading in the ADAPTO Framework [link]Paper   doi   link   bibtex  
Elastic Autoscaling for Distributed Workflows in MEC Networks. Picano, B.; Reali, R.; Scommegna, L.; and Vicario, E. In Barolli, L., editor(s), Advanced Information Networking and Applications - Proceedings of the 38th International Conference on Advanced Information Networking and Applications (AINA-2024), Kitakyushu, Japan, 17-19 April, 2024, Volume 5, volume 203, of Lecture Notes on Data Engineering and Communications Technologies, pages 151–160, 2024. Springer
Elastic Autoscaling for Distributed Workflows in MEC Networks [link]Paper   doi   link   bibtex  
An observation metamodel for dependability tools. Carnevali, L.; Cerboni, S.; Picano, B.; Scommegna, L.; and Vicario, E. In 19th European Dependable Computing Conference, EDCC 2024, Leuven, Belgium, April 8-11, 2024, pages 169–172, 2024. IEEE
An observation metamodel for dependability tools [link]Paper   doi   link   bibtex  
Democratized Learning Enabling Multi-Level Digital Twin Model Integration. Picano, B.; Becattini, M.; Carnevali, L.; and Vicario, E. In 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Padova, Italy, September 10-13, 2024, pages 1–8, 2024. IEEE
Democratized Learning Enabling Multi-Level Digital Twin Model Integration [link]Paper   doi   link   bibtex  
Quantitative evaluation of software rejuvenation of a pool of service replicas. Scommegna, L.; Becattini, M.; Fontani, G.; Paroli, L.; and Vicario, E. In 35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024 - Workshops, Tsukuba, Japan, October 28-31, 2024, pages 402–409, 2024. IEEE
Quantitative evaluation of software rejuvenation of a pool of service replicas [link]Paper   doi   link   bibtex  
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems. Paroli, L.; Botarelli, T.; Carnevali, L.; and Vicario, E. In 35th IEEE International Symposium on Software Reliability Engineering, ISSRE 2024, Tsukuba, Japan, October 28-31, 2024, pages 593–604, 2024. IEEE
A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems [link]Paper   doi   link   bibtex  
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions. Horváth, A.; Horváth, I.; Paolieri, M.; Telek, M.; and Vicario, E. In Hillston, J.; Soudjani, S.; and Waga, M., editor(s), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996, of Lecture Notes in Computer Science, pages 90–106, 2024. Springer
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions [link]Paper   doi   link   bibtex  
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. Dengler, G.; Carnevali, L.; Budde, C. E.; and Vicario, E. In Hillston, J.; Soudjani, S.; and Waga, M., editor(s), Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings, volume 14996, of Lecture Notes in Computer Science, pages 213–232, 2024. Springer
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation [link]Paper   doi   link   bibtex  
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation. Dengler, G.; Carnevali, L.; Budde, C. E.; and Vicario, E. CoRR, abs/2406.16447. 2024.
Transient Evaluation of Non-Markovian Models by Stochastic State Classes and Simulation [link]Paper   doi   link   bibtex  
Edge Intelligent Computing Systems in Different Domains. Picano, B.; and Fantacci, R. of Springer Briefs in Computer ScienceSpringer, 2024.
Edge Intelligent Computing Systems in Different Domains [link]Paper   doi   link   bibtex  
Perspectives on IoT-oriented network simulation systems. Ramonet, A. G.; Pecorella, T.; Picano, B.; and Kinoshita, K. Comput. Networks, 253: 110749. 2024.
Perspectives on IoT-oriented network simulation systems [link]Paper   doi   link   bibtex  
A Semantic-Oriented Federated Learning for Hybrid Ground-Aqua Computing Systems. Picano, B.; and Fantacci, R. IEEE Internet Things J., 11(6): 10095–10103. 2024.
A Semantic-Oriented Federated Learning for Hybrid Ground-Aqua Computing Systems [link]Paper   doi   link   bibtex  
An efficient tasks offloading procedure for an integrated edge-computing architecture. Picano, B.; and Fantacci, R. J. Commun. Networks, 26(2): 215–224. 2024.
An efficient tasks offloading procedure for an integrated edge-computing architecture [link]Paper   doi   link   bibtex  
A Combined Stochastic Network Calculus and Matching Theory Approach for Computational Offloading in a Heterogenous MEC Environment. Picano, B.; and Fantacci, R. IEEE Trans. Netw. Serv. Manag., 21(2): 1958–1968. 2024.
A Combined Stochastic Network Calculus and Matching Theory Approach for Computational Offloading in a Heterogenous MEC Environment [link]Paper   doi   link   bibtex  
Dynamic MEC resource management for URLLC in Industry X.0 scenarios: a quantitative approach based on digital twin networks. Becattini, M.; Carnevali, L.; Fontani, G.; Paroli, L.; Scommegna, L.; Masoumi, M.; de Miguel, I.; and Brasca, F. In IEEE International Workshop on Metrology for Industry 4.0 and IoT, MetroInd4.0 \& IoT 2024, Firenze, Italy, May 29-31, 2024, pages 372–376, 2024. IEEE
Dynamic MEC resource management for URLLC in Industry X.0 scenarios: a quantitative approach based on digital twin networks [link]Paper   doi   link   bibtex  
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks. Becattini, M.; Borsatti, D.; Bujari, A.; Carnevali, L.; Garbugli, A.; Khachatrian, H.; Raptis, T. P.; and Tarchi, D. In IEEE International Mediterranean Conference on Communications and Networking, MeditCom 2024, Madrid, Spain, July 8-11, 2024, pages 323–328, 2024. IEEE
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks [link]Paper   doi   link   bibtex  
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks. Becattini, M.; Borsatti, D.; Bujari, A.; Carnevali, L.; Garbugli, A.; Khachatrian, H.; Raptis, T. P.; and Tarchi, D. CoRR, abs/2405.07605. 2024.
Empirical Application Insights on Industrial Data and Service Aspects of Digital Twin Networks [link]Paper   doi   link   bibtex  
An Integrated Perspective on the Evaluation of Complex Railway Systems. Basile, D.; ter Beek, M. H.; Carnevali, L.; Chiaradonna, S.; Giandomenico, F. D.; Fantechi, A.; and Gori, G. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, volume 15223, of Lecture Notes in Computer Science, pages 190–207, 2024. Springer
An Integrated Perspective on the Evaluation of Complex Railway Systems [link]Paper   doi   link   bibtex  
Neuro-Symbolic Artificial Intelligence for Safety Engineering. Carnevali, L.; and Lippi, M. In Ceccarelli, A.; Trapp, M.; Bondavalli, A.; Schoitsch, E.; Gallina, B.; and Bitsch, F., editor(s), Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops - DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings, volume 14989, of Lecture Notes in Computer Science, pages 438–445, 2024. Springer
Neuro-Symbolic Artificial Intelligence for Safety Engineering [link]Paper   doi   link   bibtex  
Advanced Integrated Evaluation of Railway Systems. Basile, D.; ter Beek, M. H.; Giandomenico, F. D.; Carnevali, L.; and Fantechi, A. ERCIM News, 2024(137). 2024.
Advanced Integrated Evaluation of Railway Systems [link]Paper   link   bibtex  
Coherent modal transition systems refinement. Basile, D.; ter Beek, M. H.; Fantechi, A.; and Gnesi, S. J. Log. Algebraic Methods Program., 138: 100954. 2024.
Coherent modal transition systems refinement [link]Paper   doi   link   bibtex  
Formal Methods for Distributed Computing in Future Railway Systems. Fantechi, A.; Gnesi, S.; and Haxthausen, A. E. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, volume 15223, of Lecture Notes in Computer Science, pages 109–111, 2024. Springer
Formal Methods for Distributed Computing in Future Railway Systems [link]Paper   doi   link   bibtex  
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components. Limbrée, C.; Haxthausen, A. E.; Gori, G.; and Fantechi, A. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V, volume 15223, of Lecture Notes in Computer Science, pages 127–141, 2024. Springer
Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components [link]Paper   doi   link   bibtex  
Can AI Help with the Formalization of Railway Cybersecurity Requirements?. ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Lenzini, G.; and Petrocchi, M. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I, volume 15219, of Lecture Notes in Computer Science, pages 186–203, 2024. Springer
Can AI Help with the Formalization of Railway Cybersecurity Requirements? [link]Paper   doi   link   bibtex  
Exploring LLMs' Ability to Detect Variability in Requirements. Fantechi, A.; Gnesi, S.; and Semini, L. In Méndez, D.; and Moreira, A., editor(s), Requirements Engineering: Foundation for Software Quality - 30th International Working Conference, REFSQ 2024, Winterthur, Switzerland, April 8-11, 2024, Proceedings, volume 14588, of Lecture Notes in Computer Science, pages 178–188, 2024. Springer
Exploring LLMs' Ability to Detect Variability in Requirements [link]Paper   doi   link   bibtex  
  2023 (27)
Threats to validity in software engineering research: A critical reflection. Verdecchia, R.; Engström, E.; Lago, P.; Runeson, P.; and Song, Q. Inf. Softw. Technol., 164: 107329. 2023.
Threats to validity in software engineering research: A critical reflection [link]Paper   doi   link   bibtex  
Tales of Hybrid Teaching in Software Engineering: Lessons Learned and Guidelines. Verdecchia, R.; and Lago, P. IEEE Trans. Educ., 66(3): 234–243. 2023.
Tales of Hybrid Teaching in Software Engineering: Lessons Learned and Guidelines [link]Paper   doi   link   bibtex  
A systematic review of Green AI. Verdecchia, R.; Sallou, J.; and Cruz, L. WIREs Data. Mining. Knowl. Discov., 13(4). 2023.
A systematic review of Green AI [link]Paper   doi   link   bibtex  
Technical Debt in Microservices: A Mixed-Method Case Study. Verdecchia, R.; Maggi, K.; Scommegna, L.; and Vicario, E. In Tekinerdogan, B.; Spalazzese, R.; Sözer, H.; Bonfanti, S.; and Weyns, D., editor(s), Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium - Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers, volume 14590, of Lecture Notes in Computer Science, pages 217–236, 2023. Springer
Technical Debt in Microservices: A Mixed-Method Case Study [link]Paper   doi   link   bibtex  
Designing a Future-Proof Reference Architecture for Network Digital Twins. Verdecchia, R.; Scommegna, L.; Vicario, E.; and Pecorella, T. In Tekinerdogan, B.; Spalazzese, R.; Sözer, H.; Bonfanti, S.; and Weyns, D., editor(s), Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium - Istanbul, Turkey, September 18-22, 2023, Revised Selected Papers, volume 14590, of Lecture Notes in Computer Science, pages 287–306, 2023. Springer
Designing a Future-Proof Reference Architecture for Network Digital Twins [link]Paper   doi   link   bibtex  
Exploring Technical Debt in Security Questions on Stack Overflow. Edbert, J. A.; Oishwee, S. J.; Karmakar, S.; Codabux, Z.; and Verdecchia, R. In ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023, New Orleans, LA, USA, October 26-27, 2023, pages 1–12, 2023. IEEE
Exploring Technical Debt in Security Questions on Stack Overflow [link]Paper   doi   link   bibtex  
Variability Features: Extending Sustainability Decision Maps via an Industrial Case Study. Funke, M.; Lago, P.; and Verdecchia, R. In 20th International Conference on Software Architecture, ICSA 2023 - Companion, L'Aquila, Italy, March 13-17, 2023, pages 1–7, 2023. IEEE
Variability Features: Extending Sustainability Decision Maps via an Industrial Case Study [link]Paper   doi   link   bibtex  
A Systematic Review of Green AI. Verdecchia, R.; Sallou, J.; and Cruz, L. CoRR, abs/2301.11047. 2023.
A Systematic Review of Green AI [link]Paper   doi   link   bibtex  
Exploring Technical Debt in Security Questions on Stack Overflow. Edbert, J. A.; Oishwee, S. J.; Karmakar, S.; Codabux, Z.; and Verdecchia, R. CoRR, abs/2307.11387. 2023.
Exploring Technical Debt in Security Questions on Stack Overflow [link]Paper   doi   link   bibtex  
Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks. Picano, B.; Scommegna, L.; Vicario, E.; and Fantacci, R. J. Sens. Actuator Networks, 12(4): 58. 2023.
Echo State Learning for User Trajectory Prediction to Minimize Online Game Breaks in 6G Terahertz Networks [link]Paper   doi   link   bibtex  
An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems. Picano, B.; Vicario, E.; and Fantacci, R. IEEE Trans. Netw. Sci. Eng., 10(6): 3232–3241. 2023.
An Efficient Flows Dispatching Scheme for Tardiness Minimization of Data-Intensive Applications in Heterogeneous Systems [link]Paper   doi   link   bibtex  
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows. Carnevali, L.; Paolieri, M.; Reali, R.; and Vicario, E. ACM Trans. Model. Comput. Simul., 33(4): 16:1–16:26. 2023.
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows [link]Paper   doi   link   bibtex  
Construction of Phase Type Distributions by Bernstein Exponentials. Horváth, A.; and Vicario, E. In Iacono, M.; Scarpa, M.; Barbierato, E.; Serrano, S.; Cerotti, D.; and Longo, F., editor(s), Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings, volume 14231, of Lecture Notes in Computer Science, pages 201–215, 2023. Springer
Construction of Phase Type Distributions by Bernstein Exponentials [link]Paper   doi   link   bibtex  
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows. Carnevali, L.; Paolieri, M.; Picano, B.; Reali, R.; Scommegna, L.; and Vicario, E. In Iacono, M.; Scarpa, M.; Barbierato, E.; Serrano, S.; Cerotti, D.; and Longo, F., editor(s), Computer Performance Engineering and Stochastic Modelling - 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023, Proceedings, volume 14231, of Lecture Notes in Computer Science, pages 309–324, 2023. Springer
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows [link]Paper   doi   link   bibtex  
Equilibrium Analysis of Markov Regenerative Processes. Horváth, A.; Paolieri, M.; and Vicario, E. In Jansen, N.; and Tribastone, M., editor(s), Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, volume 14287, of Lecture Notes in Computer Science, pages 172–187, 2023. Springer
Equilibrium Analysis of Markov Regenerative Processes [link]Paper   doi   link   bibtex  
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, ECMS 2023, Florence, Italy, June 20-23, 2023. Vicario, E.; Bandinelli, R.; Fani, V.; and Mastroianni, M., editors. European Council for Modeling and Simulation. 2023.
Proceedings of the 37th ECMS International Conference on Modelling and Simulation, ECMS 2023, Florence, Italy, June 20-23, 2023 [link]Paper   doi   link   bibtex  
A D2D-Aided Federated Learning Scheme With Incentive Mechanism in 6G Networks. Fantacci, R.; and Picano, B. IEEE Access, 11: 107–117. 2023.
A D2D-Aided Federated Learning Scheme With Incentive Mechanism in 6G Networks [link]Paper   doi   link   bibtex  
End-to-End Delay Bound Analysis for VR and Industrial IoE Traffic Flows under Different Scheduling Policies in a 6G Network. Picano, B.; and Fantacci, R. Comput., 12(3): 62. 2023.
End-to-End Delay Bound Analysis for VR and Industrial IoE Traffic Flows under Different Scheduling Policies in a 6G Network [link]Paper   doi   link   bibtex  
A Channel-aware FL Approach for Virtual Machine Placement in 6G Edge Intelligent Ecosystems. Picano, B.; and Fantacci, R. ACM Trans. Internet Things, 4(2): 12:1–12:20. 2023.
A Channel-aware FL Approach for Virtual Machine Placement in 6G Edge Intelligent Ecosystems [link]Paper   doi   link   bibtex  
AI-Driven Digital Twins for Tasks Offloading in 6G UAV-Aided MEC Networks. Picano, B.; and Fantacci, R. In IEEE Globecom Workshops 2023, Kuala Lumpur, Malaysia, December 4-8, 2023, pages 1093–1098, 2023. IEEE
AI-Driven Digital Twins for Tasks Offloading in 6G UAV-Aided MEC Networks [link]Paper   doi   link   bibtex  
Compositional Verification of Railway Interlocking Systems. Haxthausen, A. E.; and Fantechi, A. Formal Aspects Comput., 35(1): 4:1–4:46. 2023.
Compositional Verification of Railway Interlocking Systems [link]Paper   doi   link   bibtex  
VIBE: Looking for Variability In amBiguous rEquirements. Fantechi, A.; Gnesi, S.; and Semini, L. J. Syst. Softw., 195: 111540. 2023.
VIBE: Looking for Variability In amBiguous rEquirements [link]Paper   doi   link   bibtex  
Decomposing the Verification of Interlocking Systems. Haxthausen, A. E.; Fantechi, A.; and Gori, G. In Haxthausen, A. E.; Huang, W.; and Roggenbach, M., editor(s), Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday, volume 14165, of Lecture Notes in Computer Science, pages 96–113, 2023. Springer
Decomposing the Verification of Interlocking Systems [link]Paper   doi   link   bibtex  
The 4SECURail Case Study on Rigorous Standard Interface Specifications. Belli, D.; Fantechi, A.; Gnesi, S.; Masullo, L.; Mazzanti, F.; Quadrini, L.; Trentini, D.; and Vaghi, C. In Cimatti, A.; and Titolo, L., editor(s), Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings, volume 14290, of Lecture Notes in Computer Science, pages 22–39, 2023. Springer
The 4SECURail Case Study on Rigorous Standard Interface Specifications [link]Paper   doi   link   bibtex  
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation. Fantechi, A.; Gnesi, S.; Passaro, L. C.; and Semini, L. In Schneider, K.; Dalpiaz, F.; and Horkoff, J., editor(s), 31st IEEE International Requirements Engineering Conference, RE 2023, Hannover, Germany, September 4-8, 2023, pages 335–340, 2023. IEEE
Inconsistency Detection in Natural Language Requirements using ChatGPT: a Preliminary Evaluation [link]Paper   doi   link   bibtex  
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study. Fantechi, A.; Gnesi, S.; and Semini, L. In Ferrari, A.; Penzenstadler, B.; Hadar, I.; Oyedeji, S.; Abualhaija, S.; Vogelsang, A.; Deshpande, G.; Rachmann, A.; Gulden, J.; Wohlgemuth, A.; Hess, A.; Fricker, S.; Guizzardi, R. S. S.; Horkoff, J.; Perini, A.; Susi, A.; Karras, O.; Dalpiaz, F.; Moreira, A.; Amyot, D.; and Spoletini, P., editor(s), Joint Proceedings of REFSQ-2023 Workshops, Doctoral Symposium, Posters \& Tools Track and Journal Early Feedback co-located with the 28th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2023), Barcelona, Catalunya, Spain, April 17-20, 2023, volume 3378, of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Rule-based NLP vs ChatGPT in ambiguity detection, a preliminary study [pdf]Paper   link   bibtex  
Automated Compositional Verification of Interlocking Systems. Haxthausen, A. E.; Fantechi, A.; Gori, G.; Mikkelsen, Ó. K.; and Petersen, S. In Milius, B.; Dutilleul, S. C.; and Lecomte, T., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings, volume 14198, of Lecture Notes in Computer Science, pages 146–164, 2023. Springer
Automated Compositional Verification of Interlocking Systems [link]Paper   doi   link   bibtex  
  2022 (28)
A fine-grained data set and analysis of tangling in bug fixing commits. Herbold, S.; Trautsch, A.; Ledel, B.; Aghamohammadi, A.; Ghaleb, T. A.; Chahal, K. K.; Bossenmaier, T.; Nagaria, B.; Makedonski, P.; Ahmadabadi, M. N.; Szabados, K.; Spieker, H.; Madeja, M.; Hoy, N.; Lenarduzzi, V.; Wang, S.; Rodríguez-Pérez, G.; Palacios, R. C.; Verdecchia, R.; Singh, P.; Qin, Y.; Chakroborti, D.; Davis, W.; Walunj, V.; Wu, H.; Marcilio, D.; Alam, O.; Aldaeej, A.; Amit, I.; Turhan, B.; Eismann, S.; Wickert, A.; Malavolta, I.; Sulír, M.; Fard, F. H.; Henley, A. Z.; Kourtzanidis, S.; Tuzun, E.; Treude, C.; Shamasbi, S. M.; Pashchenko, I.; Wyrich, M.; Davis, J.; Serebrenik, A.; Albrecht, E.; Aktas, E. U.; Strüber, D.; and Erbel, J. Empir. Softw. Eng., 27(6): 125. 2022.
A fine-grained data set and analysis of tangling in bug fixing commits [link]Paper   doi   link   bibtex   3 downloads  
Empirical evaluation of an architectural technical debt index in the context of the Apache and ONAP ecosystems. Verdecchia, R.; Malavolta, I.; Lago, P.; and Ozkaya, I. PeerJ Comput. Sci., 8: e833. 2022.
Empirical evaluation of an architectural technical debt index in the context of the Apache and ONAP ecosystems [link]Paper   doi   link   bibtex  
The future of sustainable digital infrastructures: A landscape of solutions, adoption factors, impediments, open problems, and scenarios. Verdecchia, R.; Lago, P.; and de Vries, C. Sustain. Comput. Informatics Syst., 35: 100767. 2022.
The future of sustainable digital infrastructures: A landscape of solutions, adoption factors, impediments, open problems, and scenarios [link]Paper   doi   link   bibtex  
Testing non-testable programs using association rules. Bertolino, A.; Cruciani, E.; Miranda, B.; and Verdecchia, R. In IEEE/ACM International Conference on Automation of Software Test, AST@ICSE 2022, Pittsburgh, PA, USA, May 21-22, 2022, pages 87–91, 2022. ACM/IEEE
Testing non-testable programs using association rules [link]Paper   doi   link   bibtex  
Asking about Technical Debt: Characteristics and Automatic Identification of Technical Debt Questions on Stack Overflow. Kozanidis, N.; Verdecchia, R.; and Guzman, E. In Madeiral, F.; Lassenius, C.; Conte, T.; and Männistö, T., editor(s), ESEM '22: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, Helsinki, Finland, September 19 - 23, 2022, pages 45–56, 2022. ACM
Asking about Technical Debt: Characteristics and Automatic Identification of Technical Debt Questions on Stack Overflow [link]Paper   doi   link   bibtex  
Data-Centric Green AI An Exploratory Empirical Study. Verdecchia, R.; Cruz, L.; Sallou, J.; Lin, M.; Wickenden, J.; and Hotellier, E. In International Conference on ICT for Sustainability, ICT4S 2022, Plovdiv, Bulgaria, June 13-17, 2022, pages 35–45, 2022. IEEE
Data-Centric Green AI An Exploratory Empirical Study [link]Paper   doi   link   bibtex  
Architectural Tactics to Optimize Software for Energy Efficiency in the Public Cloud. Vos, S.; Lago, P.; Verdecchia, R.; and Heitlager, I. In International Conference on ICT for Sustainability, ICT4S 2022, Plovdiv, Bulgaria, June 13-17, 2022, pages 77–87, 2022. IEEE
Architectural Tactics to Optimize Software for Energy Efficiency in the Public Cloud [link]Paper   doi   link   bibtex  
Do You Have the Energy for This Meeting?: An Empirical Study on the Energy Consumption of the Google Meet and Zoom Android apps. Wattenbach, L.; Aslan, B.; Fiore, M. M.; Ding, H.; Verdecchia, R.; and Malavolta, I. In 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MobileSoft@ICSE 2022, Pittsburgh, PA, USA, May 17-18, 2022, pages 6–16, 2022. IEEE
Do You Have the Energy for This Meeting?: An Empirical Study on the Energy Consumption of the Google Meet and Zoom Android apps [link]Paper   doi   link   bibtex  
Data-Centric Green AI: An Exploratory Empirical Study. Verdecchia, R.; Cruz, L.; Sallou, J.; Lin, M.; Wickenden, J.; and Hotellier, E. CoRR, abs/2204.02766. 2022.
Data-Centric Green AI: An Exploratory Empirical Study [link]Paper   doi   link   bibtex  
Human Activity Recognition Data Analysis: History, Evolutions, and New Trends. Ariza-Colpas, P. P.; Vicario, E.; Carrascal, A. I. O.; Butt, S. A.; Pi ̃neres-Melo, M. A.; Quintero-Linero, A.; and Patara, F. Sensors, 22(9): 3401. 2022.
Human Activity Recognition Data Analysis: History, Evolutions, and New Trends [link]Paper   doi   link   bibtex  
Learning Dynamics and Control of a Stochastic System under Limited Sensing Capabilities. Zadenoori, M. A.; and Vicario, E. Sensors, 22(12): 4491. 2022.
Learning Dynamics and Control of a Stochastic System under Limited Sensing Capabilities [link]Paper   doi   link   bibtex  
The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. Carnevali, L.; Paolieri, M.; and Vicario, E. SIGMETRICS Perform. Evaluation Rev., 49(4): 81–86. 2022.
The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems [link]Paper   doi   link   bibtex  
Compositional Analysis of Hierarchical UML Statecharts. Carnevali, L.; German, R.; Santoni, F.; and Vicario, E. IEEE Trans. Software Eng., 48(12): 4762–4788. 2022.
Compositional Analysis of Hierarchical UML Statecharts [link]Paper   doi   link   bibtex  
Semi-supervised Adaptive Method for Human Activities Recognition (HAR). Palechor, F. M.; Vicario, E.; Patara, F.; la Hoz Manotas, A. D.; and Molina-Estren, D. In Saeed, K.; and Dvorský, J., editor(s), Computer Information Systems and Industrial Management - 21st International Conference, CISIM 2022, Barranquilla, Colombia, July 15-17, 2022, Proceedings, volume 13293, of Lecture Notes in Computer Science, pages 3–17, 2022. Springer
Semi-supervised Adaptive Method for Human Activities Recognition (HAR) [link]Paper   doi   link   bibtex  
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics. Carnevali, L.; Paolieri, M.; Reali, R.; Scommegna, L.; Tammaro, F.; and Vicario, E. In Gilly, K.; and Thomas, N., editor(s), Computer Performance Engineering - 18th European Workshop, EPEW 2022, Santa Pola, Spain, September 21-23, 2022, Proceedings, volume 13659, of Lecture Notes in Computer Science, pages 200–215, 2022. Springer
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics [link]Paper   doi   link   bibtex  
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. Carnevali, L.; Paolieri, M.; Reali, R.; Scommegna, L.; and Vicario, E. In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022, pages 138–145, 2022. IEEE
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction [link]Paper   doi   link   bibtex  
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows. Carnevali, L.; Reali, R.; and Vicario, E. In Ábrahám, E.; and Paolieri, M., editor(s), Quantitative Evaluation of Systems - 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, Proceedings, volume 13479, of Lecture Notes in Computer Science, pages 255–272, 2022. Springer
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows [link]Paper   doi   link   bibtex  
Human-in-the-loop virtual reality offloading scheme in wireless 6G Terahertz networks. Picano, B.; and Fantacci, R. Comput. Networks, 214: 109152. 2022.
Human-in-the-loop virtual reality offloading scheme in wireless 6G Terahertz networks [link]Paper   doi   link   bibtex  
Multi-User Semantic Communications System with Spectrum Scarcity. Fantacci, R.; and Picano, B. J. Commun. Inf. Networks, 7(4): 375–382. 2022.
Multi-User Semantic Communications System with Spectrum Scarcity [link]Paper   doi   link   bibtex  
Validation of RUL estimation method for battery prognostic under different fast-charging conditions. Patrizi, G.; Picano, B.; Catelani, M.; Fantacci, R.; and Ciani, L. In IEEE International Instrumentation and Measurement Technology Conference, I2MTC 2022, Ottawa, ON, Canada, May 16-19, 2022, pages 1–6, 2022. IEEE
Validation of RUL estimation method for battery prognostic under different fast-charging conditions [link]Paper   doi   link   bibtex  
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies. Fantechi, A.; Gori, G.; and Papini, M. In 6th International Conference on System Reliability and Safety, ICSRS 2022, Venice, Italy, November 23-25, 2022, pages 110–119, 2022. IEEE
Runtime Reliability Monitoring for Complex Fault-Tolerance Policies [link]Paper   doi   link   bibtex  
Formal Methods for Distributed Control Systems of Future Railways. Fantechi, A.; Gnesi, S.; and Haxthausen, A. E. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, volume 13704, of Lecture Notes in Computer Science, pages 243–245, 2022. Springer
Formal Methods for Distributed Control Systems of Future Railways [link]Paper   doi   link   bibtex  
Future Train Control Systems: Challenges for Dependability Assessment. Fantechi, A.; Gnesi, S.; and Gori, G. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV, volume 13704, of Lecture Notes in Computer Science, pages 269–285, 2022. Springer
Future Train Control Systems: Challenges for Dependability Assessment [link]Paper   doi   link   bibtex  
Software rejuvenation and runtime reliability monitoring. Fantechi, A.; Gori, G.; and Papini, M. In IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE 2022 - Workshops, Charlotte, NC, USA, October 31 - Nov. 3, 2022, pages 162–169, 2022. IEEE
Software rejuvenation and runtime reliability monitoring [link]Paper   doi   link   bibtex  
Compositional Verification of Railway Interlockings: Comparison of Two Methods. Fantechi, A.; Gori, G.; Haxthausen, A. E.; and Limbrée, C. In Dutilleul, S. C.; Haxthausen, A. E.; and Lecomte, T., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, volume 13294, of Lecture Notes in Computer Science, pages 3–19, 2022. Springer
Compositional Verification of Railway Interlockings: Comparison of Two Methods [link]Paper   doi   link   bibtex  
A Vision of Intelligent Train Control. Flammini, F.; Donato, L. D.; Fantechi, A.; and Vittorini, V. In Dutilleul, S. C.; Haxthausen, A. E.; and Lecomte, T., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings, volume 13294, of Lecture Notes in Computer Science, pages 192–208, 2022. Springer
A Vision of Intelligent Train Control [link]Paper   doi   link   bibtex  
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022. Arcaini, P.; Devroey, X.; and Fantechi, A., editors. ACM. 2022.
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022 [link]Paper   doi   link   bibtex  
Runtime reliability monitoring for complex fault-tolerance policies. Fantechi, A.; Gori, G.; and Papini, M. CoRR, abs/2208.12111. 2022.
Runtime reliability monitoring for complex fault-tolerance policies [link]Paper   doi   link   bibtex  
  2021 (27)
Know You Neighbor: Fast Static Prediction of Test Flakiness. Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A. IEEE Access, 9: 76119–76134. 2021.
Know You Neighbor: Fast Static Prediction of Test Flakiness [link]Paper   doi   link   bibtex  
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption. Autili, M.; Malavolta, I.; Perucci, A.; Scoccia, G. L.; and Verdecchia, R. J. Internet Serv. Appl., 12(1): 3. 2021.
Software engineering techniques for statically analyzing mobile apps: research trends, characteristics, and potential for industrial adoption [link]Paper   doi   link   bibtex  
Building and evaluating a theory of architectural technical debt in software-intensive systems. Verdecchia, R.; Kruchten, P.; Lago, P.; and Malavolta, I. J. Syst. Softw., 176: 110925. 2021.
Building and evaluating a theory of architectural technical debt in software-intensive systems [link]Paper   doi   link   bibtex  
Green IT and Green Software. Verdecchia, R.; Lago, P.; Ebert, C.; and de Vries, C. IEEE Softw., 38(6): 7–15. 2021.
Green IT and Green Software [link]Paper   doi   link   bibtex  
ATDx: A tool for Providing a Data-driven Overview of Architectural Technical Debt in Software-intensive Systems (short paper). Ospina, S.; Verdecchia, R.; Malavolta, I.; and Lago, P. In Heinrich, R.; Mirandola, R.; and Weyns, D., editor(s), ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021, volume 2978, of CEUR Workshop Proceedings, 2021. CEUR-WS.org
ATDx: A tool for Providing a Data-driven Overview of Architectural Technical Debt in Software-intensive Systems (short paper) [pdf]Paper   link   bibtex  
Summary: Building and Evaluating a Theory of Architectural Technical Debt in Software-Intensive Systems (short paper). Verdecchia, R.; Kruchten, P.; Lago, P.; and Malavolta, I. In Heinrich, R.; Mirandola, R.; and Weyns, D., editor(s), ECSA 2021 Companion Volume, Virtual (originally: Växjö, Sweden), 13-17 September, 2021, volume 2978, of CEUR Workshop Proceedings, 2021. CEUR-WS.org
Summary: Building and Evaluating a Theory of Architectural Technical Debt in Software-Intensive Systems (short paper) [pdf]Paper   link   bibtex  
Characterizing Technical Debt and Antipatterns in AI-Based Systems: A Systematic Mapping Study. Bogner, J.; Verdecchia, R.; and Gerostathopoulos, I. In 4th IEEE/ACM International Conference on Technical Debt, TechDebt@ICSE 2021, Madrid, Spain, May 19-21, 2021, pages 64–73, 2021. IEEE
Characterizing Technical Debt and Antipatterns in AI-Based Systems: A Systematic Mapping Study [link]Paper   doi   link   bibtex  
Characterizing Technical Debt and Antipatterns in AI-Based Systems: A Systematic Mapping Study. Bogner, J.; Verdecchia, R.; and Gerostathopoulos, I. CoRR, abs/2103.09783. 2021.
Characterizing Technical Debt and Antipatterns in AI-Based Systems: A Systematic Mapping Study [link]Paper   link   bibtex  
A framework for Model-Driven Engineering of resilient software-controlled systems. Parri, J.; Patara, F.; Sampietro, S.; and Vicario, E. Computing, 103(4): 589–612. 2021.
A framework for Model-Driven Engineering of resilient software-controlled systems [link]Paper   doi   link   bibtex  
Quantitative Analysis of the Dynamic Relevance of Systems. Ye, L.; Zhao, D.; Xiang, J.; Carnevali, L.; and Vicario, E. IEEE Trans. Reliab., 70(1): 82–98. 2021.
Quantitative Analysis of the Dynamic Relevance of Systems [link]Paper   doi   link   bibtex  
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. Paolieri, M.; Biagi, M.; Carnevali, L.; and Vicario, E. IEEE Trans. Software Eng., 47(6): 1211–1225. 2021.
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems [link]Paper   doi   link   bibtex  
FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis. Parri, J.; Sampietro, S.; and Vicario, E. In 17th European Dependable Computing Conference, EDCC 2021, Munich, Germany, September 13-16, 2021, pages 25–32, 2021. IEEE
FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis [link]Paper   doi   link   bibtex  
Evaluation of software aging in component-based Web Applications subject to soft errors over time. Parri, J.; Sampietro, S.; Scommegna, L.; and Vicario, E. In IEEE International Symposium on Software Reliability Engineering, ISSRE 2021 - Workshops, Wuhan, China, October 25-28, 2021, pages 25–32, 2021. IEEE
Evaluation of software aging in component-based Web Applications subject to soft errors over time [link]Paper   doi   link   bibtex  
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. Carnevali, L.; Paolieri, M.; Reali, R.; and Vicario, E. In Abate, A.; and Marin, A., editor(s), Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings, volume 12846, of Lecture Notes in Computer Science, pages 83–104, 2021. Springer
Compositional Safe Approximation of Response Time Distribution of Complex Workflows [link]Paper   doi   link   bibtex  
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services. Carnevali, L.; Reali, R.; and Vicario, E. In Bourcier, J.; Jiang, Z. M. (.; Bezemer, C.; Cortellessa, V.; Pompeo, D. D.; and Varbanescu, A. L., editor(s), ICPE '21: ACM/SPEC International Conference on Performance Engineering, Virtual Event, France, April 19-21, 2021, pages 177–188, 2021. ACM
Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services [link]Paper   doi   link   bibtex  
Multi-Sensorial Human Perceptual Experience Model Identifier for Haptics Virtual Reality Services in Tactful Networking. Picano, B. IEEE Access, 9: 147549–147558. 2021.
Multi-Sensorial Human Perceptual Experience Model Identifier for Haptics Virtual Reality Services in Tactful Networking [link]Paper   doi   link   bibtex  
End-to-End Delay Bound for Wireless uVR Services Over 6G Terahertz Communications. Fantacci, R.; and Picano, B. IEEE Internet Things J., 8(23): 17090–17099. 2021.
End-to-End Delay Bound for Wireless uVR Services Over 6G Terahertz Communications [link]Paper   doi   link   bibtex  
Edge-Based Virtual Reality over 6G Terahertz Channels. Fantacci, R.; and Picano, B. IEEE Netw., 35(5): 28–33. 2021.
Edge-Based Virtual Reality over 6G Terahertz Channels [link]Paper   doi   link   bibtex  
Remaining Useful Life Estimation for Prognostics of Lithium-Ion Batteries Based on Recurrent Neural Network. Catelani, M.; Ciani, L.; Fantacci, R.; Patrizi, G.; and Picano, B. IEEE Trans. Instrum. Meas., 70: 1–11. 2021.
Remaining Useful Life Estimation for Prognostics of Lithium-Ion Batteries Based on Recurrent Neural Network [link]Paper   doi   link   bibtex  
Martingale Theory Application to the Delay Analysis of a Multi-Hop Aloha NOMA Scheme in Edge Computing Systems. Fantacci, R.; Pecorella, T.; Picano, B.; and Pierucci, L. IEEE/ACM Trans. Netw., 29(6): 2834–2842. 2021.
Martingale Theory Application to the Delay Analysis of a Multi-Hop Aloha NOMA Scheme in Edge Computing Systems [link]Paper   doi   link   bibtex  
An Intelligent Radio Buffer-Aided Relaying Scheme With Adaptive Link Selection. Picano, B.; and Fantacci, R. IEEE Trans. Veh. Technol., 70(4): 3677–3684. 2021.
An Intelligent Radio Buffer-Aided Relaying Scheme With Adaptive Link Selection [link]Paper   doi   link   bibtex  
Aging and Delay Analysis Based on Lyapunov Optimization and Martingale Theory. Picano, B.; Fantacci, R.; and Han, Z. IEEE Trans. Veh. Technol., 70(8): 8216–8226. 2021.
Aging and Delay Analysis Based on Lyapunov Optimization and Martingale Theory [link]Paper   doi   link   bibtex  
Editorial. Fantechi, A.; Haxthausen, A. E.; and Woodcock, J. Formal Aspects Comput., 33(6): 923–924. 2021.
Editorial [link]Paper   doi   link   bibtex  
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker. Basile, D.; Fantechi, A.; Rucher, L.; and Mandò, G. Formal Aspects Comput., 33(6): 957–987. 2021.
Analysing an autonomous tramway positioning system with the Uppaal Statistical Model Checker [link]Paper   doi   link   bibtex  
Language and Communication Problems in Formalization: A Natural Language Approach. Fantechi, A.; Gnesi, S.; and Semini, L. In Raschke, A.; Riccobene, E.; and Schewe, K., editor(s), Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, volume 12750, of Lecture Notes in Computer Science, pages 121–134, 2021. Springer
Language and Communication Problems in Formalization: A Natural Language Approach [link]Paper   doi   link   bibtex  
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces. Basile, D.; Fantechi, A.; and Rosadi, I. In Lluch-Lafuente, A.; and Mavridou, A., editor(s), Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings, volume 12863, of Lecture Notes in Computer Science, pages 174–190, 2021. Springer
Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces [link]Paper   doi   link   bibtex  
A spaCy-based tool for extracting variability from NL requirements. Fantechi, A.; Gnesi, S.; Livi, S.; and Semini, L. In Mousavi, M. R.; and Schobbens, P., editor(s), SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B, pages 32–35, 2021. ACM
A spaCy-based tool for extracting variability from NL requirements [link]Paper   doi   link   bibtex  
  2020 (22)
Architectural Technical Debt: A Grounded Theory. Verdecchia, R.; Kruchten, P.; and Lago, P. In Jansen, A.; Malavolta, I.; Muccini, H.; Ozkaya, I.; and Zimmermann, O., editor(s), Software Architecture - 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14-18, 2020, Proceedings, volume 12292, of Lecture Notes in Computer Science, pages 202–219, 2020. Springer
Architectural Technical Debt: A Grounded Theory [link]Paper   doi   link   bibtex  
ATDx: Building an Architectural Technical Debt Index. Verdecchia, R.; Lago, P.; Malavolta, I.; and Ozkaya, I. In Ali, R.; Kaindl, H.; and Maciaszek, L. A., editor(s), Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020, pages 531–539, 2020. SCITEPRESS
ATDx: Building an Architectural Technical Debt Index [link]Paper   doi   link   bibtex  
JTeC: A Large Collection of Java Test Classes for Test Code Analysis and Processing. Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A. In Kim, S.; Gousios, G.; Nadi, S.; and Hejderup, J., editor(s), MSR '20: 17th International Conference on Mining Software Repositories, Seoul, Republic of Korea, 29-30 June, 2020, pages 578–582, 2020. ACM
JTeC: A Large Collection of Java Test Classes for Test Code Analysis and Processing [link]Paper   doi   link   bibtex  
Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling. Herbold, S.; Trautsch, A.; Ledel, B.; Aghamohammadi, A.; Ghaleb, T. A.; Chahal, K. K.; Bossenmaier, T.; Nagaria, B.; Makedonski, P.; Ahmadabadi, M. N.; Szabados, K.; Spieker, H.; Madeja, M.; Hoy, N.; Lenarduzzi, V.; Wang, S.; Rodríguez-Pérez, G.; Palacios, R. C.; Verdecchia, R.; Singh, P.; Qin, Y.; Chakroborti, D.; Davis, W.; Walunj, V.; Wu, H.; Marcilio, D.; Alam, O.; Aldaeej, A.; Amit, I.; Turhan, B.; Eismann, S.; Wickert, A.; Malavolta, I.; Sulír, M.; Fard, F. H.; Henley, A. Z.; Kourtzanidis, S.; Tuzun, E.; Treude, C.; Shamasbi, S. M.; Pashchenko, I.; Wyrich, M.; Davis, J.; Serebrenik, A.; Albrecht, E.; Aktas, E. U.; Strüber, D.; and Erbel, J. CoRR, abs/2011.06244. 2020.
Large-Scale Manual Validation of Bug Fixing Commits: A Fine-grained Analysis of Tangling [link]Paper   link   bibtex   1 download  
Stochastic modeling and analysis of road-tramway intersections. Carnevali, L.; Fantechi, A.; Gori, G.; and Vicario, E. Innov. Syst. Softw. Eng., 16(2): 215–230. 2020.
Stochastic modeling and analysis of road-tramway intersections [link]Paper   doi   link   bibtex  
Unsupervised Human Activity Recognition Using the Clustering Approach: A Review. Colpas, P. A.; Vicario, E.; la Hoz-Franco, E. D.; Melo, M. P.; Carrascal, A. I. O.; and Patara, F. Sensors, 20(9): 2702. 2020.
Unsupervised Human Activity Recognition Using the Clustering Approach: A Review [link]Paper   doi   link   bibtex  
Performability Evaluation of Water Distribution Systems During Maintenance Procedures. Carnevali, L.; Tarani, F.; and Vicario, E. IEEE Trans. Syst. Man Cybern. Syst., 50(5): 1704–1720. 2020.
Performability Evaluation of Water Distribution Systems During Maintenance Procedures [link]Paper   doi   link   bibtex  
Federated learning framework for mobile edge computing networks. Fantacci, R.; and Picano, B. CAAI Trans. Intell. Technol., 5(1): 15–21. 2020.
Federated learning framework for mobile edge computing networks [link]Paper   doi   link   bibtex  
A matching game for tasks offloading in integrated edge-fog computing systems. Chiti, F.; Fantacci, R.; and Picano, B. Trans. Emerg. Telecommun. Technol., 31(2). 2020.
A matching game for tasks offloading in integrated edge-fog computing systems [link]Paper   doi   link   bibtex  
A Capacitated House Allocation Game for the Energy Efficient Relays Selection in 5G Multicast Context. Chiti, F.; Fantacci, R.; Picano, B.; and Pierucci, L. Sensors, 20(18): 5347. 2020.
A Capacitated House Allocation Game for the Energy Efficient Relays Selection in 5G Multicast Context [link]Paper   doi   link   bibtex  
Improving CSI Prediction Accuracy with Deep Echo State Networks in 5G Networks. Pecorella, T.; Fantacci, R.; and Picano, B. Sensors, 20(22): 6475. 2020.
Improving CSI Prediction Accuracy with Deep Echo State Networks in 5G Networks [link]Paper   doi   link   bibtex  
A Matching Game With Discard Policy for Virtual Machines Placement in Hybrid Cloud-Edge Architecture for Industrial IoT Systems. Fantacci, R.; and Picano, B. IEEE Trans. Ind. Informatics, 16(11): 7046–7055. 2020.
A Matching Game With Discard Policy for Virtual Machines Placement in Hybrid Cloud-Edge Architecture for Industrial IoT Systems [link]Paper   doi   link   bibtex  
When Network Slicing Meets Prospect Theory: A Service Provider Revenue Maximization Framework. Fantacci, R.; and Picano, B. IEEE Trans. Veh. Technol., 69(3): 3179–3189. 2020.
When Network Slicing Meets Prospect Theory: A Service Provider Revenue Maximization Framework [link]Paper   doi   link   bibtex  
Performance Analysis of a Delay Constrained Data Offloading Scheme in an Integrated Cloud-Fog-Edge Computing System. Fantacci, R.; and Picano, B. IEEE Trans. Veh. Technol., 69(10): 12004–12014. 2020.
Performance Analysis of a Delay Constrained Data Offloading Scheme in an Integrated Cloud-Fog-Edge Computing System [link]Paper   doi   link   bibtex  
Price Control for Computational Offloading Services with Chaotic Data. Picano, B.; Fantacci, R.; and Han, Z. In International Conference on Computing, Networking and Communications, ICNC 2020, Big Island, HI, USA, February 17-20, 2020, pages 785–790, 2020. IEEE
Price Control for Computational Offloading Services with Chaotic Data [link]Paper   doi   link   bibtex  
Comparing formal tools for system design: a judgment study. Ferrari, A.; Mazzanti, F.; Basile, D.; ter Beek, M. H.; and Fantechi, A. In Rothermel, G.; and Bae, D., editor(s), ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pages 62–74, 2020. ACM
Comparing formal tools for system design: a judgment study [link]Paper   doi   link   bibtex  
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. Basile, D.; ter Beek, M. H.; Giandomenico, F. D.; Fantechi, A.; Gnesi, S.; and Spagnolo, G. O. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, volume 12476, of Lecture Notes in Computer Science, pages 368–384, 2020. Springer
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC [link]Paper   doi   link   bibtex  
Formal Methods for Distributed Computing in Future Railway Systems. Fantechi, A.; Gnesi, S.; and Haxthausen, A. E. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478, of Lecture Notes in Computer Science, pages 389–392, 2020. Springer
Formal Methods for Distributed Computing in Future Railway Systems [link]Paper   doi   link   bibtex  
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. Basile, D.; ter Beek, M. H.; Fantechi, A.; Ferrari, A.; Gnesi, S.; Masullo, L.; Mazzanti, F.; Piattino, A.; and Trentini, D. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III, volume 12478, of Lecture Notes in Computer Science, pages 467–485, 2020. Springer
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers [link]Paper   doi   link   bibtex  
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements. Arrabito, M.; Fantechi, A.; Gnesi, S.; and Semini, L. In Shepperd, M. J.; e Abreu, F. B.; da Silva, A. R.; and Pérez-Castillo, R., editor(s), Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings, volume 1266, of Communications in Computer and Information Science, pages 488–498, 2020. Springer
An Experience with the Application of Three NLP Tools for the Analysis of Natural Language Requirements [link]Paper   doi   link   bibtex  
A comparison of NLP Tools for RE to extract Variation Points. Arrabito, M.; Fantechi, A.; Gnesi, S.; and Semini, L. In Sabetzadeh, M.; Vogelsang, A.; Abualhaija, S.; Borg, M.; Dalpiaz, F.; Daneva, M.; Condori-Fernández, N.; Franch, X.; Fucci, D.; Gervasi, V.; Groen, E. C.; Guizzardi, R. S. S.; Herrmann, A.; Horkoff, J.; Mich, L.; Perini, A.; and Susi, A., editor(s), Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020, volume 2584, of CEUR Workshop Proceedings, 2020. CEUR-WS.org
A comparison of NLP Tools for RE to extract Variation Points [pdf]Paper   link   bibtex  
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents. Arganese, E.; Fantechi, A.; Gnesi, S.; and Semini, L. In Jarzabek, S.; Poniszewska-Maranda, A.; and Madeyski, L., editor(s), Integrating Research and Practice in Software Engineering, volume 851, of Studies in Computational Intelligence, pages 125–143. Springer, 2020.
Nuts and Bolts of Extracting Variability Models from Natural Language Requirements Documents [link]Paper   doi   link   bibtex  
  2019 (34)
DecidArch: Playing Cards as Software Architects. Lago, P.; Cai, J. F.; de Boer, R. C.; Kruchten, P.; and Verdecchia, R. In Bui, T., editor(s), 52nd Hawaii International Conference on System Sciences, HICSS 2019, Grand Wailea, Maui, Hawaii, USA, January 8-11, 2019, pages 1–10, 2019. ScholarSpace
DecidArch: Playing Cards as Software Architects [link]Paper   link   bibtex  
Guidelines for Architecting Android Apps: A Mixed-Method Empirical Study. Verdecchia, R.; Malavolta, I.; and Lago, P. In IEEE International Conference on Software Architecture, ICSA 2019, Hamburg, Germany, March 25-29, 2019, pages 141–150, 2019. IEEE
Guidelines for Architecting Android Apps: A Mixed-Method Empirical Study [link]Paper   doi   link   bibtex  
DecidArch V2: An Improved Game to Teach Architecture Design Decision Making. de Boer, R. C.; Lago, P.; Verdecchia, R.; and Kruchten, P. In IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25-26, 2019, pages 153–157, 2019. IEEE
DecidArch V2: An Improved Game to Teach Architecture Design Decision Making [link]Paper   doi   link   bibtex  
Scalable approaches for test suite reduction. Cruciani, E.; Miranda, B.; Verdecchia, R.; and Bertolino, A. In Atlee, J. M.; Bultan, T.; and Whittle, J., editor(s), Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pages 419–429, 2019. IEEE / ACM
Scalable approaches for test suite reduction [link]Paper   doi   link   bibtex  
JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 1.0). Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A. ˘rlhttps://doi.org/10.5281/zenodo.2558714, February 2019. Accessed on YYYY-MM-DD.
JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 1.0) [link]Paper   doi   link   bibtex  
MSR19-JTeC/JTeC: Initial JTeC release (Version v1.0.0). Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A. ˘rlhttps://doi.org/10.5281/zenodo.2560702, February 2019. Accessed on YYYY-MM-DD.
MSR19-JTeC/JTeC: Initial JTeC release (Version v1.0.0) [link]Paper   doi   link   bibtex  
JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0). Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A. ˘rlhttps://doi.org/10.5281/zenodo.2878368, May 2019. Accessed on YYYY-MM-DD.
JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0) [link]Paper   doi   link   bibtex  
JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0). Corò, F.; Verdecchia, R.; Cruciani, E.; Miranda, B.; and Bertolino, A. ˘rlhttps://doi.org/10.5281/zenodo.3711509, May 2019. Accessed on YYYY-MM-DD.
JTeC: A Large Collection of Java Test Classes forTest Code Analysis and Processing (Version 2.0) [link]Paper   doi   link   bibtex  
Scalable Approaches for Test Suite Reduction (Version v1.0.0). Cruciani, E.; Miranda, B.; Verdecchia, R.; and Bertolino, A. ˘rlhttps://doi.org/10.5281/zenodo.2550079, January 2019. Accessed on YYYY-MM-DD.
Scalable Approaches for Test Suite Reduction (Version v1.0.0) [link]Paper   doi   link   bibtex  
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks. Biagi, M.; Carnevali, L.; Tarani, F.; and Vicario, E. ACM Trans. Cyber Phys. Syst., 3(2): 19:1–19:26. 2019.
Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks [link]Paper   doi   link   bibtex  
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments. Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; and Vicario, E. IEEE Trans. Hum. Mach. Syst., 49(4): 293–303. 2019.
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments [link]Paper   doi   link   bibtex  
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios. Carnevali, L.; Santoni, F.; and Vicario, E. In Wolter, K.; Schieferdecker, I.; Gallina, B.; Cukier, M.; Natella, R.; Ivaki, N. R.; and Laranjeiro, N., editor(s), 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019, pages 195–205, 2019. IEEE
Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios [link]Paper   doi   link   bibtex  
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems. Parri, J.; Patara, F.; Sampietro, S.; and Vicario, E. In Calinescu, R.; and Giandomenico, F. D., editor(s), Software Engineering for Resilient Systems - 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings, volume 11732, of Lecture Notes in Computer Science, pages 85–93, 2019. Springer
JARVIS, A Hardware/Software Framework for Resilient Industry 4.0 Systems [link]Paper   doi   link   bibtex  
Flood Resilience of a Water Distribution System. Tarani, F.; Arrighi, C.; Carnevali, L.; Castelli, F.; and Vicario, E. In Flammini, F., editor(s), Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction, pages 177–194. Springer, 2019.
Flood Resilience of a Water Distribution System [link]Paper   doi   link   bibtex  
Connecting People, Services, and Data for Continuity of Care. Patara, F.; and Vicario, E. ERCIM News, 2019(118). 2019.
Connecting People, Services, and Data for Continuity of Care [link]Paper   link   bibtex  
Virtual Functions Placement With Time Constraints in Fog Computing: A Matching Theory Perspective. Chiti, F.; Fantacci, R.; Paganelli, F.; and Picano, B. IEEE Trans. Netw. Serv. Manag., 16(3): 980–989. 2019.
Virtual Functions Placement With Time Constraints in Fog Computing: A Matching Theory Perspective [link]Paper   doi   link   bibtex  
An Efficient Resource Allocation Scheme for Applications in LR-WPANs Based on a Stable Matching With Externalities Approach. Bartoli, G.; Chiti, F.; Fantacci, R.; and Picano, B. IEEE Trans. Veh. Technol., 68(6): 5893–5903. 2019.
An Efficient Resource Allocation Scheme for Applications in LR-WPANs Based on a Stable Matching With Externalities Approach [link]Paper   doi   link   bibtex  
Nonlinear Dynamic Chaos Theory Framework for Passenger Demand Forecasting in Smart City. Picano, B.; Fantacci, R.; and Han, Z. IEEE Trans. Veh. Technol., 68(9): 8533–8545. 2019.
Nonlinear Dynamic Chaos Theory Framework for Passenger Demand Forecasting in Smart City [link]Paper   doi   link   bibtex  
Performance Analysis of an Edge Computing System for Real Time Computations and Mobile Users. Fantacci, R.; and Picano, B. In 2019 IEEE Global Communications Conference, GLOBECOM 2019, Waikoloa, HI, USA, December 9-13, 2019, pages 1–6, 2019. IEEE
Performance Analysis of an Edge Computing System for Real Time Computations and Mobile Users [link]Paper   doi   link   bibtex  
Passengers Demand Forecasting Based on Chaos Theory. Picano, B.; Chiti, F.; Fantacci, R.; and Han, Z. In 2019 IEEE International Conference on Communications, ICC 2019, Shanghai, China, May 20-24, 2019, pages 1–6, 2019. IEEE
Passengers Demand Forecasting Based on Chaos Theory [link]Paper   doi   link   bibtex  
Efficient Matching for Almost Blank Subframes Allocation in Ultra Dense Networks. Bartoli, G.; Fantacci, R.; Marabissi, D.; and Picano, B. In 2019 IEEE Wireless Communications and Networking Conference, WCNC 2019, Marrakesh, Morocco, April 15-18, 2019, pages 1–6, 2019. IEEE
Efficient Matching for Almost Blank Subframes Allocation in Ultra Dense Networks [link]Paper   doi   link   bibtex  
A novel layered approach to evaluate reliability of complex systems. Carnevali, L.; Ciani, L.; Fantechi, A.; and Papini, M. In 5th IEEE International forum on Research and Technology for Society and Industry, RTSI 2019, Florence, Italy, September 9-12, 2019, pages 291–295, 2019. IEEE
A novel layered approach to evaluate reliability of complex systems [link]Paper   doi   link   bibtex  
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H.; Fantechi, A.; and Semini, L. In ter Beek, M. H.; Fantechi, A.; and Semini, L., editor(s), From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, volume 11865, of Lecture Notes in Computer Science, pages 1–11, 2019. Springer
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back [link]Paper   doi   link   bibtex  
From Behavioural Contracts to Session Types. Fantechi, A.; Najm, E.; and Stefani, J. In Boreale, M.; Corradini, F.; Loreti, M.; and Pugliese, R., editor(s), Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, volume 11665, of Lecture Notes in Computer Science, pages 278–297, 2019. Springer
From Behavioural Contracts to Session Types [link]Paper   doi   link   bibtex  
Adopting Formal Methods in an Industrial Setting: The Railways Case. ter Beek, M. H.; Borälv, A.; Fantechi, A.; Ferrari, A.; Gnesi, S.; Löfving, C.; and Mazzanti, F. In ter Beek, M. H.; McIver, A.; and Oliveira, J. N., editor(s), Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, volume 11800, of Lecture Notes in Computer Science, pages 762–772, 2019. Springer
Adopting Formal Methods in an Industrial Setting: The Railways Case [link]Paper   doi   link   bibtex  
From Generic Requirements to Variability. Fantechi, A.; Gnesi, S.; and Semini, L. In Spoletini, P.; Mäder, P.; Berry, D. M.; Dalpiaz, F.; Daneva, M.; Ferrari, A.; Franch, X.; Gregory, S.; Groen, E. C.; Herrmann, A.; Hess, A.; Houdek, F.; Karras, O.; Koziolek, A.; Lauenroth, K.; Palomares, C.; Sabetzadeh, M.; Seyff, N.; Trapp, M.; Vogelsang, A.; and Weyer, T., editor(s), Joint Proceedings of REFSQ-2019 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 25th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2019), Essen, Germany, March 18th, 2019, volume 2376, of CEUR Workshop Proceedings, 2019. CEUR-WS.org
From Generic Requirements to Variability [pdf]Paper   link   bibtex  
Connected or Autonomous Trains?. Fantechi, A. In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of Lecture Notes in Computer Science, pages 3–19, 2019. Springer
Connected or Autonomous Trains? [link]Paper   doi   link   bibtex  
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System. Basile, D.; Fantechi, A.; Rucher, L.; and Mandò, G. In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of Lecture Notes in Computer Science, pages 41–58, 2019. Springer
Statistical Model Checking of Hazards in an Autonomous Tramway Positioning System [link]Paper   doi   link   bibtex  
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. Ferrari, A.; ter Beek, M. H.; Mazzanti, F.; Basile, D.; Fantechi, A.; Gnesi, S.; Piattino, A.; and Trentini, D. In Dutilleul, S. C.; Lecomte, T.; and Romanovsky, A. B., editor(s), Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of Lecture Notes in Computer Science, pages 226–241, 2019. Springer
Survey on Formal Methods and Tools in Railways: The ASTRail Approach [link]Paper   doi   link   bibtex  
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. Ceccarelli, A.; Basile, D.; Bondavalli, A.; Falai, L.; Fantechi, A.; Ferrari, S.; Mandò, G.; Nostro, N.; and Rucher, L. In Romanovsky, A. B.; Troubitsyna, E.; Gashi, I.; Schoitsch, E.; and Bitsch, F., editor(s), Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, volume 11699, of Lecture Notes in Computer Science, pages 185–197, 2019. Springer
The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results [link]Paper   doi   link   bibtex  
Applying the QuARS tool to detect variability. Fantechi, A.; Gnesi, S.; and Semini, L. In Cetina, C.; Díaz, O.; Duchien, L.; Huchard, M.; Rabiser, R.; Salinesi, C.; Seidl, C.; Tërnava, X.; Teixeira, L.; Thüm, T.; and Ziadi, T., editor(s), Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume B, Paris, France, September 9-13, 2019, pages 62:1–62:4, 2019. ACM
Applying the QuARS tool to detect variability [link]Paper   doi   link   bibtex  
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M. H.; Fantechi, A.; and Semini, L., editors. Volume 11865, of Lecture Notes in Computer Science.Springer. 2019.
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday [link]Paper   doi   link   bibtex  
Smart Services for Railways. Giandomenico, F. D.; Gnesi, S.; Spagnolo, G. O.; and Fantechi, A. ERCIM News, 2019(117). 2019.
Smart Services for Railways [link]Paper   link   bibtex  
Data Flow Management and Visual Analytic for Big Data Smart City/IOT. Bellini, P.; Bugli, F.; Nesi, P.; Pantaleo, G.; Paolucci, M.; and Zaza, I. In 2019 IEEE SmartWorld, Ubiquitous Intelligence \& Computing, Advanced \& Trusted Computing, Scalable Computing \& Communications, Cloud \& Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019, pages 1529–1536, 2019. IEEE
Data Flow Management and Visual Analytic for Big Data Smart City/IOT [link]Paper   doi   link   bibtex  
  2018 (30)
Architectural Technical Debt Identification: Moving Forward. Verdecchia, R. In 2018 IEEE International Conference on Software Architecture Companion, ICSA Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018, pages 43–44, 2018. IEEE Computer Society
Architectural Technical Debt Identification: Moving Forward [link]Paper   doi   link   bibtex  
Architectural technical debt identification: the research landscape. Verdecchia, R.; Malavolta, I.; and Lago, P. In Nord, R. L.; Buschmann, F.; and Kruchten, P., editor(s), Proceedings of the 2018 International Conference on Technical Debt, TechDebt@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018, pages 11–20, 2018. ACM
Architectural technical debt identification: the research landscape [link]Paper   doi   link   bibtex  
Identifying architectural technical debt in Android applications through automated compliance checking. Verdecchia, R. In Julien, C.; Lewis, G. A.; and Segall, I., editor(s), Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27 - 28, 2018, pages 35–36, 2018. ACM
Identifying architectural technical debt in Android applications through automated compliance checking [link]Paper   doi   link   bibtex  
FAST approaches to scalable similarity-based test case prioritization. Miranda, B.; Cruciani, E.; Verdecchia, R.; and Bertolino, A. In Chaudron, M.; Crnkovic, I.; Chechik, M.; and Harman, M., editor(s), Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pages 222–232, 2018. ACM
FAST approaches to scalable similarity-based test case prioritization [link]Paper   doi   link   bibtex  
How Maintainability Issues of Android Apps Evolve. Malavolta, I.; Verdecchia, R.; Filipovic, B.; Bruntink, M.; and Lago, P. In 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23-29, 2018, pages 334–344, 2018. IEEE Computer Society
How Maintainability Issues of Android Apps Evolve [link]Paper   doi   link   bibtex  
Empirical Evaluation of the Energy Impact of Refactoring Code Smells. Verdecchia, R.; Saez, R. A.; Procaccianti, G.; and Lago, P. In Penzenstadler, B.; Easterbrook, S.; Venters, C. C.; and Ahmed, S. I., editor(s), 5th International Conference on Information and Communication Technology for Sustainability, ICT4S 2018, Toronto, Canada, May 14-18, 2018, volume 52, of EPiC Series in Computing, pages 365–383, 2018. EasyChair
Empirical Evaluation of the Energy Impact of Refactoring Code Smells [link]Paper   doi   link   bibtex  
Code-Level Energy Hotspot Localization via Naive Spectrum Based Testing. Verdecchia, R.; Guldner, A.; Becker, Y.; and Kern, E. In Bungartz, H.; Kranzlmüller, D.; Weinberg, V.; Weismüller, J.; and Wohlgemuth, V., editor(s), Advances and New Trends in Environmental Informatics - Managing Disruption, Big Data and Open Science, pages 111–130. Springer, 2018.
Code-Level Energy Hotspot Localization via Naive Spectrum Based Testing [link]Paper   doi   link   bibtex  
Supplementary material (source code and results) for "FAST Approaches to Scalable Similarity-based Test Case Prioritization" (Version v1.0.0). Miranda, B.; Cruciani, E.; Verdecchia, R.; and Bertolino, A. ˘rlhttps://doi.org/10.5281/zenodo.1208196, March 2018. Accessed on YYYY-MM-DD.
Supplementary material (source code and results) for "FAST Approaches to Scalable Similarity-based Test Case Prioritization" (Version v1.0.0) [link]Paper   doi   link   bibtex  
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions. Biagi, M.; Vicario, E.; and German, R. In Bakhshi, R.; Ballarini, P.; Barbot, B.; Castel-Taleb, H.; and Remke, A., editor(s), Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, volume 11178, of Lecture Notes in Computer Science, pages 62–77, 2018. Springer
Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions [link]Paper   doi   link   bibtex  
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. Biagi, M.; Carnevali, L.; Tadano, K.; and Vicario, E. In 23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018, pages 456–463, 2018. IEEE
Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow [link]Paper   doi   link   bibtex  
Hospital Inventory Management Through Markov Decision Processes @runtime. Biagi, M.; Carnevali, L.; Santoni, F.; and Vicario, E. In McIver, A.; and Horváth, A., editor(s), Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, volume 11024, of Lecture Notes in Computer Science, pages 87–103, 2018. Springer
Hospital Inventory Management Through Markov Decision Processes @runtime [link]Paper   doi   link   bibtex  
Analysis of a Road/Tramway Intersection by the ORIS Tool. Carnevali, L.; Fantechi, A.; Gori, G.; and Vicario, E. In Atig, M. F.; Bensalem, S.; Bliudze, S.; and Monsuez, B., editor(s), Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, volume 11181, of Lecture Notes in Computer Science, pages 185–199, 2018. Springer
Analysis of a Road/Tramway Intersection by the ORIS Tool [link]Paper   doi   link   bibtex  
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers. Balsamo, S.; Marin, A.; and Vicario, E., editors. Volume 825, of Communications in Computer and Information Science.Springer. 2018.
New Frontiers in Quantitative Methods in Informatics - 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers [link]Paper   doi   link   bibtex  
Deploying Digital Twins in a Lambda Architecture for Industry 4.0. Parri, J.; Sampietro, S.; and Vicario, E. ERCIM News, 2018(115). 2018.
Deploying Digital Twins in a Lambda Architecture for Industry 4.0 [link]Paper   link   bibtex  
A Matching Theory Framework for Tasks Offloading in Fog Computing for IoT Systems. Chiti, F.; Fantacci, R.; and Picano, B. IEEE Internet Things J., 5(6): 5089–5096. 2018.
A Matching Theory Framework for Tasks Offloading in Fog Computing for IoT Systems [link]Paper   doi   link   bibtex  
Historical Handwritten Document Segmentation by Using a Weighted Loss. Capobianco, S.; Scommegna, L.; and Marinai, S. In Pancioni, L.; Schwenker, F.; and Trentin, E., editor(s), Artificial Neural Networks in Pattern Recognition - 8th IAPR TC3 Workshop, ANNPR 2018, Siena, Italy, September 19-21, 2018, Proceedings, volume 11081, of Lecture Notes in Computer Science, pages 395–406, 2018. Springer
Historical Handwritten Document Segmentation by Using a Weighted Loss [link]Paper   doi   link   bibtex  
Towards Probabilistic Modeling and Analysis of Real-Time Systems. Carnevali, L.; Santinelli, L.; and Lipari, G. In Bakhshi, R.; Ballarini, P.; Barbot, B.; Castel-Taleb, H.; and Remke, A., editor(s), Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, volume 11178, of Lecture Notes in Computer Science, pages 157–172, 2018. Springer
Towards Probabilistic Modeling and Analysis of Real-Time Systems [link]Paper   doi   link   bibtex  
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain. Ferrari, A.; Gori, G.; Rosadini, B.; Trotta, I.; Bacherini, S.; Fantechi, A.; and Gnesi, S. Empir. Softw. Eng., 23(6): 3684–3733. 2018.
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain [link]Paper   doi   link   bibtex  
States and Events in KandISTI - A Retrospective. ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Mazzanti, F. In Margaria, T.; Graf, S.; and Larsen, K. G., editor(s), Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, volume 11200, of Lecture Notes in Computer Science, pages 110–128, 2018. Springer
States and Events in KandISTI - A Retrospective [link]Paper   doi   link   bibtex  
Safety Interlocking as a Distributed Mutual Exclusion Problem. Fantechi, A.; and Haxthausen, A. E. In Howar, F.; and Barnat, J., editor(s), Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, volume 11119, of Lecture Notes in Computer Science, pages 52–66, 2018. Springer
Safety Interlocking as a Distributed Mutual Exclusion Problem [link]Paper   doi   link   bibtex  
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. Basile, D.; ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F.; Piattino, A.; Trentini, D.; and Ferrari, A. In Furia, C. A.; and Winter, K., editor(s), Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, volume 11023, of Lecture Notes in Computer Science, pages 20–29, 2018. Springer
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders [link]Paper   doi   link   bibtex  
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP. Fantechi, A.; Ferrari, A.; Gnesi, S.; and Semini, L. In Ruhe, G.; Maalej, W.; and Amyot, D., editor(s), 26th IEEE International Requirements Engineering Conference, RE 2018, Banff, AB, Canada, August 20-24, 2018, pages 418–423, 2018. IEEE Computer Society
Requirement Engineering of Software Product Lines: Extracting Variability Using NLP [link]Paper   doi   link   bibtex  
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. ter Beek, M. H.; Fantechi, A.; and Gnesi, S. In Berger, T.; Borba, P.; Botterweck, G.; Männistö, T.; Benavides, D.; Nadi, S.; Kehrer, T.; Rabiser, R.; Elsner, C.; and Mukelabai, M., editor(s), Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018, pages 208–214, 2018. ACM
Product line models of large cyber-physical systems: the case of ERTMS/ETCS [link]Paper   doi   link   bibtex  
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report. Fantechi, A.; Ferrari, A.; Gnesi, S.; and Semini, L. In Capilla, R.; Lochau, M.; and Fuentes, L., editor(s), Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, VAMOS 2018, Madrid, Spain, February 7-9, 2018, pages 43–50, 2018. ACM
Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report [link]Paper   doi   link   bibtex  
Formal Methods for the Railway Sector. ter Beek, M. H.; Fantechi, A.; Ferrari, A.; Gnesi, S.; and Scopigno, R. ERCIM News, 2018(112). 2018.
Formal Methods for the Railway Sector [link]Paper   link   bibtex  
Predicting TV programme audience by using twitter based metrics. Crisci, A.; Grasso, V.; Nesi, P.; Pantaleo, G.; Paoli, I.; and Zaza, I. Multim. Tools Appl., 77(10): 12203–12232. 2018.
Predicting TV programme audience by using twitter based metrics [link]Paper   doi   link   bibtex  
Assessing the reTweet proneness of tweets: predictive models for retweeting. Nesi, P.; Pantaleo, G.; Paoli, I.; and Zaza, I. Multim. Tools Appl., 77(20): 26371–26396. 2018.
Assessing the reTweet proneness of tweets: predictive models for retweeting [link]Paper   doi   link   bibtex  
Smart City Architecture for Data Ingestion and Analytics: Processes and Solutions. Bellini, P.; Nesi, P.; Paolucci, M.; and Zaza, I. In Fourth IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2018, Bamberg, Germany, March 26-29, 2018, pages 137–144, 2018. IEEE Computer Society
Smart City Architecture for Data Ingestion and Analytics: Processes and Solutions [link]Paper   doi   link   bibtex  
Auditing and Assessment of Data Traffic Flows in an IoT Architecture. Nesi, P.; Pantaleo, G.; Paolucci, M.; and Zaza, I. In 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, Philadelphia, PA, USA, October 18-20, 2018, pages 388–391, 2018. IEEE Computer Society
Auditing and Assessment of Data Traffic Flows in an IoT Architecture [link]Paper   doi   link   bibtex  
Snap4City: A Scalable IOT/IOE Platform for Developing Smart City Applications. Badii, C.; Belay, E. G.; Bellini, P.; Cenni, D.; Marazzini, M.; Mesiti, M.; Nesi, P.; Pantaleo, G.; Paolucci, M.; Valtolina, S.; Soderi, M.; and Zaza, I. In Wang, G.; Han, Q.; Bhuiyan, M. Z. A.; Ma, X.; Loulergue, F.; Li, P.; Roveri, M.; and Chen, L., editor(s), 2018 IEEE SmartWorld, Ubiquitous Intelligence \& Computing, Advanced \& Trusted Computing, Scalable Computing \& Communications, Cloud \& Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018, pages 2109–2116, 2018. IEEE
Snap4City: A Scalable IOT/IOE Platform for Developing Smart City Applications [link]Paper   doi   link   bibtex  
  2017 (17)
Estimating Energy Impact of Software Releases and Deployment Strategies: The KPMG Case Study. Verdecchia, R.; Procaccianti, G.; Malavolta, I.; Lago, P.; and Koedijk, J. In Bener, A.; Turhan, B.; and Biffl, S., editor(s), 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2017, Toronto, ON, Canada, November 9-10, 2017, pages 257–266, 2017. IEEE Computer Society
Estimating Energy Impact of Software Releases and Deployment Strategies: The KPMG Case Study [link]Paper   doi   link   bibtex  
Guest Editorial: Special issue on formal modeling and analysis of timed systems. Paolieri, M.; Sankaranarayanan, S.; and Vicario, E. Real Time Syst., 53(3): 289–290. 2017.
Guest Editorial: Special issue on formal modeling and analysis of timed systems [link]Paper   doi   link   bibtex  
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines. Biagi, M.; Carnevali, L.; Papini, T.; Tadano, K.; and Vicario, E. In Reinecke, P.; and Marco, A. D., editor(s), Computer Performance Engineering - 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings, volume 10497, of Lecture Notes in Computer Science, pages 152–166, 2017. Springer
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines [link]Paper   doi   link   bibtex  
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. Biagi, M.; Carnevali, L.; Paolieri, M.; Papini, T.; and Vicario, E. In Bertrand, N.; and Bortolussi, L., editor(s), Quantitative Evaluation of Systems - 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings, volume 10503, of Lecture Notes in Computer Science, pages 20–35, 2017. Springer
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes [link]Paper   doi   link   bibtex  
An introduction to the ORIS tool. Biagi, M.; Carnevali, L.; Vicario, E.; and Paolieri, M. In Marin, A.; Houdt, B. V.; Casale, G.; Petriu, D. C.; and Rossi, S., editor(s), Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2017, Venice, Italy, December 05-07, 2017, pages 9–11, 2017. ACM
An introduction to the ORIS tool [link]Paper   doi   link   bibtex  
Engineering the Performance of a Meta-modeling Architecture. Fioravanti, S.; Patara, F.; and Vicario, E. In Binder, W.; Cortellessa, V.; Koziolek, A.; Smirni, E.; and Poess, M., editor(s), Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, ICPE 2017, L'Aquila, Italy, April 22-26, 2017, pages 203–208, 2017. ACM
Engineering the Performance of a Meta-modeling Architecture [link]Paper   doi   link   bibtex  
A Low Complexity Matching Game Approach for LTE-Unlicensed. Chiti, F.; Fantacci, R.; Picano, B.; Gu, Y.; Du, X.; and Han, Z. In 86th IEEE Vehicular Technology Conference, VTC Fall 2017, Toronto, ON, Canada, September 24-27, 2017, pages 1–5, 2017. IEEE
A Low Complexity Matching Game Approach for LTE-Unlicensed [link]Paper   doi   link   bibtex  
Formalizing REST APIs for web-based communication and SIP interworking. Paganelli, F.; Ambra, T.; Fantechi, A.; and Giuli, D. Telecommun. Syst., 66(1): 75–93. 2017.
Formalizing REST APIs for web-based communication and SIP interworking [link]Paper   doi   link   bibtex  
Optimizing Feature Interaction Detection. Fantechi, A.; Gnesi, S.; and Semini, L. In Petrucci, L.; Seceleanu, C.; and Cavalcanti, A., editor(s), Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings, volume 10471, of Lecture Notes in Computer Science, pages 201–216, 2017. Springer
Optimizing Feature Interaction Detection [link]Paper   doi   link   bibtex  
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations. Macedo, H. D.; Fantechi, A.; and Haxthausen, A. E. In Barrett, C. W.; Davies, M. D.; and Kahsai, T., editor(s), NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, volume 10227, of Lecture Notes in Computer Science, pages 146–162, 2017.
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations [link]Paper   doi   link   bibtex  
Model Checking Geographically Distributed Interlocking Systems Using UMC. Fantechi, A.; Haxthausen, A. E.; and Nielsen, M. B. R. In Kotenko, I. V.; Cotronis, Y.; and Daneshtalab, M., editor(s), 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2017, St. Petersburg, Russia, March 6-8, 2017, pages 278–286, 2017. IEEE Computer Society
Model Checking Geographically Distributed Interlocking Systems Using UMC [link]Paper   doi   link   bibtex  
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain. Rosadini, B.; Ferrari, A.; Gori, G.; Fantechi, A.; Gnesi, S.; Trotta, I.; and Bacherini, S. In Grünbacher, P.; and Perini, A., editor(s), Requirements Engineering: Foundation for Software Quality - 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings, volume 10153, of Lecture Notes in Computer Science, pages 344–360, 2017. Springer
Using NLP to Detect Requirements Defects: An Industrial Experience in the Railway Domain [link]Paper   doi   link   bibtex  
Compositional Verification of Interlocking Systems for Large Stations. Fantechi, A.; Haxthausen, A. E.; and Macedo, H. D. In Cimatti, A.; and Sirjani, M., editor(s), Software Engineering and Formal Methods - 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings, volume 10469, of Lecture Notes in Computer Science, pages 236–252, 2017. Springer
Compositional Verification of Interlocking Systems for Large Stations [link]Paper   doi   link   bibtex  
Ambiguity defects as variation points in requirements. Fantechi, A.; Gnesi, S.; and Semini, L. In ter Beek, M. H.; Siegmund, N.; and Schaefer, I., editor(s), Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017, pages 13–19, 2017. ACM
Ambiguity defects as variation points in requirements [link]Paper   doi   link   bibtex  
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Fantechi, A.; Lecomte, T.; and Romanovsky, A. B., editors. Volume 10598, of Lecture Notes in Computer Science.Springer. 2017.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings [link]Paper   doi   link   bibtex  
Twitter vigilance: A multi-user platform for cross-domain Twitter data analytics, NLP and sentiment analysis. Cenni, D.; Nesi, P.; Pantaleo, G.; and Zaza, I. In 2017 IEEE SmartWorld, Ubiquitous Intelligence \& Computing, Advanced \& Trusted Computed, Scalable Computing \& Communications, Cloud \& Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017, San Francisco, CA, USA, August 4-8, 2017, pages 1–8, 2017. IEEE
Twitter vigilance: A multi-user platform for cross-domain Twitter data analytics, NLP and sentiment analysis [link]Paper   doi   link   bibtex  
Weather events identification in social media streams: tools to detect their evidence in Twitter. Grasso, V.; Zaza, I.; Zabini, F.; Pantaleo, G.; Nesi, P.; and Crisci, A. PeerJ Prepr., 5: e2241. 2017.
Weather events identification in social media streams: tools to detect their evidence in Twitter [link]Paper   doi   link   bibtex  
  2016 (17)
Green ICT Research and Challenges. Verdecchia, R.; Ricchiuti, F.; Hankel, A.; Lago, P.; and Procaccianti, G. In Wohlgemuth, V.; Fuchs-Kittowski, F.; and Wittmann, J., editor(s), 30th International Conference on Environmental Informatics, EnviroInfo 2016, Berlin, Germany, September 14-16, 2016, Part I: Advances and New Trends in Environmental Informatics - Stability, Continuity, Innovation, pages 37–48, 2016. Springer Switzerland, Cham
Green ICT Research and Challenges [link]Paper   link   bibtex  
Probabilistic Model Checking of Regenerative Concurrent Systems. Paolieri, M.; Horváth, A.; and Vicario, E. IEEE Trans. Software Eng., 42(2): 153–169. 2016.
Probabilistic Model Checking of Regenerative Concurrent Systems [link]Paper   doi   link   bibtex  
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. Biagi, M.; Carnevali, L.; Paolieri, M.; Patara, F.; and Vicario, E. In Fiems, D.; Paolieri, M.; and Platis, A. N., editor(s), Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings, volume 9951, of Lecture Notes in Computer Science, pages 32–47, 2016. Springer
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling [link]Paper   doi   link   bibtex  
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios. Mehic, S.; Tadano, K.; and Vicario, E. In Fiems, D.; Paolieri, M.; and Platis, A. N., editor(s), Computer Performance Engineering - 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings, volume 9951, of Lecture Notes in Computer Science, pages 174–186, 2016. Springer
Combining Simulation and Mean Field Analysis in Quantitative Evaluation of Crowd Evacuation Scenarios [link]Paper   doi   link   bibtex  
Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes. Martina, S.; Paolieri, M.; Papini, T.; and Vicario, E. In 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, London, United Kingdom, September 19-21, 2016, pages 355–360, 2016. IEEE Computer Society
Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes [link]Paper   doi   link   bibtex  
Experimental Performance Evaluation of different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers. Fioravanti, S.; Mattolini, S.; Patara, F.; and Vicario, E. In Avritzer, A.; Iosup, A.; Zhu, X.; and Becker, S., editor(s), Proceedings of the 7th ACM/SPEC International Conference on Performance Engineering, ICPE 2016, Delft, The Netherlands, March 12-16, 2016, pages 297–308, 2016. ACM
Experimental Performance Evaluation of different Data Models for a Reflection Software Architecture over NoSQL Persistence Layers [link]Paper   doi   link   bibtex  
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Mazzanti, F. J. Log. Algebraic Methods Program., 85(2): 287–315. 2016.
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints [link]Paper   doi   link   bibtex  
Validation process for railway interlocking systems. Bonacchi, A.; Fantechi, A.; Bacherini, S.; and Tempestini, M. Sci. Comput. Program., 128: 2–21. 2016.
Validation process for railway interlocking systems [link]Paper   doi   link   bibtex  
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems. Fantechi, A. In ter Beek, M. H.; Gnesi, S.; and Knapp, A., editor(s), Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings, volume 9933, of Lecture Notes in Computer Science, pages 231–245, 2016. Springer
Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems [link]Paper   doi   link   bibtex  
Formal Methods and Safety Certification: Challenges in the Railways Domain. Fantechi, A.; Ferrari, A.; and Gnesi, S. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, volume 9953, of Lecture Notes in Computer Science, pages 261–265, 2016.
Formal Methods and Safety Certification: Challenges in the Railways Domain [link]Paper   doi   link   bibtex  
Compositional Verification of Multi-station Interlocking Systems. Macedo, H. D.; Fantechi, A.; and Haxthausen, A. E. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, volume 9953, of Lecture Notes in Computer Science, pages 279–293, 2016.
Compositional Verification of Multi-station Interlocking Systems [link]Paper   doi   link   bibtex  
Variability-Based Design of Services for Smart Transportation Systems. ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Semini, L. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II, volume 9953, of Lecture Notes in Computer Science, pages 465–481, 2016.
Variability-Based Design of Services for Smart Transportation Systems [link]Paper   doi   link   bibtex  
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems. Fantechi, A.; and Pepi, S. In Calabrò, A.; Lonetti, F.; and Marchetti, E., editor(s), Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016, pages 5–13, 2016. SciTePress
Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems [link]Paper   doi   link   bibtex  
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System. Pepi, S.; and Fantechi, A. In Hammoudi, S.; Pires, L. F.; Selic, B.; and Desfray, P., editor(s), Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers, volume 692, of Communications in Computer and Information Science, pages 46–69, 2016. Springer
Schedulability Analysis of Pre-runtime and Runtime Scheduling Algorithm of an Industrial Real Time System [link]Paper   doi   link   bibtex  
Refinement of Behavioural Models for Variability Description. Fantechi, A.; and Gnesi, S. In Petre, L.; and Sekerinski, E., editor(s), From Action Systems to Distributed Systems - The Refinement Approach, pages 155–169. Chapman and Hall/CRC, 2016.
Refinement of Behavioural Models for Variability Description [link]Paper   doi   link   bibtex  
RAISO: RAilway Infrastructures and Signaling Ontology for Configuration Management, Verification and Validation. Bellini, P.; Nesi, P.; and Zaza, I. In Tenth IEEE International Conference on Semantic Computing, ICSC 2016, Laguna Hills, CA, USA, February 4-6, 2016, pages 350–353, 2016. IEEE Computer Society
RAISO: RAilway Infrastructures and Signaling Ontology for Configuration Management, Verification and Validation [link]Paper   doi   link   bibtex  
Weather events identification in social media streams: tools to detect their evidence in Twitter. Grasso, V.; Zaza, I.; Zabini, F.; Pantaleo, G.; Nesi, P.; and Crisci, A. PeerJ Prepr., 4: e2241. 2016.
Weather events identification in social media streams: tools to detect their evidence in Twitter [link]Paper   doi   link   bibtex  
  2015 (10)
Supporting SW-FMEA through an ontology-based methodology. Bicchierai, I.; Bucci, G.; and Vicario, E. Int. J. Crit. Comput. Based Syst., 6(1): 1–28. 2015.
Supporting SW-FMEA through an ontology-based methodology [link]Paper   doi   link   bibtex  
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. Carnevali, L.; Flammini, F.; Paolieri, M.; and Vicario, E. In Beltrán, M.; Knottenbelt, W. J.; and Bradley, J. T., editor(s), Computer Performance Engineering - 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings, volume 9272, of Lecture Notes in Computer Science, pages 47–62, 2015. Springer
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3 [link]Paper   doi   link   bibtex  
Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models. Patara, F.; Nugent, C. D.; and Vicario, E. In Geissbühler, A.; Demongeot, J.; Mokhtari, M.; Abdulrazak, B.; and Aloulou, H., editor(s), Inclusive Smart Cities and e-Health - 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings, volume 9102, of Lecture Notes in Computer Science, pages 79–91, 2015. Springer
Recommendations for the Creation of Datasets in Support of Data Driven Activity Recognition Models [link]Paper   doi   link   bibtex  
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living. Carnevali, L.; Nugent, C.; Patara, F.; and Vicario, E. In Campos, J.; and Haverkort, B. R., editor(s), Quantitative Evaluation of Systems, 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, volume 9259, of Lecture Notes in Computer Science, pages 38–53, 2015. Springer
A Continuous-Time Model-Based Approach to Activity Recognition for Ambient Assisted Living [link]Paper   doi   link   bibtex  
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S.; and Vicario, E., editors. Volume 9268, of Lecture Notes in Computer Science.Springer. 2015.
Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings [link]Paper   doi   link   bibtex  
Road Repair Sequencing for Disaster Victim Evacuation. Tadano, K.; Maeno, Y.; and Carnevali, L. In Jager, W.; Verbrugge, R.; Flache, A.; de Roo, G.; Hoogduin, L.; and Hemelrijk, C. K., editor(s), Advances in Social Simulation 2015 [Papers from the Conference of the European Social Simulation Association 2015, Groningen, The Netherlands, 14-18 September 2015], volume 528, of Advances in Intelligent Systems and Computing, pages 401–412, 2015. Springer
Road Repair Sequencing for Disaster Victim Evacuation [link]Paper   doi   link   bibtex  
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. ter Beek, M. H.; Fantechi, A.; and Gnesi, S. In Schmidt, D. C., editor(s), Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015, pages 321–326, 2015. ACM
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems [link]Paper   doi   link   bibtex  
Using FMC for family-based analysis of software product lines. ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Mazzanti, F. In Schmidt, D. C., editor(s), Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015, pages 432–439, 2015. ACM
Using FMC for family-based analysis of software product lines [link]Paper   doi   link   bibtex  
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings. Fantechi, A.; and Pelliccione, P., editors. Volume 9274, of Lecture Notes in Computer Science.Springer. 2015.
Software Engineering for Resilient Systems - 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings [link]Paper   doi   link   bibtex  
A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems. Bellini, P.; Nesi, P.; and Zaza, I. ERCIM News, 2015(103). 2015.
A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems [link]Paper   link   bibtex  
  2014 (14)
An adaptable patient-centric electronic health record system for personalized home care. Patara, F.; and Vicario, E. In 8th International Symposium on Medical Information and Communication Technology, ISMICT 2014, Firenze, Italy, April 2-4, 2014, pages 1–5, 2014. IEEE
An adaptable patient-centric electronic health record system for personalized home care [link]Paper   doi   link   bibtex  
Dynamic Adaptation of EHR Structure for Automated Compliance Evaluation. Patara, F.; and Vicario, E. In Lovis, C.; Séroussi, B.; Hasman, A.; Pape-Haugaard, L.; Saka, O.; and Andersen, S. K., editor(s), e-Health - For Continuity of Care - Proceedings of MIE2014, the 25th European Medical Informatics Conference, Istanbul, Turkey, August 31 - September 3, 2014, volume 205, of Studies in Health Technology and Informatics, pages 1238, 2014. IOS Press
link   bibtex  
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. Carnevali, L.; Paolieri, M.; Tarani, F.; Vicario, E.; and Tadano, K. In Bondavalli, A.; Ceccarelli, A.; and Ortmeier, F., editor(s), Computer Safety, Reliability, and Security - SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings, volume 8696, of Lecture Notes in Computer Science, pages 304–315, 2014. Springer
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters [link]Paper   doi   link   bibtex  
Multi-source Context Data Representation and Distribution in an ICT Tool for Autism Treatment. Cruciani, F.; Donnelly, M. P.; Galway, L.; Foresti, F.; Paggetti, C.; and Vicario, E. In Hervás, R.; Lee, S.; Nugent, C. D.; and Bravo, J., editor(s), Ubiquitous Computing and Ambient Intelligence. Personalisation and User Adapted Services - 8th International Conference, UCAmI 2014, Belfast, UK, December 2-5, 2014. Proceedings, volume 8867, of Lecture Notes in Computer Science, pages 200–203, 2014. Springer
Multi-source Context Data Representation and Distribution in an ICT Tool for Autism Treatment [link]Paper   doi   link   bibtex  
Survivability Evaluation of Gas, Water and Electricity Infrastructures. Avritzer, A.; Carnevali, L.; Ghasemieh, H.; Happe, L.; Haverkort, B. R.; Koziolek, A.; Menasché, D. S.; Remke, A.; Sarvestani, S. S.; and Vicario, E. In Bradley, J. T.; Knottenbelt, W. J.; and Thomas, N., editor(s), Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, PASM 2014, Newcastle-upon-Tyne, UK, May 2014, volume 310, of Electronic Notes in Theoretical Computer Science, pages 5–25, 2014. Elsevier
Survivability Evaluation of Gas, Water and Electricity Infrastructures [link]Paper   doi   link   bibtex  
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. Avritzer, A.; Carnevali, L.; Happe, L.; Koziolek, A.; Menasché, D. S.; Paolieri, M.; and Suresh, S. In Norman, G.; and Sanders, W. H., editor(s), Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, volume 8657, of Lecture Notes in Computer Science, pages 345–367, 2014. Springer
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids [link]Paper   doi   link   bibtex  
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis. Carnevali, L.; Melani, A.; Santinelli, L.; and Lipari, G. In Jan, M.; Hedia, B. B.; Goossens, J.; and Maiza, C., editor(s), 22nd International Conference on Real-Time Networks and Systems, RTNS '14, Versaille, France, October 8-10, 2014, pages 299, 2014. ACM
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis [link]Paper   doi   link   bibtex  
Formal methods for railway control systems. Fantechi, A.; Flammini, F.; and Gnesi, S. Int. J. Softw. Tools Technol. Transf., 16(6): 643–646. 2014.
Formal methods for railway control systems [link]Paper   doi   link   bibtex  
On the Validation of an Interlocking System by Model-Checking. Bonacchi, A.; and Fantechi, A. In Lang, F.; and Flammini, F., editor(s), Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, volume 8718, of Lecture Notes in Computer Science, pages 94–108, 2014. Springer
On the Validation of an Interlocking System by Model-Checking [link]Paper   doi   link   bibtex  
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ter Beek, M. H.; Fantechi, A.; and Gnesi, S. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I, volume 8802, of Lecture Notes in Computer Science, pages 351–367, 2014. Springer
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems [link]Paper   doi   link   bibtex  
Model-based development of an automatic train operation component for communication based train control. Claudio, M. D.; Fantechi, A.; Martelli, G.; Menabeni, S.; and Nesi, P. In 17th International IEEE Conference on Intelligent Transportation Systems, ITSC 2014, Qingdao, China, October 8-11, 2014, pages 1015–1020, 2014. IEEE
Model-based development of an automatic train operation component for communication based train control [link]Paper   doi   link   bibtex  
Validation of Interlocking Systems by Testing their Models. Bonacchi, A.; and Fantechi, A. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014, pages 226–229, 2014. IEEE Computer Society
Validation of Interlocking Systems by Testing their Models [link]Paper   doi   link   bibtex  
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014. Gnesi, S.; Fantechi, A.; Heymans, P.; Rubin, J.; Czarnecki, K.; and Dhungana, D., editors. ACM. 2014.
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014 [link]Paper   link   bibtex  
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014. Gnesi, S.; Fantechi, A.; ter Beek, M. H.; Botterweck, G.; and Becker, M., editors. ACM. 2014.
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014 [link]Paper   link   bibtex  
  2013 (21)
An On-line system for automated recognition of human activities. Fantechi, A.; Nugent, C. D.; Pinzuti, A.; Vicario, E.; and Magherini, T. Eur. J. Law Technol., 4(2). 2013.
An On-line system for automated recognition of human activities [link]Paper   link   bibtex  
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living. Magherini, T.; Fantechi, A.; Nugent, C. D.; and Vicario, E. IEEE Trans. Hum. Mach. Syst., 43(6): 509–521. 2013.
Using Temporal Logic and Model Checking in Automated Recognition of Human Activities for Ambient-Assisted Living [link]Paper   doi   link   bibtex  
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study. Bicchierai, I.; Bucci, G.; Carnevali, L.; and Vicario, E. IEEE Trans. Ind. Informatics, 9(4): 1806–1818. 2013.
Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study [link]Paper   doi   link   bibtex  
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. Carnevali, L.; Ridi, L.; and Vicario, E. IEEE Trans. Software Eng., 39(3): 292–304. 2013.
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems [link]Paper   doi   link   bibtex  
Compositional Verification for Hierarchical Scheduling of Real-Time Systems. Carnevali, L.; Pinzuti, A.; and Vicario, E. IEEE Trans. Software Eng., 39(5): 638–657. 2013.
Compositional Verification for Hierarchical Scheduling of Real-Time Systems [link]Paper   doi   link   bibtex  
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems. Bicchierai, I.; Bucci, G.; Nocentini, C.; and Vicario, E. In Keller, H. B.; Plödereder, E.; Dencker, P.; and Klenk, H., editor(s), Reliable Software Technologies - Ada-Europe 2013, 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings, volume 7896, of Lecture Notes in Computer Science, pages 95–108, 2013. Springer
Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems [link]Paper   doi   link   bibtex  
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. Carnevali, L.; Paolieri, M.; Tadano, K.; and Vicario, E. In Balsamo, M. S.; Knottenbelt, W. J.; and Marin, A., editor(s), Computer Performance Engineering - 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings, volume 8168, of Lecture Notes in Computer Science, pages 176–190, 2013. Springer
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis [link]Paper   doi   link   bibtex  
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. Ballarini, P.; Bertrand, N.; Horváth, A.; Paolieri, M.; and Vicario, E. In Joshi, K. R.; Siegle, M.; Stoelinga, M.; and D'Argenio, P. R., editor(s), Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, volume 8054, of Lecture Notes in Computer Science, pages 355–371, 2013. Springer
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes [link]Paper   doi   link   bibtex  
Quantitative evaluation of availability measures of gas distribution networks. Carnevali, L.; Paolieri, M.; Tarani, F.; and Vicario, E. In Horváth, A.; Buchholz, P.; Cortellessa, V.; Muscariello, L.; and Squillante, M. S., editor(s), 7th International Conference on Performance Evaluation Methodologies and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013, pages 145–154, 2013. ICST/ACM
Quantitative evaluation of availability measures of gas distribution networks [link]Paper   doi   link   bibtex  
Non-markovian analysis for model driven engineering of real-time software. Carnevali, L.; Paolieri, M.; Santoni, A.; and Vicario, E. In Seelam, S.; Tuma, P.; Casale, G.; Field, T.; and Amaral, J. N., editor(s), ACM/SPEC International Conference on Performance Engineering, ICPE'13, Prague, Czech Republic - April 21 - 24, 2013, pages 113–124, 2013. ACM
Non-markovian analysis for model driven engineering of real-time software [link]Paper   doi   link   bibtex  
Software rejuvenation impacts on a phased-mission system for Mars exploration. Ballerini, S.; Carnevali, L.; Paolieri, M.; Tadano, K.; and Machida, F. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental Proceedings, pages 275–280, 2013. IEEE Computer Society
Software rejuvenation impacts on a phased-mission system for Mars exploration [link]Paper   doi   link   bibtex  
SYRMA: a tool for a system approach to risk management in mission critical systems. Bernardini, G.; Paganelli, F.; Manetti, M.; Fantechi, A.; and Iadanza, E. Int. J. Bus. Inf. Syst., 13(1): 21–44. 2013.
SYRMA: a tool for a system approach to risk management in mission critical systems [link]Paper   doi   link   bibtex  
Session types for safe Web service orchestration. Michaux, J.; Najm, E.; and Fantechi, A. J. Log. Algebraic Methods Program., 82(8): 282–310. 2013.
Session types for safe Web service orchestration [link]Paper   doi   link   bibtex  
The Metrô Rio case study. Ferrari, A.; Fantechi, A.; Magnani, G.; Grasso, D.; and Tempestini, M. Sci. Comput. Program., 78(7): 828–842. 2013.
The Metrô Rio case study [link]Paper   doi   link   bibtex  
Model-Based Development and Formal Methods in the Railway Industry. Ferrari, A.; Fantechi, A.; Gnesi, S.; and Magnani, G. IEEE Softw., 30(3): 28–34. 2013.
Model-Based Development and Formal Methods in the Railway Industry [link]Paper   doi   link   bibtex  
Resource-oriented design towards the convergence of Web-centric and Telecom-centric services. Ambra, T.; Paganelli, F.; Fantechi, A.; Giuli, D.; and Mazzi, L. In Second International Conference on Future Generation Communication Technologies (FGCT 2013), London, United Kingdom, November 12-14, 2013, pages 120–125, 2013. IEEE
Resource-oriented design towards the convergence of Web-centric and Telecom-centric services [link]Paper   doi   link   bibtex  
Twenty-Five Years of Formal Methods and Railways: What Next?. Fantechi, A. In Counsell, S.; and Nú ̃nez, M., editor(s), Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368, of Lecture Notes in Computer Science, pages 167–183, 2013. Springer
Twenty-Five Years of Formal Methods and Railways: What Next? [link]Paper   doi   link   bibtex  
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. Bonacchi, A.; Fantechi, A.; Bacherini, S.; Tempestini, M.; and Cipriani, L. In Counsell, S.; and Nú ̃nez, M., editor(s), Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers, volume 8368, of Lecture Notes in Computer Science, pages 237–252, 2013. Springer
Validation of Railway Interlocking Systems by Formal Verification, A Case Study [link]Paper   doi   link   bibtex  
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning. Giandomenico, F. D.; Fantechi, A.; Gnesi, S.; and Itria, M. L. In Gorbenko, A.; Romanovsky, A. B.; and Kharchenko, V. S., editor(s), Software Engineering for Resilient Systems, 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings, volume 8166, of Lecture Notes in Computer Science, pages 184–198, 2013. Springer
Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning [link]Paper   doi   link   bibtex  
Topologically configurable systems as product families. Fantechi, A. In Kishi, T.; Jarzabek, S.; and Gnesi, S., editor(s), 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013, pages 151–156, 2013. ACM
Topologically configurable systems as product families [link]Paper   doi   link   bibtex  
Safe Session-Based Service Orchestration with Unreliable Communication. Michaux, J.; Najm, E.; and Fantechi, A. In Tuosto, E.; and Ouyang, C., editor(s), Web Services and Formal Methods - 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers, volume 8379, of Lecture Notes in Computer Science, pages 106–126, 2013. Springer
Safe Session-Based Service Orchestration with Unreliable Communication [link]Paper   doi   link   bibtex  
  2012 (11)
Transient analysis of non-Markovian models using stochastic state classes. Horváth, A.; Paolieri, M.; Ridi, L.; and Vicario, E. Perform. Evaluation, 69(7-8): 315–335. 2012.
Transient analysis of non-Markovian models using stochastic state classes [link]Paper   doi   link   bibtex  
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm. Ridi, L.; Torrini, J.; and Vicario, E. IEEE Softw., 29(1): 76–83. 2012.
Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm [link]Paper   doi   link   bibtex  
Integrating metrics in an ontological framework supporting SW-FMEA. Bicchierai, I.; Bucci, G.; Nocentini, C.; and Vicario, E. In Concas, G.; Canfora, G.; Tempero, E. D.; and Zhang, H., editor(s), Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics, WETSoM 2012, Zurich, Switzerland, June 3, 2012, pages 35–41, 2012. IEEE Computer Society
Integrating metrics in an ontological framework supporting SW-FMEA [link]Paper   doi   link   bibtex  
An Ontological Approach to Systematization of SW-FMEA. Bicchierai, I.; Bucci, G.; Nocentini, C.; and Vicario, E. In Ortmeier, F.; and Daniel, P., editor(s), Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings, volume 7612, of Lecture Notes in Computer Science, pages 173–184, 2012. Springer
An Ontological Approach to Systematization of SW-FMEA [link]Paper   doi   link   bibtex  
A logical verification methodology for service-oriented computing. Fantechi, A.; Gnesi, S.; Lapadula, A.; Mazzanti, F.; Pugliese, R.; and Tiezzi, F. ACM Trans. Softw. Eng. Methodol., 21(3): 16:1–16:46. 2012.
A logical verification methodology for service-oriented computing [link]Paper   doi   link   bibtex  
A Compositional Framework to Derive Product Line Behavioural Descriptions. Asirelli, P.; ter Beek, M. H.; Fantechi, A.; and Gnesi, S. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, volume 7609, of Lecture Notes in Computer Science, pages 146–161, 2012. Springer
A Compositional Framework to Derive Product Line Behavioural Descriptions [link]Paper   doi   link   bibtex  
Formal Methods for Intelligent Transportation Systems. Fantechi, A.; Flammini, F.; and Gnesi, S. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, volume 7610, of Lecture Notes in Computer Science, pages 187–189, 2012. Springer
Formal Methods for Intelligent Transportation Systems [link]Paper   doi   link   bibtex  
Distributing the Challenge of Model Checking Interlocking Control Tables. Fantechi, A. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, volume 7610, of Lecture Notes in Computer Science, pages 276–289, 2012. Springer
Distributing the Challenge of Model Checking Interlocking Control Tables [link]Paper   doi   link   bibtex  
Lessons Learnt from the Adoption of Formal Model-Based Development. Ferrari, A.; Fantechi, A.; and Gnesi, S. In Goodloe, A.; and Person, S., editor(s), NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, volume 7226, of Lecture Notes in Computer Science, pages 24–38, 2012. Springer
Lessons Learnt from the Adoption of Formal Model-Based Development [link]Paper   doi   link   bibtex  
A GUI Testability Problem: A Case Study in the Railway Signaling Domain. Bonacchi, A.; Fantechi, A.; Bacherini, S.; Tempestini, M.; and Cipriani, L. In Faria, J. P.; da Silva, A. R.; and Machado, R. J., editor(s), 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings, pages 103–107, 2012. IEEE Computer Society
A GUI Testability Problem: A Case Study in the Railway Signaling Domain [link]Paper   doi   link   bibtex  
Adding Sessions to BPEL. Michaux, J.; Najm, E.; and Fantechi, A. In Silva, J.; and Tiezzi, F., editor(s), Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012, volume 98, of EPTCS, pages 60–76, 2012.
Adding Sessions to BPEL [link]Paper   doi   link   bibtex  
  2011 (16)
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle. Carnevali, L.; Ridi, L.; and Vicario, E. IEEE Trans. Software Eng., 37(6): 826–844. 2011.
Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle [link]Paper   doi   link   bibtex  
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. Carnevali, L.; Lipari, G.; Pinzuti, A.; and Vicario, E. In Romanovsky, A. B.; and Vardanega, T., editor(s), Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings, volume 6652, of Lecture Notes in Computer Science, pages 118–131, 2011. Springer
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems [link]Paper   doi   link   bibtex  
Ontologies and Bayesian Networks in Medical Diagnosis. Bucci, G.; Sandrucci, V.; and Vicario, E. In 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA, pages 1–8, 2011. IEEE Computer Society
Ontologies and Bayesian Networks in Medical Diagnosis [link]Paper   doi   link   bibtex  
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. Horváth, A.; Paolieri, M.; Ridi, L.; and Vicario, E. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pages 131–140, 2011. IEEE Computer Society
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers [link]Paper   doi   link   bibtex  
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. Carnevali, L.; Ridi, L.; and Vicario, E. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pages 153–154, 2011. IEEE Computer Society
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models [link]Paper   doi   link   bibtex  
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System. Cruciani, F.; and Vicario, E. In Flammini, F.; Bologna, S.; and Vittorini, V., editor(s), Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, volume 6894, of Lecture Notes in Computer Science, pages 355–368, 2011. Springer
Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System [link]Paper   doi   link   bibtex  
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. Carnevali, L.; Ridi, L.; and Vicario, E. In Flammini, F.; Bologna, S.; and Vittorini, V., editor(s), Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, volume 6894, of Lecture Notes in Computer Science, pages 409–422, 2011. Springer
A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models [link]Paper   doi   link   bibtex  
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. Carnevali, L.; Giuntini, J.; and Vicario, E. In Lasaulce, S.; Fiems, D.; Harrison, P. G.; and Vandendorpe, L., editor(s), 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011, pages 111–120, 2011. ICST/ACM
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters [link]Paper   doi   link   bibtex  
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer. Ferrari, A.; Magnani, G.; Grasso, D.; Fantechi, A.; and Tempestini, M. Int. J. Embed. Real Time Commun. Syst., 2(2): 42–61. 2011.
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer [link]Paper   doi   link   bibtex  
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Cofer, D. D.; Fantechi, A.; Leue, S.; and Merino, P. Sci. Comput. Program., 76(2): 63–64. 2011.
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008) [link]Paper   doi   link   bibtex  
A state/event-based model-checking approach for the analysis of abstract system properties. ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Mazzanti, F. Sci. Comput. Program., 76(2): 119–135. 2011.
A state/event-based model-checking approach for the analysis of abstract system properties [link]Paper   doi   link   bibtex  
A Model-Checking Tool for Families of Services. Asirelli, P.; ter Beek, M. H.; Fantechi, A.; and Gnesi, S. In Bruni, R.; and Dingel, J., editor(s), Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings, volume 6722, of Lecture Notes in Computer Science, pages 44–58, 2011. Springer
A Model-Checking Tool for Families of Services [link]Paper   doi   link   bibtex  
Design and validation of variability in product lines. Asirelli, P.; ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Mazzanti, F. In Rubin, J.; Botterweck, G.; Pleuss, A.; and Weiss, D. M., editor(s), Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, PLEASE 2011, Waikiki, Honolulu, HI, USA, May 22-23, 2011, pages 25–30, 2011. ACM
Design and validation of variability in product lines [link]Paper   doi   link   bibtex  
On the Adoption of Model Checking in Safety-Related Software Industry. Fantechi, A.; and Gnesi, S. In Flammini, F.; Bologna, S.; and Vittorini, V., editor(s), Computer Safety, Reliability, and Security - 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings, volume 6894, of Lecture Notes in Computer Science, pages 383–396, 2011. Springer
On the Adoption of Model Checking in Safety-Related Software Industry [link]Paper   doi   link   bibtex  
Variability and Rigour in Service Computing Engineering. ter Beek, M. H.; Gnesi, S.; Fantechi, A.; and Fiadeiro, J. L. In Rash, J. L.; and Rouff, C. A., editor(s), 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011, pages 122–127, 2011. IEEE Computer Society
Variability and Rigour in Service Computing Engineering [link]Paper   doi   link   bibtex  
Formal Description of Variability in Product Families. Asirelli, P.; ter Beek, M. H.; Gnesi, S.; and Fantechi, A. In de Almeida, E. S.; Kishi, T.; Schwanninger, C.; John, I.; and Schmid, K., editor(s), Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011, pages 130–139, 2011. IEEE Computer Society
Formal Description of Variability in Product Families [link]Paper   doi   link   bibtex  
  2010 (12)
Oris: a tool for modeling, verification and evaluation of real-time systems. Bucci, G.; Carnevali, L.; Ridi, L.; and Vicario, E. Int. J. Softw. Tools Technol. Transf., 12(5): 391–403. 2010.
Oris: a tool for modeling, verification and evaluation of real-time systems [link]Paper   doi   link   bibtex  
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. Horváth, A.; Ridi, L.; and Vicario, E. In QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010, pages 231–240, 2010. IEEE Computer Society
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes [link]Paper   doi   link   bibtex  
Ontology-Driven Enterprise Application Integration. Bucci, G.; Sandrucci, V.; and Vicario, E. In Proceedings of the 22nd International Conference on Software Engineering \& Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010, pages 54–60, 2010. Knowledge Systems Institute Graduate School
link   bibtex  
Formal methods in the development life cycle of real-time software. Carnevali, L. Ph.D. Thesis, University of Florence, Italy, 2010.
Formal methods in the development life cycle of real-time software [link]Paper   link   bibtex  
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ter Beek, M. H.; Gnesi, S.; Fantechi, A.; and Zavattaro, G. In Dhungana, D.; Rabiser, R.; Seyff, N.; and Botterweck, G., editor(s), Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, Antwerp, Belgium, September 20, 2010, volume 688, of CEUR Workshop Proceedings, pages 14–19, 2010. CEUR-WS.org
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research) [pdf]Paper   link   bibtex  
The Metrô Rio ATP Case Study. Ferrari, A.; Grasso, D.; Magnani, G.; Fantechi, A.; and Tempestini, M. In Kowalewski, S.; and Roveri, M., editor(s), Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, volume 6371, of Lecture Notes in Computer Science, pages 1–16, 2010. Springer
The Metrô Rio ATP Case Study [link]Paper   doi   link   bibtex  
Model Checking Interlocking Control Tables. Ferrari, A.; Magnani, G.; Grasso, D.; and Fantechi, A. In Schnieder, E.; and Tarnai, G., editor(s), FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010, pages 107–115, 2010. Springer
Model Checking Interlocking Control Tables [link]Paper   doi   link   bibtex  
Model Based Testing and Abstract Interpretation in the Railway Signaling Context. Grasso, D.; Fantechi, A.; Ferrari, A.; Becheri, C.; and Bacherini, S. In Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, April 7-9, 2010, pages 103–106, 2010. IEEE Computer Society
Model Based Testing and Abstract Interpretation in the Railway Signaling Context [link]Paper   doi   link   bibtex  
A Logical Framework to Deal with Variability. Asirelli, P.; ter Beek, M. H.; Fantechi, A.; and Gnesi, S. In Méry, D.; and Merz, S., editor(s), Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings, volume 6396, of Lecture Notes in Computer Science, pages 43–58, 2010. Springer
A Logical Framework to Deal with Variability [link]Paper   doi   link   bibtex  
An experience in using a tool for evaluating a large set of natural language requirements. Bucchiarone, A.; Gnesi, S.; Fantechi, A.; and Trentanni, G. In Shin, S. Y.; Ossowski, S.; Schumacher, M.; Palakal, M. J.; and Hung, C., editor(s), Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pages 281–286, 2010. ACM
An experience in using a tool for evaluating a large set of natural language requirements [link]Paper   doi   link   bibtex  
An industrial application of formal model based development: the Metrô Rio ATP case. Ferrari, A.; Papini, M.; Fantechi, A.; and Grasso, D. In Serugendo, G. D. M.; and Fitzgerald, J. S., editor(s), Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, SERENE '10, London, United Kingdom, April 15-16, 2010, pages 71–76, 2010. ACM
An industrial application of formal model based development: the Metrô Rio ATP case [link]Paper   doi   link   bibtex  
A Deontic Logical Framework for Modelling Product Families. Asirelli, P.; ter Beek, M. H.; Gnesi, S.; and Fantechi, A. In Benavides, D.; Batory, D. S.; and Grünbacher, P., editor(s), Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27-29, 2010. Proceedings, volume 37, of ICB-Research Report, pages 37–44, 2010. Universität Duisburg-Essen
A Deontic Logical Framework for Modelling Product Families [pdf]Paper   link   bibtex  
  2009 (9)
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. Carnevali, L.; Grassi, L.; and Vicario, E. IEEE Trans. Software Eng., 35(2): 178–194. 2009.
State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models [link]Paper   doi   link   bibtex  
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. Vicario, E.; Sassoli, L.; and Carnevali, L. IEEE Trans. Software Eng., 35(5): 703–719. 2009.
Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems [link]Paper   doi   link   bibtex  
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. Carnevali, L.; Ridi, L.; and Vicario, E. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain, pages 1–8, 2009. IEEE
Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems [link]Paper   doi   link   bibtex  
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. Horváth, A.; and Vicario, E. In QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pages 155–164, 2009. IEEE Computer Society
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets [link]Paper   doi   link   bibtex  
Automatic Code Generation from Real-Time Systems Specifications. Carnevali, L.; D'Amico, D.; Ridi, L.; and Vicario, E. In Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009, pages 102–105, 2009. IEEE Computer Society
Automatic Code Generation from Real-Time Systems Specifications [link]Paper   doi   link   bibtex  
Formal Development for Railway Signaling Using Commercial Tools. Ferrari, A.; Fantechi, A.; Bacherini, S.; and Zingoni, N. In Alpuente, M.; Cook, B.; and Joubert, C., editor(s), Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings, volume 5825, of Lecture Notes in Computer Science, pages 197–198, 2009. Springer
Formal Development for Railway Signaling Using Commercial Tools [link]Paper   doi   link   bibtex  
Modeling Guidelines for Code Generation in the Railway Signaling Context. Ferrari, A.; Fantechi, A.; Bacherini, S.; and Zingoni, N. In Denney, E.; Giannakopoulou, D.; and Pasareanu, C. S., editor(s), First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009, volume NASA/CP-2009-215407, of NASA Conference Proceedings, pages 166–170, 2009.
link   bibtex  
Deontic Logics for Modeling Behavioural Variability. Asirelli, P.; ter Beek, M. H.; Gnesi, S.; and Fantechi, A. In Benavides, D.; Metzger, A.; and Eisenecker, U. W., editor(s), Third International Workshop on Variability Modelling of Software-Intensive Systems, Seville, Spain, January 28-30, 2009. Proceedings, volume 29, of ICB Research Report, pages 71–76, 2009. Universität Duisburg-Essen
Deontic Logics for Modeling Behavioural Variability [pdf]Paper   link   bibtex  
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers. Cofer, D. D.; and Fantechi, A., editors. Volume 5596, of Lecture Notes in Computer Science.Springer. 2009.
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers [link]Paper   doi   link   bibtex  
  2008 (13)
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets. Carnevali, L.; Grassi, L.; and Vicario, E. In Kordon, F.; and Vardanega, T., editor(s), Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, volume 5026, of Lecture Notes in Computer Science, pages 87–100, 2008. Springer
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets [link]Paper   doi   link   bibtex  
An Incremental Approach to Software Reengineering Based on Object-Data Mapping. Bucci, G.; Sandrucci, V.; and Vicario, E. In Cordeiro, J.; Shishkov, B.; Ranchordas, A.; and Helfert, M., editor(s), ICSOFT 2008 - Proceedings of the Third International Conference on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal, July 5-8, 2008, pages 165–173, 2008. INSTICC Press
link   bibtex  
A Tool Supporting Evaluation of Non-markovian Fault Trees. Bucci, G.; Carnevali, L.; and Vicario, E. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pages 115–116, 2008. IEEE Computer Society
A Tool Supporting Evaluation of Non-markovian Fault Trees [link]Paper   doi   link   bibtex  
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes. Vicario, E. In Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 September 2008, Saint-Malo, France, pages 321, 2008. IEEE Computer Society
Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes [link]Paper   doi   link   bibtex  
Model driven development of railway systems using diversity. Banci, M.; Gnesi, S.; Fantechi, A.; and Lombardi, G. Comput. Syst. Sci. Eng., 23(5). 2008.
link   bibtex  
Session Types for Orchestration Charts. Fantechi, A.; and Najm, E. In Lea, D.; and Zavattaro, G., editor(s), Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings, volume 5052, of Lecture Notes in Computer Science, pages 117–134, 2008. Springer
Session Types for Orchestration Charts [link]Paper   doi   link   bibtex  
A Model Checking Approach for Verifying COWS Specifications. Fantechi, A.; Gnesi, S.; Lapadula, A.; Mazzanti, F.; Pugliese, R.; and Tiezzi, F. In Fiadeiro, J. L.; and Inverardi, P., editor(s), Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, volume 4961, of Lecture Notes in Computer Science, pages 230–245, 2008. Springer
A Model Checking Approach for Verifying COWS Specifications [link]Paper   doi   link   bibtex  
Panel Discussion on Formal Methods in Commercial Software Development Tools. Fantechi, A.; and Ferrari, A. In Cofer, D. D.; and Fantechi, A., editor(s), Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, volume 5596, of Lecture Notes in Computer Science, pages 4–6, 2008. Springer
Panel Discussion on Formal Methods in Commercial Software Development Tools [link]Paper   doi   link   bibtex  
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. Wirsing, M.; Hölzl, M. M.; Acciai, L.; Banti, F.; Clark, A.; Fantechi, A.; Gilmore, S.; Gnesi, S.; Gönczy, L.; Koch, N.; Lapadula, A.; Mayer, P.; Mazzanti, F.; Pugliese, R.; Schroeder, A.; Tiezzi, F.; Tribastone, M.; and Varró, D. In Margaria, T.; and Steffen, B., editor(s), Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, volume 17, of Communications in Computer and Information Science, pages 170–190, 2008. Springer
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity [link]Paper   doi   link   bibtex  
QuARS Express - A Tool Demonstration. Bucchiarone, A.; Gnesi, S.; Lami, G.; Trentanni, G.; and Fantechi, A. In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L'Aquila, Italy, pages 473–474, 2008. IEEE Computer Society
QuARS Express - A Tool Demonstration [link]Paper   doi   link   bibtex  
Formal Modeling for Product Families Engineering. Fantechi, A.; and Gnesi, S. In Software Product Lines, 12th International Conference, SPLC 2008, Limerick, Ireland, September 8-12, 2008, Proceedings, pages 193–202, 2008. IEEE Computer Society
Formal Modeling for Product Families Engineering [link]Paper   doi   link   bibtex  
Evaluation of Natural Language Requirements in the MODCONTROL Project. Bucchiarone, A.; Gnesi, S.; Trentanni, G.; and Fantechi, A. ERCIM News, 2008(75). 2008.
Evaluation of Natural Language Requirements in the MODCONTROL Project [link]Paper   link   bibtex  
Experimenting with Diversity in the Formal Development of Railway Signalling Systems. Fantechi, A.; Gnesi, S.; and Lombardi, G. ERCIM News, 2008(75). 2008.
Experimenting with Diversity in the Formal Development of Railway Signalling Systems [link]Paper   link   bibtex  
  2007 (12)
HomeTL: A visual formalism, based on temporal logic, for the design of home based care. Rugnone, A.; Vicario, E.; Nugent, C. D.; Donnelly, M. P.; Craig, D.; Paggetti, C.; and Tamburini, E. In IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA, pages 747–752, 2007. IEEE
HomeTL: A visual formalism, based on temporal logic, for the design of home based care [link]Paper   doi   link   bibtex  
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. Carnevali, L.; Sassoli, L.; and Vicario, E. In 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 4-6 July 2007, Pisa, Italy, Proceedings, pages 291–300, 2007. IEEE Computer Society
Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software [link]Paper   doi   link   bibtex  
Sensitization of symbolic runs in real-time testing using the ORIS tool. Carnevali, L.; Sassoli, L.; and Vicario, E. In Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece, pages 85–92, 2007. IEEE
Sensitization of symbolic runs in real-time testing using the ORIS tool [link]Paper   doi   link   bibtex  
A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring. Rugnone, A.; Poli, F.; Vicario, E.; Nugent, C. D.; Tamburini, E.; and Paggetti, C. In Okadome, T.; Yamazaki, T.; and Makhtari, M., editor(s), Pervasive Computing for Quality of Life Enhancement, 5th International Conference On Smart Homes and Health Telematics, ICOST 2007, Nara, Japan, June 21-23, 2007, Proceedings, volume 4541, of Lecture Notes in Computer Science, pages 217–225, 2007. Springer
A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring [link]Paper   doi   link   bibtex  
An Ontological SW Architecture for the Development of Cooperative Web Portals. Bucci, G.; Sandrucci, V.; Vicario, E.; and Mecca, S. In Filipe, J.; Shishkov, B.; and Helfert, M., editor(s), ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007, pages 48–55, 2007. INSTICC Press
link   bibtex  
Test Coverage Analysis for Object Oriented Programs - Structural Testing Through Aspect Oriented Instrumentation. Baldini, F.; Bucci, G.; Grassi, L.; and Vicario, E. In Filipe, J.; Shishkov, B.; and Helfert, M., editor(s), ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona, Spain, July 22-25, 2007, pages 55–60, 2007. INSTICC Press
link   bibtex  
An Ontological SW Architecture Supporting Agile Development of Semantic Portals. Bucci, G.; Sandrucci, V.; and Vicario, E. In Filipe, J.; Shishkov, B.; Helfert, M.; and Maciaszek, L. A., editor(s), Software and Data Technologies - Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers, volume 22, of Communications in Computer and Information Science, pages 185–200, 2007. Springer
An Ontological SW Architecture Supporting Agile Development of Semantic Portals [link]Paper   doi   link   bibtex  
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models. Sassoli, L.; and Vicario, E. In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pages 59–68, 2007. IEEE Computer Society
Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian models [link]Paper   doi   link   bibtex  
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Mazzanti, F. In Leue, S.; and Merino, P., editor(s), Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, volume 4916, of Lecture Notes in Computer Science, pages 133–148, 2007. Springer
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications [link]Paper   doi   link   bibtex  
Model Driven Development and Code Generation: An Automotive Case Study. Banci, M.; Fantechi, A.; Gnesi, S.; and Lombardi, G. In Gaudin, E.; Najm, E.; and Reed, R., editor(s), SDL 2007: Design for Dependable Systems, 13th International SDL Forum, Paris, France, September 18-21, 2007, Proceedings, volume 4745, of Lecture Notes in Computer Science, pages 19–34, 2007. Springer
Model Driven Development and Code Generation: An Automotive Case Study [link]Paper   doi   link   bibtex  
Experimenting with diversity in the model driven development of a railway signaling system. Banci, M.; Fantechi, A.; Gnesi, S.; and Lombardi, G. In Guelfi, N.; Muccini, H.; Pelliccione, P.; and Romanovsky, A. B., editor(s), Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007, pages 5, 2007. ACM
Experimenting with diversity in the model driven development of a railway signaling system [link]Paper   doi   link   bibtex  
A behavioural model for product families. Fantechi, A.; and Gnesi, S. In Crnkovic, I.; and Bertolino, A., editor(s), Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pages 521–524, 2007. ACM
A behavioural model for product families [link]Paper   doi   link   bibtex  
  2006 (5)
Analysis of Real Time Systems through the ORIS Tool. Sassoli, L.; and Vicario, E. In Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA, pages 127–128, 2006. IEEE Computer Society
Analysis of Real Time Systems through the ORIS Tool [link]Paper   doi   link   bibtex  
Statecharts Composition to Model Topologically Distributed Applications. Banci, M.; Fantechi, A.; and Gnesi, S. Trans. SDPS, 10(1): 1–15. 2006.
Statecharts Composition to Model Topologically Distributed Applications [link]Paper   link   bibtex  
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. Bacherini, S.; Fantechi, A.; Tempestini, M.; and Zingoni, N. In Misra, J.; Nipkow, T.; and Sekerinski, E., editor(s), FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, volume 4085, of Lecture Notes in Computer Science, pages 179–189, 2006. Springer
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer [link]Paper   doi   link   bibtex  
Achieving Fault Tolerance by a Formally Validated Interaction Policy. Fantechi, A.; Gnesi, S.; and Semini, L. In Butler, M. J.; Jones, C. B.; Romanovsky, A. B.; and Troubitsyna, E., editor(s), Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], volume 4157, of Lecture Notes in Computer Science, pages 133–152, 2006. Springer
Achieving Fault Tolerance by a Formally Validated Interaction Policy [link]Paper   doi   link   bibtex  
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements. Bertolino, A.; Fantechi, A.; Gnesi, S.; and Lami, G. In Käkölä, T.; and Due ̃nas, J. C., editor(s), Software Product Lines - Research Issues in Engineering and Management, pages 425–445. Springer, 2006.
Product Line Use Cases: Scenario-Based Specification and Testing of Requirements [link]Paper   doi   link   bibtex  
  2005 (7)
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. Bucci, G.; Sassoli, L.; and Vicario, E. IEEE Trans. Software Eng., 31(11): 913–927. 2005.
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets [link]Paper   doi   link   bibtex  
A Tool Set for Modeling and Simulation of Robotic Workcells. Baldini, F.; Bucci, G.; and Vicario, E. In FIRB-Perf Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-Perf 2005), 19 September 2005, Torino, Italy, pages 106–114, 2005. IEEE Computer Society
A Tool Set for Modeling and Simulation of Robotic Workcells [link]Paper   doi   link   bibtex  
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. Bucci, G.; Piovosi, R.; Sassoli, L.; and Vicario, E. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pages 13–22, 2005. IEEE Computer Society
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems [link]Paper   doi   link   bibtex  
Assembling components with behavioural contracts. Carrez, C.; Fantechi, A.; and Najm, E. Ann. des Télécommunications, 60(7-8): 989–1022. 2005.
Assembling components with behavioural contracts [link]Paper   doi   link   bibtex  
A comparison between handwritten and automatic generation of C code from SDL using static analysis. Becucci, M.; Fantechi, A.; Giromini, M.; and Spinicci, E. Softw. Pract. Exp., 35(14): 1317–1347. 2005.
A comparison between handwritten and automatic generation of C code from SDL using static analysis [link]Paper   doi   link   bibtex  
Instantiating generic charts for railway interlocking systems. Banci, M.; and Fantechi, A. In Margaria, T.; and Massink, M., editor(s), Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005, pages 134–143, 2005. ACM
Instantiating generic charts for railway interlocking systems [link]Paper   doi   link   bibtex  
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents. Fantechi, A.; and Spinicci, E. In Araújo, J.; Toro, A. D.; and e Cunha, J. F., editor(s), Anais do WER05 - Workshop em Engenharia de Requisitos, Porto, Portugal, Junho 13-14, 2005, pages 245–256, 2005.
A Content Analysis Technique for Inconsistency Detection in Software Requirements Documents [pdf]Paper   link   bibtex  
  2004 (8)
Timed State Space Analysis of Real-Time Preemptive Systems. Bucci, G.; Fedeli, A.; Sassoli, L.; and Vicario, E. IEEE Trans. Software Eng., 30(2): 97–111. 2004.
Timed State Space Analysis of Real-Time Preemptive Systems [link]Paper   doi   link   bibtex  
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems. Bucci, G.; Sassoli, L.; and Vicario, E. In 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 27-30 September 2004, Enschede, The Netherlands, pages 70–79, 2004. IEEE Computer Society
ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems [link]Paper   doi   link   bibtex  
Natural Language Processing of Patents and Technical Documentation. Cascini, G.; Fantechi, A.; and Spinicci, E. In Marinai, S.; and Dengel, A., editor(s), Document Analysis Systems VI, 6th International Workshop, DAS 2004, Florence, Italy, September 8-10, 2004, Proceedings, volume 3163, of Lecture Notes in Computer Science, pages 508–520, 2004. Springer
Natural Language Processing of Patents and Technical Documentation [link]Paper   doi   link   bibtex  
Witness and Counterexample Automata for ACTL. Meolic, R.; Fantechi, A.; and Gnesi, S. In de Frutos-Escrig, D.; and Nú ̃nez, M., editor(s), Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, volume 3235, of Lecture Notes in Computer Science, pages 259–275, 2004. Springer
Witness and Counterexample Automata for ACTL [link]Paper   doi   link   bibtex  
A Methodology for the Derivation and Verification of Use Cases for Product Lines. Fantechi, A.; Gnesi, S.; Lami, G.; and Nesti, E. In Nord, R. L., editor(s), Software Product Lines, Third International Conference, SPLC 2004, Boston, MA, USA, August 30-September 2, 2004, Proceedings, volume 3154, of Lecture Notes in Computer Science, pages 255–265, 2004. Springer
A Methodology for the Derivation and Verification of Use Cases for Product Lines [link]Paper   doi   link   bibtex  
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Banci, M.; and Fantechi, A. In Bicarregui, J.; Butterfield, A.; and Arenas, A., editor(s), Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004, volume 133, of Electronic Notes in Theoretical Computer Science, pages 3–19, 2004. Elsevier
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems [link]Paper   doi   link   bibtex  
Validation Coverage for a Component-based SDL model of a Railway Signaling System. Banci, M.; Becucci, M.; Fantechi, A.; and Spinicci, E. In Pezzè, M., editor(s), Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, volume 116, of Electronic Notes in Theoretical Computer Science, pages 99–111, 2004. Elsevier
Validation Coverage for a Component-based SDL model of a Railway Signaling System [link]Paper   doi   link   bibtex  
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples. Fantechi, A.; Gnesi, S.; and Maggiore, A. In Pezzè, M., editor(s), Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, volume 116, of Electronic Notes in Theoretical Computer Science, pages 199–211, 2004. Elsevier
Enhancing Test Coverage by Back-tracing Model-checker Counterexamples [link]Paper   doi   link   bibtex  
  2003 (9)
Weighted walkthroughs between extended entities for retrieval by spatial arrangement. Berretti, S.; Bimbo, A. D.; and Vicario, E. IEEE Trans. Multim., 5(1): 52–70. 2003.
Weighted walkthroughs between extended entities for retrieval by spatial arrangement [link]Paper   doi   link   bibtex  
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets. Bucci, G.; Fedeli, A.; Sassoli, L.; and Vicario, E. In 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2-4 July 2003, Porto, Portugal, Proceedings, pages 279–286, 2003. IEEE Computer Society
Modeling Flexible Real Time Systems with Preemptive Time Petri Nets [link]Paper   doi   link   bibtex  
Predicting Timeliness of Reactive Systems under Flexible Scheduling. Bucci, G.; Fedeli, A.; and Vicario, E. In 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 9-11 April 2003, Pisa, Italy, pages 125–130, 2003. IEEE Computer Society
Predicting Timeliness of Reactive Systems under Flexible Scheduling [link]Paper   doi   link   bibtex  
A discrete time model for performance evaluation and correctness verification of real time systems. Bucci, G.; Sassoli, L.; and Vicario, E. In Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pages 134–143, 2003. IEEE Computer Society
A discrete time model for performance evaluation and correctness verification of real time systems [link]Paper   doi   link   bibtex  
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools. Bucci, G.; Fedeli, A.; and Vicario, E. In Reed, R.; and Reed, J., editor(s), SDL 2003: System Design, 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003. Proceedings, volume 2708, of Lecture Notes in Computer Science, pages 203–217, 2003. Springer
Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools [link]Paper   doi   link   bibtex  
Applications of linguistic techniques for use case analysis. Fantechi, A.; Gnesi, S.; Lami, G.; and Maccari, A. Requir. Eng., 8(3): 161–170. 2003.
Applications of linguistic techniques for use case analysis [link]Paper   doi   link   bibtex  
Behavioural Contracts for a Sound Assembly of Components. Carrez, C.; Fantechi, A.; and Najm, E. In König, H.; Heiner, M.; and Wolisz, A., editor(s), Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings, volume 2767, of Lecture Notes in Computer Science, pages 111–126, 2003. Springer
Behavioural Contracts for a Sound Assembly of Components [link]Paper   doi   link   bibtex  
Elicitation of Use Cases for Product Lines. Fantechi, A.; Gnesi, S.; John, I.; Lami, G.; and Dörr, J. In van der Linden, F., editor(s), Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers, volume 3014, of Lecture Notes in Computer Science, pages 152–167, 2003. Springer
Elicitation of Use Cases for Product Lines [link]Paper   doi   link   bibtex  
Modelling and Validating a multiple-configuration railway signalling system using SDL. Fantechi, A.; and Spinicci, E. In Pezzè, M., editor(s), International Workshop on Test and Analysis of Component-Based Systems, TACoS 2003, Satellite Event of ETAPS 2003, Warsaw, Poland, April 5-6, 2003, volume 82, of Electronic Notes in Theoretical Computer Science, pages 66–76, 2003. Elsevier
Modelling and Validating a multiple-configuration railway signalling system using SDL [link]Paper   doi   link   bibtex  
  2002 (4)
Using 3D and Ancillary Media to Train Construction Workers. Assfalg, J.; Bimbo, A. D.; and Vicario, E. IEEE Multim., 9(2): 88–92. 2002.
Using 3D and Ancillary Media to Train Construction Workers [link]Paper   doi   link   bibtex  
Spatial arrangement of color in retrieval by visual similarity. Berretti, S.; Bimbo, A. D.; and Vicario, E. Pattern Recognit., 35(8): 1661–1674. 2002.
Spatial arrangement of color in retrieval by visual similarity [link]Paper   doi   link   bibtex  
Model checking fault tolerant systems. Bernardeschi, C.; Fantechi, A.; and Gnesi, S. Softw. Test. Verification Reliab., 12(4): 251–275. 2002.
Model checking fault tolerant systems [link]Paper   doi   link   bibtex  
Application of Linguistic Techniques for Use Case Analysis. Fantechi, A.; Gnesi, S.; Lami, G.; and Maccari, A. In 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), 9-13 September 2002, Essen, Germany, pages 157–164, 2002. IEEE Computer Society
Application of Linguistic Techniques for Use Case Analysis [link]Paper   doi   link   bibtex  
  2001 (8)
Modelling Spatial Relationships between Colour Clusters. Berretti, S.; Bimbo, A. D.; and Vicario, E. Pattern Anal. Appl., 4(2-3): 83–92. 2001.
Modelling Spatial Relationships between Colour Clusters [link]Paper   doi   link   bibtex  
Efficient Matching and Indexing of Graph Models in Content-Based Retrieval. Berretti, S.; Bimbo, A. D.; and Vicario, E. IEEE Trans. Pattern Anal. Mach. Intell., 23(10): 1089–1105. 2001.
Efficient Matching and Indexing of Graph Models in Content-Based Retrieval [link]Paper   doi   link   bibtex  
Static Analysis and Dynamic Steering of Time-Dependent Systems. Vicario, E. IEEE Trans. Software Eng., 27(8): 728–748. 2001.
Static Analysis and Dynamic Steering of Time-Dependent Systems [link]Paper   doi   link   bibtex  
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic. Vicario, E. J. Vis. Lang. Comput., 12(6): 573–599. 2001.
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic [link]Paper   doi   link   bibtex  
Spatial Arrangement Of Color Flows For Video Retrieval. Bimbo, A. D.; Vicario, E.; and Pala, P. In Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001. IEEE Computer Society
Spatial Arrangement Of Color Flows For Video Retrieval [link]Paper   doi   link   bibtex  
Finite Approximations for Model Checking Non-finite-state Processes. Francesco, N. D.; Fantechi, A.; Gnesi, S.; and Inverardi, P. Comput. J., 44(2): 109–123. 2001.
Finite Approximations for Model Checking Non-finite-state Processes [link]Paper   doi   link   bibtex  
Design Validation of Embedded Dependable Systems. Bondavalli, A.; Fantechi, A.; Latella, D.; and Simoncini, L. IEEE Micro, 21(5): 52–62. 2001.
Design Validation of Embedded Dependable Systems [link]Paper   doi   link   bibtex  
Formal validation of fault-tolerance mechanisms inside GUARDS. Bernardeschi, C.; Fantechi, A.; and Gnesi, S. Reliab. Eng. Syst. Saf., 71(3): 261–270. 2001.
Formal validation of fault-tolerance mechanisms inside GUARDS [link]Paper   doi   link   bibtex  
  2000 (3)
A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement. Berretti, S.; Bimbo, A. D.; and Vicario, E. In 2000 IEEE International Conference on Multimedia and Expo, ICME 2000, New York, NY, USA, July 30 - August 2, 2000, pages 1721–1724, 2000. IEEE Computer Society
A Look-Ahead Strategy for Graph Matching in Retrieval by Spatial Arrangement [link]Paper   doi   link   bibtex  
The Computational Aspect of Retrieval by Spatial Arrangement. Berretti, S.; Bimbo, A. D.; and Vicario, E. In 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000, pages 5047–5051, 2000. IEEE Computer Society
The Computational Aspect of Retrieval by Spatial Arrangement [link]Paper   doi   link   bibtex  
Formally Verifying Fault Tolerant System Designs. Bernardeschi, C.; Fantechi, A.; and Simoncini, L. Comput. J., 43(3): 191–205. 2000.
Formally Verifying Fault Tolerant System Designs [link]Paper   doi   link   bibtex  
  1999 (8)
A Visual Formalism for Computational Tree Logic. Bimbo, A. D.; and Vicario, E. J. Vis. Lang. Comput., 10(2): 165–187. 1999.
A Visual Formalism for Computational Tree Logic [link]Paper   doi   link   bibtex  
Managing the Complexity of Match in Retrieval by Spatial Arrangement. Berretti, S.; Bimbo, A. D.; and Vicario, E. In 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 27-29 September 1999, Venice, Italy, pages 1178–1183, 1999. IEEE Computer Society
Managing the Complexity of Match in Retrieval by Spatial Arrangement [link]Paper   doi   link   bibtex  
Weighting Spatial Arrangement of Colors in Content Based Image Retrieval. Berretti, S.; Bimbo, A. D.; and Vicario, E. In IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume I, pages 845–849, 1999. IEEE Computer Society
Weighting Spatial Arrangement of Colors in Content Based Image Retrieval [link]Paper   doi   link   bibtex  
Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project. Assfalg, J.; Leveque, C.; Mautref, M.; Neel, P.; Nigro, L.; Philippou, M.; Tanneau, J.; Vicario, E.; and Zardetto, G. In IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pages 1120–1122, 1999. IEEE Computer Society
Experimenting Advanced Visualization in the Operational Context of Transportation Networks: The VENN Project [link]Paper   doi   link   bibtex  
A Virtual Environment for Construction Workers Instruction and Training. Arcangeli, G.; Assfalg, J.; Tartaglia, R.; and Vicario, E. In IEEE International Conference on Multimedia Computing and Systems, ICMCS 1999, Florence, Italy, June 7-11, 1999. Volume II, pages 1123–1125, 1999. IEEE Computer Society
A Virtual Environment for Construction Workers Instruction and Training [link]Paper   doi   link   bibtex  
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. Powell, D.; Arlat, J.; Beus-Dukic, L.; Bondavalli, A.; Coppola, P.; Fantechi, A.; Jenn, E.; Rabéjac, C.; and Wellings, A. J. IEEE Trans. Parallel Distributed Syst., 10(6): 580–599. 1999.
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems [link]Paper   doi   link   bibtex  
Formal Validation of the GUARDS Inter-Consistency Mechanism. Bernardeschi, C.; Fantechi, A.; and Gnesi, S. In Felici, M.; Kanoun, K.; and Pasquini, A., editor(s), Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, volume 1698, of Lecture Notes in Computer Science, pages 420–430, 1999. Springer
Formal Validation of the GUARDS Inter-Consistency Mechanism [link]Paper   doi   link   bibtex  
Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Ciancarini, P.; Fantechi, A.; and Gorrieri, R., editors. Volume 139, of IFIP Conference Proceedings.Kluwer. 1999.
link   bibtex  
  1998 (9)
3D Navigation of Geographic Data Sets. Camiciottoli, R.; Corridoni, J. M.; Bimbo, A. D.; Vicario, E.; and Lucarella, D. IEEE Multim., 5(2): 29–41. 1998.
3D Navigation of Geographic Data Sets [link]Paper   doi   link   bibtex  
Image Retrieval by Color Semantics with Incomplete Knowledge. Corridoni, J. M.; Bimbo, A. D.; and Vicario, E. J. Am. Soc. Inf. Sci., 49(3): 267–282. 1998.
Image Retrieval by Color Semantics with Incomplete Knowledge [link]Paper   doi   link   bibtex  
Engineering the usability of visual formalisms: a case study in real time logics. Lusini, M.; and Vicario, E. In Catarci, T.; Costabile, M. F.; Santucci, G.; and Tarantino, L., editor(s), Proceedings of the working conference on Advanced visual interfaces 1998, L'Aquila, Italy, May 24 - 27, 1998, pages 114–123, 1998. ACM Press
Engineering the usability of visual formalisms: a case study in real time logics [link]Paper   doi   link   bibtex  
Design and Evaluation of a Visual Formalism for Real Time Logics. Lusini, M.; and Vicario, E. In Margaria, T.; Steffen, B.; Rückert, R.; and Posegga, J., editor(s), Services and Visualization: Towards User-Friendly Design, ACoS'98, VISUAL'98, AIN'97, Selected Papers, volume 1385, of Lecture Notes in Computer Science, pages 158–173, 1998. Springer
Design and Evaluation of a Visual Formalism for Real Time Logics [link]Paper   doi   link   bibtex  
Weighting Spatial Relationships in Retrieval by Visual Contents. Bimbo, A. D.; and Vicario, E. In Ioannidis, Y. E.; and Klas, W., editor(s), Visual Database Systems 4 (VDB4), IFIP TC2/WG 2.6 Fourth Working Conference on Visual Database Systems, L'Aquila, Italy, 27-29 May 1998, volume 126, of IFIP Conference Proceedings, pages 277–292, 1998. Chapman \& Hall
link   bibtex  
Painting Retrieval Based on Color Semantics. Corridoni, J. M.; Bimbo, A. D.; and Vicario, E. In Smeulders, A. W. M.; and Jain, R. C., editor(s), Image Databases and Multi-Media Search, volume 8, of Series on Software Engineering and Knowledge Engineering, pages 13–24. WorldScientific, 1998.
Painting Retrieval Based on Color Semantics [link]Paper   doi   link   bibtex  
A Formal Verification Environment for Railway Signaling System Design. Bernardeschi, C.; Fantechi, A.; Gnesi, S.; Larosa, S.; Mongardi, G.; and Romano, D. Formal Methods Syst. Des., 12(2): 139–161. 1998.
A Formal Verification Environment for Railway Signaling System Design [link]Paper   doi   link   bibtex  
A Symbolic Model Checker for ACTL. Fantechi, A.; Gnesi, S.; Mazzanti, F.; Pugliese, R.; and Tronci, E. In Hutter, D.; Stephan, W.; Traverso, P.; and Ullmann, M., editor(s), Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, volume 1641, of Lecture Notes in Computer Science, pages 228–242, 1998. Springer
A Symbolic Model Checker for ACTL [link]Paper   doi   link   bibtex  
Validating the Design of Dependable Systems. Bernardeschi, C.; Simoncini, L.; and Fantechi, A. In 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 20-22 April 1998, Kyoto, Japan, pages 364–372, 1998. IEEE Computer Society
Validating the Design of Dependable Systems [link]Paper   doi   link   bibtex  
  1997 (3)
Weighted Walkthroughs in Retrieval by Content of Pictorial Data. Vicario, E.; and He, W. X. In Bimbo, A. D., editor(s), Image Analysis and Processing, 9th International Conference, ICIAP '97, Florence, Italy, September 17-19, 1997, Proceedings, Volume II, volume 1311, of Lecture Notes in Computer Science, pages 132–139, 1997. Springer
Weighted Walkthroughs in Retrieval by Content of Pictorial Data [link]Paper   doi   link   bibtex  
An industrial application for the JACK environment. Bernardeschi, C.; Fantechi, A.; and Gnesi, S. J. Syst. Softw., 39(3): 249–264. 1997.
An industrial application for the JACK environment [link]Paper   doi   link   bibtex  
Object-Oriented Analysis of COBOL. Fantechi, A.; Nesi, P.; and Somma, E. In 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97), 17-19 March 1997, Berlin, Germany, pages 157–164, 1997. IEEE Computer Society
Object-Oriented Analysis of COBOL [link]Paper   doi   link   bibtex  
  1996 (5)
Visual Programming of Virtual Worlds Animation. Bimbo, A. D.; and Vicario, E. IEEE Multim., 3(1): 40–49. 1996.
Visual Programming of Virtual Worlds Animation [link]Paper   doi   link   bibtex  
A Visual Language for Color-Based Painting Retrieval. Corridoni, J. M.; Bimbo, A. D.; Magistris, S. D.; and Vicario, E. In Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder, Colorado, USA, September 3-6, 1996, pages 68–75, 1996. IEEE Computer Society
A Visual Language for Color-Based Painting Retrieval [link]Paper   doi   link   bibtex  
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation. Fantechi, A.; Gnesi, S.; and Latella, D. In Montanari, U.; and Sassone, V., editor(s), CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, volume 1119, of Lecture Notes in Computer Science, pages 563–578, 1996. Springer
Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation [link]Paper   doi   link   bibtex  
Proving Safety Properties for Embedded Control Systems. Bernardeschi, C.; Fantechi, A.; Gnesi, S.; and Mongardi, G. In Hlawiczka, A.; Silva, J. G.; and Simoncini, L., editor(s), Dependable Computing - EDCC-2, Second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996, Proceedings, volume 1150, of Lecture Notes in Computer Science, pages 321–332, 1996. Springer
Proving Safety Properties for Embedded Control Systems [link]Paper   doi   link   bibtex  
Formal Verification of Safety Requirements on Complex Systems. Bernardeschi, C.; Fantechi, A.; and Gnesi, S. In Schoitsch, E., editor(s), 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996, pages 21–30, 1996. Springer
Formal Verification of Safety Requirements on Complex Systems [link]Paper   doi   link   bibtex  
  1995 (11)
Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic. Bimbo, A. D.; Vicario, E.; and Zingoni, D. IEEE Trans. Knowl. Data Eng., 7(4): 609–622. 1995.
Symbolic Description and Visual Querying of Image Sequences Using Spatio-Temporal Logic [link]Paper   doi   link   bibtex  
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets. Bucci, G.; and Vicario, E. IEEE Trans. Software Eng., 21(12): 969–992. 1995.
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets [link]Paper   doi   link   bibtex  
Specification by-Example of Virtual Agents Behavior. Bimbo, A. D.; and Vicario, E. IEEE Trans. Vis. Comput. Graph., 1(4): 350–360. 1995.
Specification by-Example of Virtual Agents Behavior [link]Paper   doi   link   bibtex  
Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations. Baroni, M.; Congiu, G.; Bimbo, A. D.; Evangelisti, A.; and Vicario, E. In Braccini, C.; Floriani, L. D.; and Vernazza, G., editor(s), Image Analysis and Processing, 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995, Proceedings, volume 974, of Lecture Notes in Computer Science, pages 621–626, 1995. Springer
Symbolic Indexing of Cardiological Sequences Through Dynamic Curve Representations [link]Paper   doi   link   bibtex  
Automatic transition from rapid prototyping to target code for distributed systems. Bucci, G.; Mattolini, R.; and Vicario, E. In Second International Symposium on Autonomous Decentralized Systems, ISADS 1995, Phoenix, Arizona, USA, April 25-27, 1995, pages 104–111, 1995. IEEE Computer Society
Automatic transition from rapid prototyping to target code for distributed systems [link]Paper   doi   link   bibtex  
Iconic Retrievial by Contents from Databases of Cardiological Sequences. Bimbo, A. D.; Congiu, G.; and Vicario, E. In Spaccapietra, S.; and Jain, R. C., editor(s), Visual Database Systems 3, Visual Information Management, Proceedings of the third IFIP 2.6 working conference on visual database systems, March 27-29, 1995, Lausanne, Switzerland, volume 34, of IFIP Conference Proceedings, pages 158–174, 1995. Chapman \& Hall
link   bibtex  
Visual Specification of Branching Time Temporal Logic. Bimbo, A. D.; Rella, L.; and Vicario, E. In Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pages 61–68, 1995. IEEE Computer Society
Visual Specification of Branching Time Temporal Logic [link]Paper   doi   link   bibtex  
Verifying hardware components within JACK. Nicola, R. D.; Fantechi, A.; Gnesi, S.; Larosa, S.; and Ristori, G. In Camurati, P.; and Eveking, H., editor(s), Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings, volume 987, of Lecture Notes in Computer Science, pages 246–260, 1995. Springer
Verifying hardware components within JACK [link]Paper   doi   link   bibtex  
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. Anselmi, A.; Bernardeschi, C.; Fantechi, A.; Gnesi, S.; Larosa, S.; Mongardi, G.; and Torielli, F. In Rabe, G., editor(s), 14th International Conference on Computer Safety, Reliability and Security, Safecomp 1995, Belgirate, Italy, October 11-13, 1995, pages 474–488, 1995. Springer
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System [link]Paper   doi   link   bibtex  
Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. Bernardeschi, C.; Fantechi, A.; and Paternò, F. In SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings, pages 234–243, 1995. Knowledge Systems Institute
link   bibtex  
Model Checking of Non-Finite State Processes by Finite Approximations. Francesco, N. D.; Fantechi, A.; Gnesi, S.; and Inverardi, P. In Brinksma, E.; Cleaveland, R.; Larsen, K. G.; Margaria, T.; and Steffen, B., editor(s), Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995, Proceedings, volume 1019, of Lecture Notes in Computer Science, pages 195–215, 1995. Springer
Model Checking of Non-Finite State Processes by Finite Approximations [link]Paper   doi   link   bibtex  
  1994 (9)
Transport measurements over an Ethernet LAN. Bimbo, A. D.; and Vicario, E. IEEE Trans. Commun., 42(234): 1486–1489. 1994.
Transport measurements over an Ethernet LAN [link]Paper   doi   link   bibtex  
A Spatial Logic for Symbolic Description of Image Contents. Bimbo, A. D.; Vicario, E.; and Zingoni, D. J. Vis. Lang. Comput., 5(3): 267–286. 1994.
A Spatial Logic for Symbolic Description of Image Contents [link]Paper   doi   link   bibtex  
Interactive Training of Virtual Agents. Bimbo, A. D.; Vicario, E.; and Zingoni, D. In Costabile, M. F.; Catarci, T.; Levialdi, S.; and Santucci, G., editor(s), Proceedings of the Workshop on Advanced Visual Interfaces, AVI 1994, Bari, Italy, June 1-4, 1994, pages 172–181, 1994. ACM
Interactive Training of Virtual Agents [link]Paper   doi   link   bibtex  
Supporting Process Migration Through Communicating Petri Nets. Bucci, G.; Mattolini, R.; and Vicario, E. In Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, PDP 1994, January 26-28, 1994, Malaga, Spain, pages 486–492, 1994. IEEE
Supporting Process Migration Through Communicating Petri Nets [link]Paper   doi   link   bibtex  
An Interactive Environement for the Visual Programming of Virtual Agents. Bimbo, A. D.; Vicario, E.; and Zingoni, D. In Ambler, A. L.; and Kimura, T. D., editor(s), Proceedings IEEE Symposium on Visual Languages, St. Louis, Missouri, USA, October 4-7, 1994, pages 145–152, 1994. IEEE Computer Society
An Interactive Environement for the Visual Programming of Virtual Agents [link]Paper   doi   link   bibtex  
Model Checking for Action-Based Logics. Fantechi, A.; Gnesi, S.; and Ristori, G. Formal Methods Syst. Des., 4(2): 187–203. 1994.
Model Checking for Action-Based Logics [link]Paper   doi   link   bibtex  
Assisting Requirement Formalization by Means of Natural Language Translation. Fantechi, A.; Gnesi, S.; Ristori, G.; Carenini, M.; Vanocchi, M.; and Moreschini, P. Formal Methods Syst. Des., 4(3): 243–263. 1994.
Assisting Requirement Formalization by Means of Natural Language Translation [link]Paper   doi   link   bibtex  
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. Bernardeschi, C.; Fantechi, A.; and Simoncini, L. In Echtle, K.; Hammer, D. K.; and Powell, D., editor(s), Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings, volume 852, of Lecture Notes in Computer Science, pages 77–94, 1994. Springer
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study [link]Paper   doi   link   bibtex  
Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling. Fantechi, A.; Gnesi, S.; and Sacchelli, R. In Hogrefe, D.; and Leue, S., editor(s), Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994, volume 6, of IFIP Conference Proceedings, pages 218–220, 1994. Chapman \& Hall
link   bibtex  
  1993 (6)
A framework for the development of object-oriented distributed systems. Bucci, G.; Mattolini, R.; and Vicario, E. In International Symposium on Autonomous Decentralized Systems, ISADS 1993, Kawasaki, Japan, March 30 - April 1, 1993, pages 44–51, 1993. IEEE Computer Society
A framework for the development of object-oriented distributed systems [link]Paper   doi   link   bibtex  
Using communicating Petri nets to implement parallel computation in single-tasking operating systems. Bucci, G.; Mattolini, R.; and Vicario, E. In 1993 Euromicro Workshop on Parallel and Distributed Processing, PDP 1993, Gran Canaria, Spain, 27-29 January 1993, pages 481–489, 1993. IEEE
Using communicating Petri nets to implement parallel computation in single-tasking operating systems [link]Paper   doi   link   bibtex  
Sequence Retrieval by Contents through Spatio Temporal Indexing. Bimbo, A. D.; Vicario, E.; and Zingoni, D. In Proceedings of the 1993 IEEE Workshop on Visual Languages, August 24-27, 1993, Bergen, Norway, pages 88–92, 1993. IEEE Computer Society
Sequence Retrieval by Contents through Spatio Temporal Indexing [link]Paper   doi   link   bibtex  
Visual Specification of Virtual Worlds. Bimbo, A. D.; Vicario, E.; and Zingoni, D. In Proceedings of the 1993 IEEE Workshop on Visual Languages, August 24-27, 1993, Bergen, Norway, pages 376–378, 1993. IEEE Computer Society
Visual Specification of Virtual Worlds [link]Paper   doi   link   bibtex  
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Nicola, R. D.; Fantechi, A.; Gnesi, S.; and Ristori, G. Comput. Networks ISDN Syst., 25(7): 761–778. 1993.
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems [link]Paper   doi   link   bibtex  
An Expressive Logic for Basic Process Algebra. Fantechi, A.; Gnesi, S.; and Perticaroli, V. In Borzyszkowski, A. M.; and Sokolowski, S., editor(s), Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, volume 711, of Lecture Notes in Computer Science, pages 453–462, 1993. Springer
An Expressive Logic for Basic Process Algebra [link]Paper   doi   link   bibtex  
  1992 (3)
TCP/IP measured performance over an ethernet local network. Braccini, A.; Bimbo, A. D.; Vicario, E.; and Cappellini, V. Eur. Trans. Telecommun., 3(1): 77–83. 1992.
TCP/IP measured performance over an ethernet local network [link]Paper   doi   link   bibtex  
Rapid prototyping through communicating Petri nets. Bucci, G.; and Vicario, E. In Proceedings of the Third International Workshop on Rapid System Prototyping, RSP 1992, Research Triangle Park, North Carolina, USA, June 23-15, 1992, pages 58–75, 1992. IEEE Computer Society
Rapid prototyping through communicating Petri nets [link]Paper   doi   link   bibtex  
A Spatio-temporal Logic for Image Sequence Coding and Retrieval. Bimbo, A. D.; Vicario, E.; and Zingoni, D. In Proceedings of the 1992 IEEE Workshop on Visual Languages, September 15-18, 1992, Seattle, Washington, USA, pages 228–230, 1992. IEEE Computer Society
A Spatio-temporal Logic for Image Sequence Coding and Retrieval [link]Paper   doi   link   bibtex  
  1991 (4)
Interprocess Communication Dependency on Network Load. Braccini, A.; Bimbo, A. D.; and Vicario, E. IEEE Trans. Software Eng., 17(4): 357–369. 1991.
Interprocess Communication Dependency on Network Load [link]Paper   doi   link   bibtex  
Compositionality and Bisimulation: A Negative Result. Fantechi, A.; and Gnesi, S. Inf. Process. Lett., 39(2): 109–114. 1991.
Compositionality and Bisimulation: A Negative Result [link]Paper   doi   link   bibtex  
Executing the formal definition of Ada. Fantechi, A.; Gnesi, S.; Leggio, F.; and Talini, P. ACM SIGPLAN Notices, 26(3): 25–34. 1991.
Executing the formal definition of Ada [link]Paper   doi   link   bibtex  
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. Nicola, R. D.; Fantechi, A.; Gnesi, S.; and Ristori, G. In Larsen, K. G.; and Skou, A., editor(s), Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, volume 575, of Lecture Notes in Computer Science, pages 37–47, 1991. Springer
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems [link]Paper   doi   link   bibtex  
  1990 (2)
How Expressive Are LOTOS Behaviour Expressions?. Fantechi, A.; Gnesi, S.; and Mazzarini, G. In Quemada, J.; Ma ̃nas, J. A.; and Vázquez, E., editor(s), Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990, pages 17–32, 1990. North-Holland
link   bibtex  
Compositional logic semantics and LOTOS. Fantechi, A.; Gnesi, S.; and Ristori, G. In Logrippo, L.; Probert, R. L.; and Ural, H., editor(s), Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990, pages 365–378, 1990. North-Holland
link   bibtex  
  1989 (1)
An Expressive Temporal Logic for Basic LOTOS. Fantechi, A.; Gnesi, S.; and Laneve, C. In Vuong, S. T., editor(s), Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989, pages 261–276, 1989. North-Holland
link   bibtex  
  1987 (2)
Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination. Baiardi, F.; Fantechi, A.; Tomasi, A.; and Vanneschi, M. J. Parallel Distributed Comput., 4(6): 531–545. 1987.
Distributed Implementation of Nested Communicating Sequential Processes: Communication and Termination [link]Paper   doi   link   bibtex  
An Executon Environment for the Formal Definiton of Ada. Fantechi, A.; Gnesi, S.; Inverardi, P.; and Montanari, U. In Nichols, H. K.; and Simpson, D., editor(s), ESEC '87, 1st European Software Engineering Conference, Strasbourg, France, September 9-11, 1987, Proceedings, volume 289, of Lecture Notes in Computer Science, pages 327–335, 1987. Springer
An Executon Environment for the Formal Definiton of Ada [link]Paper   doi   link   bibtex  
  1986 (2)
Using High Level Languages for Local Computer Network Communication: A Case Study in Ada. Fantechi, A.; Inverardi, P.; and Lijtmaer, N. Softw. Pract. Exp., 16(8): 701–717. 1986.
link   bibtex  
Testing Equivalences for Event Structures. Aceto, L.; Nicola, R. D.; and Fantechi, A. In Zilli, M. V., editor(s), Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings, volume 280, of Lecture Notes in Computer Science, pages 1–20, 1986. Springer
Testing Equivalences for Event Structures [link]Paper   doi   link   bibtex  
  1982 (1)
Portable Ada programming system: a proposed run-time architecture. Fantechi, A.; and Gallo, F. In Fisher, G. A., editor(s), Proceedings of the AdaTEC Conference on Ada, Arlington, Virginia, USA, October 6-8, 1982, pages 48–56, 1982. ACM
Portable Ada programming system: a proposed run-time architecture [link]Paper   doi   link   bibtex