Papers

New paper published in Sensors Journal

Just published in the Sensors Journal the paper “A Wearable System for Jump Detection in Inline Figure Skating” by Antonio Panfili, Alvise Spanò and Agostino Cortesi. Available here: https://www.mdpi.com/1424-8220/22/4/1650

Chapter published in “Security in IoT”

The article “Robustness Analysis of PLC Programs With Respect to Sensor Interaction in IoT”, by Manali Chakraborty, Agostino Cortesi, Pietro Ferrara and Sara Ferro, has just been published as a chapter of the book “Security in IoT”, published by Taylor&Francis. Available here: https://www.taylorfrancis.com/chapters/edit/10.1201/9781003149507-2/robustness-analysis-plc-programs-respect-sensor-interaction-iot-manali-chakraborty-agostino-cortesi-pietro-ferrara-sara-ferro

New paper published in “Information and Computation”

Just published in the Information and Computation Journal the paper “Completeness of String Analysis for Dynamic Languages” by Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, and Isabella Mastroeni. Available here: https://doi.org/10.1016/j.ic.2021.104791

New paper published in Elsevier’s “Ad Hoc Networks”

We are pleased to announce that the paper “Geographic Location based Secure, Dynamic and Opportunistic RPL for Distributed Networks” by Manali Chackraborty, Alvise Spanò and Agostino Cortesi has been published in the Elsevier journal “Had Hoc Networks”, in vol. 123.  https://www.sciencedirect.com/science/article/pii/S1570870521001931

Paper appearing in the 14th International Symposium on Foundations & Practice of Security

The paper “A Quantile-based Watermarking Approach for Distortion Minimization” by Maikel Lázaro Pérez Gort, Martina Olliaro, and Agostino Cortesi, has been accepted for publication by the 14th International Symposium on Foundations & Practice of Security.

New paper published in Springer’s “SN Computer Science”

The article “A Patient-Centric Nurse Scheduling Algorithm” by Paramita Sarkar, Rituparna Chaki and Agostino Cortesi appeared today in the Springer journal SN Computer Science, vol. 3(1). https://link.springer.com/article/10.1007/s42979-021-00820-4

IEEE Requirement Engineering Conference 2021

“CARO: a Conflict Aware Requirement Ordering Tool for DevOps” was presented today at the 29th International Requirements Engineering Conference (RE’21). The paper is available here: https://ieeexplore.ieee.org/abstract/document/9604702

LiSA will be presented tomorrow at SOAP!

Tomorrow we will present LiSA (https://github.com/UniVE-SSV/lisa), our novel library for static analysis, and in particular its application to simple analyses at SOAP! The paper “Static analysis for Dummies: Experiencing LiSA” by Pietro Ferrara, Luca Negrini, Vincenzo Arceri, and Agostino Cortesi has been published (https://dl.acm.org/doi/10.1145/3460946.3464316), and Vincenzo will present it tomorrow at 4.45pm GMT+2:00 in the 10th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis (you

A new paper in Springer’s “Innovations in Systems and Software Engineering”

The article “Requirement-oriented risk management for incremental software development” by Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki and Nabendu Chaki just appeared in Springer’s “Innovations in Systems and Software Engineering”, volume 17, pages187–204 (2021). The paper is available here: https://link.springer.com/article/10.1007/s11334-021-00406-6

A new paper on Wiley’s “Systems Engineering”

We are glad to share the news that the article “NFR-aware prioritization of software requirements” by Mandira Roy, Novarun Deb, Agostino Cortesi, Rituparna Chaki, and Nabendu Chaki just appeared in Wiley’s “Systems Engineering” journal. Please enjoy reading: https://onlinelibrary.wiley.com/doi/full/10.1002/sys.21572