Luca Cavallaro
Orcid: 0000-0002-9356-7289
According to our database1,
Luca Cavallaro
authored at least 20 papers
between 2007 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Calibration of a Clustering Algorithm to Improve the Nearshore Wave Prediction System.
Proceedings of the IEEE International Conference on Metrology for eXtended Reality, 2023
2022
Artificial Neural Networks for the forecasting of wave climate in proximity of harbour area.
Proceedings of the IEEE International Conference on Metrology for Extended Reality, 2022
2016
2014
2013
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
2012
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012
2010
PhD thesis, 2010
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR, 2010
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010
2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009
Proceedings of the 8th Workshop on Foundations of Aspect-Oriented Languages, 2009
2008
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008
2007
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007