StPowla: SOA, policies and workflows S Gorton, C Montangero, S Reiff-Marganiec, L Semini Service-Oriented Computing-ICSOC 2007 Workshops: ICSOC 2007, International …, 2009 | 50 | 2009 |
An experience in using machine learning for short-term predictions in smart transportation systems D Bacciu, A Carta, S Gnesi, L Semini Journal of Logical and Algebraic Methods in Programming 87, 52-66, 2017 | 38 | 2017 |
Logic–Based Detection of Conflicts in Appel Policies C Montangero, S Reiff-Marganiec, L Semini International Symposium on Fundamentals of Software Engineering …, 2007 | 29 | 2007 |
Detecting policy conflicts by model checking UML state machines MH Ter Beek, S Gnesi, C Montangero, L Semini Feature Interactions in Software and Communication Systems X, 59-74, 2009 | 25 | 2009 |
Logic-based conflict detection for distributed policies C Montangero, S Reiff-Marganiec, L Semini Fundamenta Informaticae 89 (4), 511-538, 2008 | 25 | 2008 |
Mark, a reasoning kit for mobility G Ferrari, C Montangero, L Semini, S Semprini Automated Software Engineering 9, 137-150, 2002 | 21 | 2002 |
Composing Specications for Coordination C Montangero, L Semini International Conference on Coordination Languages and Models, 118-133, 1999 | 21 | 1999 |
Requirement engineering of software product lines: Extracting variability using NLP A Fantechi, A Ferrari, S Gnesi, L Semini 2018 IEEE 26th international Requirements Engineering conference (RE), 418-423, 2018 | 17 | 2018 |
A logical view of choreography C Montangero, L Semini Coordination Models and Languages: 8th International Conference …, 2006 | 17 | 2006 |
Distributed states logic C Montangero, L Semini Proceedings Ninth International Symposium on Temporal Representation and …, 2002 | 16 | 2002 |
Mobile Agents Coordination in Mobadtl G Ferrari, C Montangero, L Semini, S Semprini Coordination Languages and Models: 4th International Conference …, 2000 | 16 | 2000 |
A refinement calculus for tuple spaces L Semini, C Montangero Science of Computer Programming 34 (2), 79-140, 1999 | 16 | 1999 |
A spaCy-based tool for extracting variability from NL requirements A Fantechi, S Gnesi, S Livi, L Semini Proceedings of the 25th ACM International Systems and Software Product Line …, 2021 | 14 | 2021 |
Hacking an ambiguity detection tool to extract variation points: an experience report A Fantechi, A Ferrari, S Gnesi, L Semini Proceedings of the 12th International Workshop on Variability Modelling of …, 2018 | 14 | 2018 |
A proposal to merge multiple tuple spaces, object orientation, and logic programming V Ambriola, GA Cignoni, L Semini Computer languages 22 (2-3), 79-93, 1996 | 14 | 1996 |
Using a machine learning approach to implement and evaluate product line features D Bacciu, S Gnesi, L Semini arXiv preprint arXiv:1508.03906, 2015 | 13 | 2015 |
Formal description and validation for an integrity policy supporting multiple levels of criticality A Fantechi, S Gnesi, L Semini Dependable Computing for Critical Applications 7, 129-146, 1999 | 12 | 1999 |
Ambiguity defects as variation points in requirements A Fantechi, S Gnesi, L Semini Proceedings of the 11th International Workshop on Variability Modelling of …, 2017 | 11 | 2017 |
Multiple Security Policies in Mob_adtl GL Ferrari, C Montangero, L Semini, S Semprini Proc. Workshop on Issues in the Theory of Security (WITS'00), 50-54, 2000 | 11 | 2000 |
Refining by architectural styles or architecting by refinements C Montangero, L Semini Joint proceedings of the second international software architecture workshop …, 1996 | 10 | 1996 |