Roberto Tiella

According to our database, Roberto Tiella authored at least 23 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Formal Design and Validation of an Automatic Train Operation Control System.

Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2018

ROBOTIKANDO: a Web Tool for Supporting Teacher Practicing Robotics in Kindergarten.

Ornella Mich, Roberto Tiella

CoRR, 2018

2017

Generating valid grammar-based test inputs by means of genetic programming and annotated grammars.

Fitsum Meshesha Kifetew, Roberto Tiella, Paolo Tonella

Empir. Softw. Eng., 2017

Automatic generation of opaque constants based on the k-clique problem for resilient data obfuscation.

Roberto Tiella, Mariano Ceccato

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

2016

Assessment of Source Code Obfuscation Techniques.

Alessio Viticchié, Leonardo Regano, Marco Torchiano, Cataldo Basile, Mariano Ceccato, Paolo Tonella, Roberto Tiella

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

2015

Weekly Round Trips from Norms to Requirements and Tests: An Industrial Experience Report.

Paolo Tonella, Roberto Tiella

Proceedings of the 2nd IEEE/ACM International Workshop on Requirements Engineering and Testing, 2015

Assessment of Data Obfuscation with Residue Number Coding.

Biniam Fisseha Demissie, Mariano Ceccato, Roberto Tiella

Proceedings of the 1st IEEE/ACM International Workshop on Software Protection, 2015

2014

Combining Stochastic Grammars and Genetic Programming for Coverage Testing at the System Level.

Fitsum Meshesha Kifetew, Roberto Tiella, Paolo Tonella

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Semantic-Based Process Analysis.

Chiara Di Francescomarino, Francesco Corcoglioniti, Mauro Dragoni, Piergiorgio Bertoli, Roberto Tiella, Chiara Ghidini, Michele Nori, Marco Pistore

Proceedings of the Semantic Web - ISWC 2014, 2014

Modeling and Monitoring Processes exploiting Semantic Reasoning.

Mauro Dragoni, Piergiorgio Bertoli, Chiara Di Francescomarino, Chiara Ghidini, Michele Nori, Marco Pistore, Roberto Tiella, Francesco Corcoglioniti

Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Reproducing Field Failures for Programs with Complex Grammar-Based Input.

Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, Paolo Tonella

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

A Multi-objective Approach to Business Process Repair.

Chiara Di Francescomarino, Roberto Tiella, Chiara Ghidini, Paolo Tonella

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Interpolated n-grams for model based testing.

Paolo Tonella, Roberto Tiella, Duy Cu Nguyen

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

N-Gram Based Test Sequence Generation from Finite State Models.

Paolo Tonella, Roberto Tiella, Cu D. Nguyen

Proceedings of the Future Internet Testing - First International Workshop, 2013

SBFR: A search based approach for reproducing failures of programs with grammar based input.

Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, Paolo Tonella

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Crawlability Metrics for Web Applications.

Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella, Paolo Tonella

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Crawlability metrics for automated web testing.

Alessandro Marchetto, Roberto Tiella, Paolo Tonella, Nadia Alshahwan, Mark Harman

Int. J. Softw. Tools Technol. Transf., 2011

2009

Development, formal verification, and evaluation of an E-voting system with VVPAT.

Adolfo Villafiorita, Komminist Weldemariam, Roberto Tiella

IEEE Trans. Inf. Forensics Secur., 2009

2008

Measuring the Impact of Different Categories of Software Evolution.

Francesca Longo, Roberto Tiella, Paolo Tonella, Adolfo Villafiorita

Proceedings of the Software Process and Product Measurement, 2008

2007

FSMC+, a tool for the generation of Java code from statecharts.

Roberto Tiella, Adolfo Villafiorita, Silvia Tomasi

Proceedings of the 5th International Symposium on Principles and Practice of Programming in Java, 2007

2005

A trust-enhanced recommender system application: Moleskiing.

Paolo Avesani, Paolo Massa, Roberto Tiella

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

Accounting and billing of wireless internet services in 3G networks.

Päivi Kallio, Alessandro Zorer, Roberto Tiella

Int. J. Mob. Commun., 2004

2002

Accounting and Billing of Wireless Internet Services in the Third Generation Networks.

Päivi Kallio, Giovanni Cortese, Roberto Tiella, Alessandro Zorer

Proceedings of the Advanced Conceptual Modeling Techniques, 2002