Also: [Grouped by subject] [Grouped by venue type] [Grouped by year] Other (submitted, in preparation, unpublished, etc.)
| Article | |||
| 2025 | L. Simone, D. Bacciu, and V. Gervasi. | ECG synthesis for cardiac arrhythmias: Integrating self-supervised learning and generative adversarial networks. Artificial Intelligence in Medicine, 167:103162, 2025. | |
| L. Simone, L. Miglior, V. Gervasi, L. Moroni, E. Vignali, E. Gasparotti, and S. Celi. | Deep learning framework for cardiorespiratory disease detection using smartphone IMU sensors. Computers in Biology and Medicine, 196:110595, 2025. | ||
| 2024 | E. Vignali, E. Gasparotti, L. Miglior, V. Gervasi, L. Simone, D. Haxhiademi, L. Frediani, G. Borelli, S. Berti, and S. Celi. | A new smartphone-based method for remote health monitoring: Assessment of respiratory kinematics. Electronics, 13(6):1132, Mar. 2024. (Special issue on Wearable and Implantable Sensors in Healthcare). | |
| F. Severino, A. Canciani, C. Felicioli, V. Gervasi, A. Pelosi, A. Natali, W. Salvatore, and S. Russo. | Trustworthy AI for infrastructure monitoring: a blockchain based approach. Procedia Structural Integrity, 62:276-284, Feb. 2024. | ||
| 2023 | A. Natali, V. Messina, W. Salvatore, V. Gervasi, D. Anzalone, A. Canciani, and F. Severino. | A new tailored developed software for the risk classification of bridges according to the italian guidelines. Procedia Structural Integrity, 44:2012-2019, 2023. XIX ANIDIS Conference, Seismic Engineering in Italy. | ABSTR |
| V. Gervasi and A. Vogelsang. | Introduction to the special section on the best papers from REFSQ 2022. Information and Software Technology, 161:107262, 2023. | ||
| V. Gervasi, A. Marchetto, and M. Daneva. | Report of the 8th workshop on empirical requirementsengineering (EmpiRE 2023). SIGSOFT Softw. Eng. Notes, 49(1):27-29, Dec. 2023. | ||
| 2017 | A. Ferrari, F. Dell'Orletta, A. Esuli, V. Gervasi, and S. Gnesi. | Natural language requirements processing: a 4D vision. IEEE Software, 34(6):28-35, November 2017. | PDF ABSTR |
| 2014 | E. Riccobene, P. Arcaini, M. Dausend, A. Fleischmann, A. Gargantini, V. Gervasi, U. Glaesser, A. Raschke, G. Schellhorn, K.-D. Schewe, Q. Wang, and H. Y. Shahir. | Comparison of methods and tools: the report of the ASM group. Dagstuhl Reports, 3(9):101-102, 2014. | |
| M. Dausend, V. Gervasi, A. Raschke, and H. Y. Shahir. | An executable CoreASM model of the termination detection protocol. Dagstuhl Reports, 3(9):84, 2014. | ||
| V. Gervasi and E. Riccobene. | From English to ASM: On the process of deriving a formal specification from a natural language one. Dagstuhl Reports, 3(9):85-90, 2014. | ||
| V. Gervasi, E. Boerger, and A. Cisternino. | Modeling web applications infrastructure with ASMs. Science of Computer Programming, 94(2):69-92, Nov. 2014. | ||
| R. Farahbod, V. Gervasi, and U. Glaesser. | Executable formal specifications of complex distributed systems with CoreASM. Science of Computer Programming, 79(1):23-38, Jan. 2014. | ||
| 2012 | E. Boerger, A. Cisternino, and V. Gervasi. | Ambient abstract state machines with applications. Journal of Computer and System Sciences, 78:939-959, 2012. | |
| 2011 | R. Farahbod, V. Gervasi, and U. Glaesser. | An extensible toolset for design and validation of abstract state machine models. Science of Computer Programming, 2011. (to appear). | |
| R. Gacitua, P. Sawyer, and V. Gervasi. | Relevance-based abstraction identification: Technique and evaluation. Requirements Engineering Journal, 16(3):251-265, 2011. | ||
| H. Yang, A. de Roeck, V. Gervasi, A. Willis, and B. Nuseibeh. | Analysing anaphoric ambiguity in natural language requirements. Requirements Engineering Journal, 16(3):163-189, 2011. | ||
| 2008 | V. Gervasi, P. Sawyer, B. Paech, and E. Kamsties. | Special issue on selected papers from REFSQ'05 and '06. Information and Software Technology, 50(1-2), Jan. 2008. | |
| 2007 | R. Farahbod, V. Gervasi, and U. Glaesser. | CoreASM: An extensible ASM execution engine. Fundamenta Informaticae, 77:71-103, Mar./Apr. 2007. | PDF ABSTR |
| 2006 | V. Ambriola and V. Gervasi. | On the systematic analysis of natural language requirements with Circe. Automated Software Engineering, 13(1):107-167, Jan. 2006. | PDF ABSTR |
| 2005 | B. Regnell, E. Kamsties, and V. Gervasi. | Special issue on selected papers from REFSQ'04. Requirements Engineering Journal, 10(4), Nov. 2005. | |
| D. Zowghi and V. Gervasi. | Special issue on automated tools for requirements engineering. International Journal of Computer Systems Science and Engineering, 20(1), Jan. 2005. | ||
| E. Boerger, N. G. Fruja, V. Gervasi, and R. F. Staerk. | A high-level modular definition of the semantics of C#. Theoretical Computer Science, 336(2/3):235-284, May 2005. | PDF ABSTR | |
| V. Gervasi and D. Zowghi. | Reasoning about inconsistencies in natural language requirements. ACM Transactions on Software Engineering and Methodology, 14(3):277-330, July 2005. | PDF ABSTR | |
| J. Natt och Dag, V. Gervasi, S. Brinkkemper, and B. Regnell. | A linguistic engineering approach to large-scale requirements management. IEEE Software, 22(1), Jan./Feb. 2005. | PDF | |
| 2004 | V. Gervasi, D. Zowghi, S. Easterbrook, and S. E. Sim. | Report on the first international workshop on comparative evaluation in requirements engineering. ACM SIGSOFT Software Engineering Notes, 29(2):1-4, Mar. 2004. | PDF ABSTR |
| V. Gervasi and G. Prencipe. | Coordination without communication: The case of the flocking problem. Discrete Applied Mathematics, 143(1-3):203-223, Sept. 2004. | PDF ABSTR | |
| 2003 | V. Gervasi and D. Zowghi. | On the interplay between consistency, completeness, and correctness in requirements evolution. Information and Software Technology, 45(14):993-1009, Nov. 2003. | PS ABSTR README |
| 2002 | V. Gervasi and B. Nuseibeh. | Lightweight validation of natural language requirements. Software: Practice & Experience, 32(2):113-133, Feb. 2002. | PDF ABSTR |
| 2000 | E. Bertino, B. Catania, V. Gervasi, and A. Raffaetą. | A logical approach to update propagation in heterogeneous databases. Journal of Logic Programming, 43(1):15-48, 2000. | PS ABSTR |
| 1999 | V. Gervasi and D. Rosaci. | School on information extraction, 2nd edition. AI*IA Notizie, 12(4):65-66, December 1999. (in Italian). | |
| Book | |||
| 2024 | E. Boerger and V. Gervasi. | Structures of Computing: A Guide to Practice-Oriented Theory. Springer, Mar. 2024. | |
| 2011 | R. Bruni, A. Corradini, and V. Gervasi. | Programmazione in Java. Apogeo, second edition, 2011. | |
| M. Tavosanis, M. T. Lupia, and V. Gervasi. | Editoria Digitale. De Agostini, 2011. | ||
| 2009 | R. Bruni, A. Corradini, and V. Gervasi. | Programmazione in Java. Apogeo, 2009. | |
| 2005 | P. Manghi, A. Brogi, A. Martinelli, V. Gervasi, A. Fabrizio, and G. Pacini. | Le Basi di Dati per Medicina e Farmacia. McGraw-Hill, 2005. | |
| V. Gervasi, A. Martinelli, A. Brogi, and P. Manghi. | Il foglio elettronico per Medicina e Farmacia. McGraw-Hill, 2005. | ||
| InCollection | |||
| 2023 | V. Gervasi. | Filologia dei requisiti: dalle humanities al software engineering. In E. Salvatori, S. Pelagatti, and C. Mannari, editors, Pionieri fra due culture. Simonelli Editore, 2023. | |
| 2019 | V. Gervasi, A. Ferrari, D. Zowghi, and P. Spoletini. | Ambiguity in requirements engineering: Towards a unifying framework. In M. H. ter Beek, A. Fantechi, and L. Semini, editors, From Software Engineering to Formal Methods and Tools, and Back, number 11865 in Lecture Notes in Computer Science, pages 191-210. Springer, Oct. 2019. | |
| 2014 | D. Mairiza, D. Zowghi, and V. Gervasi. | Utilizing TOPSIS: A multi criteria decision analysis technique for non-functional requirements conflicts. In D. Zowghi and Z. Jin, editors, Requirements Engineering, volume 432 of Communications in Computer and Information Science, pages 31-44. Springer Berlin Heidelberg, Auckland, New Zaeland, Apr. 2014. | |
| S. Zenzaro, V. Gervasi, and J. Soldani. | WebASM: An abstract state machine execution environment for the web. In Y. Ait Ameur and K.-D. Schewe, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z, volume 8477 of Lecture Notes in Computer Science, pages 216-221. Springer Berlin Heidelberg, June 2014. | ||
| 2013 | V. Gervasi, R. Gacitua, M. Rouncefield, P. Sawyer, L. Kof, L. Ma, P. Piwek, A. de Roeck, A. Willis, H. Yang, and B. Nuseibeh. | Unpacking tacit knowledge for requirements engineering. In W. Maalej and A. Thurimella, editors, Managing Requirements Knowledge, chapter 2. Springer, Mar. 2013. | |
| 2009 | R. Farahbod, V. Gervasi, U. Glaesser, and G. Ma. | CoreASM plug-in architecture. In Rigorous Methods for Software Construction and Analysis, number 5115 in LNCS, pages 147-169. Springer-Verlag, 2009. | |
| V. Gervasi and R. Farahbod. | JASMine: Accessing Java code from CoreASM. In Rigorous Methods for Software Construction and Analysis, number 5115 in LNCS, pages 170-186. Springer-Verlag, 2009. | ABSTR | |
| 2008 | V. Gervasi and G. A. Galilei. | Software manipulation with annotations in Java. In E. Boerger and A. Cisternino, editors, Advances in Software Engineering, number 5316 in LNCS. Springer-Verlag, 2008. | PDF ABSTR |
| 2005 | J. Natt och Dag and V. Gervasi. | Managing large repositories of natural language requirements. In A. Airum and C. Wohlin, editors, Engineering and Managing Software Requirements. Springer-Verlag, 2005. | PDF ABSTR |
| 2002 | V. Gervasi and V. Ambriola. | Quantitative assessment of textual complexity. In L. Merlini Barbaresi, editor, Complexity in Language and Text, pages 197-228. PLUS-University of Pisa, 2002. | PDF |
| 1998 | E. Bertino, B. Catania, V. Gervasi, and A. Raffaetą. | Active-U-Datalog: Integrating active rules in a logical update language. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transaction and change in logic databases: invited surveys and selected papers, number 1472 in Lecture Notes in Computer Science, pages 107-133. Springer-Verlag, Berlin, 1998. | PDF ABSTR |
| Proceedings | |||
| 2022 | V. Gervasi and A. Vogelsang, editors. | Requirements Engineering: Foundation for Software Quality, number 13216 in LNCS, Birmingham, UK, March 2022. Springer-Verlag. | |
| 2020 | M. Sabetzadeh, A. Vogelsang, S. Abualhaija, M. Borg, F. Dalpiaz, M. Daneva, N. Fernandez, X. Franch, D. Fucci, V. Gervasi, E. Groen, R. Guizzardi, A. Herrmann, J. Horkoff, L. Mich, A. Perini, and A. Susi, editors. | Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track (REFSQ-JP 2020), number 2584. CEUR-WS, Mar. 2020. | |
| 2015 | D. Zowghi, V. Gervasi, and D. Amyot, editors. | Proceedings of the 2015 IEEE 23rd International Requirements Engineering Conference (RE), Ottawa, ON, Canada, Aug. 2015. IEEE CS Press. | |
| 2011 | B. Berenbach, M. Daneva, J. Doerr, S. Fricker, V. Gervasi, M. Glinz, A. Herrmann, B. Krams, N. H. Madhavji, B. Paech, S. Schockert, and N. Seyff, editors. | 17th International Conference on Requirements Engingeering: Foundation for Software Quality (REFSQ'11) - Proceedings of the Workshops, Doctoral Symposium and Empirical Track, Essen, Germany, Aug. 2011. Institut fur Informatik und Wirtschaftsinformatik, Universitaet Duisburg-Essen. | |
| 2006 | V. Gervasi, P. Sawyer, and B. Paech, editors. | Proceedings of the Twelfth International Working Conference on Requirements Engineering: Foundation for Software Quality, Luxembourg, Grand-Duchy of Luxembourg, June 2006. Essener Informatik Beitrage. | |
| 2005 | A. Sutcliffe, A. Hickey, and V. Gervasi, editors. | Proceedings of the Third International Workshop on Comparative Evaluation in Requirements Engineering (CERE'05), Paris, France, 2005. FIT-UTS. | |
| V. Gervasi, D. Zowghi, and S. E. Sim, editors. | Proceedings of the Second International Workshop on Comparative Evaluation in Requirements Engineering (CERE'04), Kyoto, Japan, 2005. FIT-UTS. | ||
| E. Kamsties, V. Gervasi, and P. Sawyer, editors. | Proceedings of the Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, Porto, Portugal, June 2005. Essener Informatik Beitrage. | ||
| 2004 | V. Gervasi, D. Zowghi, S. Easterbrook, and S. E. Sim, editors. | Proceedings of the First International Workshop on Comparative Evaluation in Requirements Engineering (CERE'03), Monterey Bay, California, US, 2004. FIT-UTS. | |
| B. Regnell, E. Kamsties, and V. Gervasi, editors. | Proceedings of the Tenth Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality, Riga, Latvia, June 2004. Essener Informatik Beitrage. | ||
| InProceedings | |||
| 2025 | L. Simone, M. G. Camporeale, V. M. Rubino, V. Gervasi, and G. Dimauro. | Interpretable early detection of Parkinson's disease through speech analysis. In R. Bellazzi, J. M. Juarez Herrero, L. Sacchi, and B. Zupan, editors, Artificial Intelligence in Medicine, pages 373-378, Cham, 2025. Springer Nature Switzerland. | |
| E. Casassa, V. Gervasi, V. Messina, F. D. Carlo, A. Natali, and W. Salvatore. | Data-driven approaches for predicting bridge defectiveness: A machine learning-based assessment of structural and contextual factors. In A. Cunha and E. Caetano, editors, Experimental Vibration Analysis for Civil Engineering Structures (EVACESS 2025), LNCE, Porto, Portugal, July 2025. Springer. | ||
| 2024 | L. Simone, D. Bacciu, and V. Gervasi. | Quasi-Orthogonal ECG-Frank XYZ Transformation with Energy-based models and clinical text. In Proc. of the 22nd International Conference on AI in Medicine (AIME2024), Salt Lake City, Utah, USA, July 2024. | ABSTR |
| Q. Motger, X. Franch, V. Gervasi, and J. Marco. | Unveiling competition dynamics in mobile app markets through user reviews. In Proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2024), Witherthur, Switzerland, Apr. 2024. | ||
| E. Boerger and V. Gervasi. | A lean reflective abstract state machine definition. In E. Riccobene and M. Leuschel, editors, Proc. of the 10th International Conference on Rigorous State-Based Methods (ABZ2024), June 2024. | ||
| M. Daneva, V. Gervasi, A. Marchetto, D. Fucci, S. Ghaisas, and E. Knauss. | Welcome to the 9th international workshop on empirical requirements engineering (EmpiRE 2024). In 2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW), Los Alamitos, CA, USA, jun 2024. IEEE Computer Society. | ||
| M. Bano, D. Zowghi, and V. Gervasi. | A vision for operationalising diversity and inclusion in AI. In Proc. of the 2nd International ICSE Workshop on Responsible AI Engineering (RAIE'24), Lisbon, Apr. 2024. | ABSTR | |
| 2023 | E. Vignali, L. Miglior, E. Gasparotti, A. Ceni, C. Zirafa, D. Haxhlademi, L. Frediani, F. Melfi, S. Berti, V. Gervasi, and S. Celi. | An application for remote respiratory patterns detection in post-surgery patients. In Proceedings of the 28th Congress of the European Society of Biomechanics, Maastricht, The Netherlands, July 2023. | ABSTR |
| L. Simone, M. G. Camporeale, N. Lomonte, G. Dimauro, and V. Gervasi. | An efficient deep learning approach for arrhythmia classification using 3D temporal SVCG. In Proceedings of the IEEE International Conference on Digital Health, Chicago, IL, USA, July 2023. | ||
| A. Marchetto, V. Gervasi, and M. Daneva. | Welcome to the 8th international workshop on empirical requirements engineering (EmpiRE 2023). In 2023 IEEE 31st International Requirements Engineering Conference Workshops (REW), pages 136-137, Los Alamitos, CA, USA, sep 2023. IEEE Computer Society. | ||
| 2022 | V. Gervasi and A. Vogelsang. | Preface to the REFSQ 2022 proceedings. Number 13216 in LNCS, pages v-vii, Birmingham, UK, March 2022. Springer-Verlag. | |
| 2020 | M. Daneva and V. Gervasi. | Preface: REFSQ 2020 doctoral symposium. In Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track (REFSQ-JP 2020), number 2584. CEUR-WS, Mar. 2020. | |
| 2019 | Z. Shakeri, V. Gervasi, D. Zowghi, and B. Far. | Supporting analysts by dynamic extraction and classification of requirements-related knowledge. In Proceedings of ICSE 2019, Montreal, Quebec, Canada, May 2019. | |
| 2018 | Z. Shakeri, M. Rahman, A. Cheema, V. Gervasi, D. Zowghi, and K. Barker. | Dynamic visual analytics for elicitation meetings with ELICA. In Proceedings of RE'18, Banff, Alberta, Canada, Aug. 2018. | |
| Z. Shakeri, V. Gervasi, D. Zowghi, and K. Barker. | ELICA: An automated tool for dynamic extraction of requirements relevant information. In Proceedings of AIRE'18, Banff, Alberta, Canada, Aug. 2018. | ||
| 2015 | M. Bano, A. Ferrari, D. Zowghi, V. Gervasi, and S. Gnesi. | Automated service selection using natural language processing. In Proceedings of the Second Asia Pacific Requirements Engineering Symposium, Wuhan, China, Oct. 2015. | |
| 2014 | V. Gervasi and D. Zowghi. | Supporting traceability through affinity mining. In Proceedings of the 22nd IEEE International Requirements Engineering Conference (RE), pages 143-152, Karlskrona, Sweden, Aug. 2014. IEEE CS Press. | PDF ABSTR |
| V. Gervasi, G. Prencipe, and V. Volpi. | Zombie swarms: An investigation on the behaviour of your undead relatives. In Proceedings of the Seventh International Conference on Fun with Algorithms, volume 8496 of Lecture Notes in Computer Science, pages 206-217, Lipari island, Italy, July 2014. | ||
| 2013 | A. Cisternino and V. Gervasi. | La gara nazionale di programmazione della Macchina di Turing. In G. A. Cignoni and F. Gadducci, editors, La CEP prima della CEP: storia dell'informatica - Atti del convegno, pages 111-118. Edizioni PLUS, Nov. 2013. (in Italian). | |
| D. Mairiza, D. Zowghi, and V. Gervasi. | Conflict characterization and analysis of non functional requirements: An experimental approach. In Proceedings of the 12th International Conference on Intelligent Software Methodologies, Tools and Techniques, Budapest, Hungary, Sept. 2013. IEEE CS Press. | PDF | |
| 2012 | H. Yang, A. D. Roeck, V. Gervasi, A. Willis, and B. Niseibeh. | Speculative requirements: Automatic detection of uncertainty in natural language requirements. In Proceedings of the 20th IEEE International Requirements Engineering Conference, Chicago, IL, USA, Sept. 2012. IEEE CS Press. | |
| G. Baldi, D. Mazzei, V. Gervasi, and F. Forfori. | Toolkit for wearable electrical impedance tomography (TWEIT): a software library for real-time image reconstruction on mobile devices. In Proceedings of the 26th International Congress on Computer-Assisted Radiology, June 2012. | ||
| E. Boerger, A. Cisternino, and V. Gervasi. | Contribution to a rigorous analysis of web applications frameworks. In Proceedings of ABZ 2012, LNCS. Springer-Verlag, June 2012. | ||
| V. Gervasi. | An ASM model of concurrency in a web browser. In Proceedings of ABZ 2012, number 7316 in LNCS, pages 79-93. Springer-Verlag, June 2012. | ||
| 2011 | V. Gervasi and B. Paech. | Report on the first REFSQ doctoral symposium. In 17th International Conference on Requirements Engingeering: Foundation for Software Quality (REFSQ'11) - Proceedings of the Workshops, Doctoral Symposium and Empirical Track. paluno, University of Duisburg-Essen, 2011. | |
| P. Sawyer, V. Gervasi, and B. Nuseibeh. | Unknown knowns: Tacit knowledge in requirements engineeringig. In Proceedings of the 19th IEEE International Requirements Engineering Conference, Trento, Italy, Aug. 2011. IEEE CS Press. (Panel abstract). | ||
| V. Gervasi and D. Zowghi. | Mining requirements links. In Proceedings of the 17th International Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, 2011. Springer-Verlag. | ||
| 2010 | C. Dittamo, V. Gervasi, E. Boerger, and A. Cisternino. | A formal specification of the semantics of ECMAScript. In Proceedings of the 3rd International Conference on Verified Software: Theories, Tools and Experiments, Edimburgh, UK, 2010. (abstract). | |
| V. Gervasi. | Who framed Roger User? Problem frames as a user interaction design tool. In Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, Australia, 2010. | ||
| H. Yang, A. Deroeck, V. Gervasi, A. Willis, and B. Nuseibeh. | Extending nocuous ambiguity analysis for anaphora in natural language requirements. In Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, Australia, 2010. | ||
| R. Gacitua, P. Sawyer, and V. Gervasi. | On the effectiviness of abstraction identification in requirements engineering. In Proceedings of the 18th IEEE International Requirements Engineering Conference, Sydney, Australia, 2010. | ||
| V. Gervasi and D. Zowghi. | On the role of ambiguity in RE. In Proceedings of the 16th International Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, 2010. Springer-Verlag. | ||
| 2009 | G. A. Galilei and V. Gervasi. | Enforcing consumer-specified security properties for modular software. In Proceedings of the International Symposium on Engineering Secure Software and System (ESSoS-10), 2009. | |
| 2008 | V. Gervasi and D. Mazzei. | Using abstract state machines in modeling biological systems. In R. Burattini, R. Contro, P. Dario, and L. Landini, editors, Atti del Congresso Nazionale di Bioingegneria 2008, pages 79-80, Pisa, Italy, July 2008. Patron editore. | |
| 2007 | S. Boyd, D. Zowghi, and V. Gervasi. | Optimal-constraint lexicons for requirements specifications. In Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, Trondheim, Norway, June 2007. Springer-Verlag. | PDF ABSTR |
| 2006 | R. Farahbod, V. Gervasi, U. Glaesser, and M. Memon. | Design exploration and experimental validation of abstract requirements. In Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality, Luxembourg, Grand-Duchy of Luxembourg, June 2006. Essener Informatik Beitrage. | PDF ABSTR |
| 2005 | A. Cisternino and V. Gervasi. | Meta-programming without quasi-quotation. In Proceedings of the 2nd MetaOCaml Workshop, Tallin, Estonia, Sept. 2005. | |
| A. Cisternino and V. Gervasi. | A runtime for multi-stage programming. In Proceedings of the 2nd MetaOCaml Workshop, Tallin, Estonia, Sept. 2005. | ||
| L. Spinsanti, F. Giannotti, F. Varanini, D. Pedreschi, V. Gervasi, S. Ruggieri, and A. Cisternino. | CRETA: un sistema di produzione di percorsi di simulazione per l'apprendimento. In Atti di Expo e-Learning 2005, Ferrara, Italy, Oct. 2005. (in Italian). | PDF | |
| R. Farahbod, V. Gervasi, and U. Glaesser. | CoreASM: An extensible ASM execution engine. In Proc. of the 12th International Workshop on Abstract State Machines, pages 153-166, Paris, Mar. 2005. | PS ABSTR | |
| 2004 | J. Natt och Dag, V. Gervasi, S. Brinkkemper, and B. Regnell. | Speeding up requirements management in a product software company: Linking customer wishes to product requirements through linguistic engineering. In Proc. of the 12th IEEE International Requirements Engineering Conference, Kyoto, Japan, Sept. 2004. | PDF ABSTR |
| V. Gervasi and G. Prencipe. | On the efficient capture of dangerous criminals. In Proc. of the 3rd International Conference on Fun With Algorithms, Island of Elba, Italy, May 2004. | PDF | |
| V. Ambriola, L. Del Carlo, and V. Gervasi. | Eclipse as a requirements engineering environment. In Proc. of the ICSE Workshop on Directions in Software Engineering Environments, Edinburgh, Scotland, UK, May 2004. | PDF ABSTR | |
| V. Gervasi, E. Kamsties, B. Regnell, and C. Salinesi. | Ten years of REFSQ: A quantitative analysis. In Proc. of the 10th Anniversary International Workshop on Requirements Engineering: Foundation for Software Quality, pages 267-284, Riga, Latvia, June 2004. | PDF ABSTR | |
| 2003 | V. Gervasi and G. Prencipe. | Robotic cops: The intruder problem. In Proc. of the 2003 IEEE International Conference on Systems, Man, and Cybernetics, pages 2284-2289, Washington, DC, USA, Oct. 2003. | PDF ABSTR |
| 2002 | G. Prencipe and V. Gervasi. | On the intelligent behaviour of stupid robots. In Proc. of the AI*IA Workshop on Robotics (GLR), Siena, Italy, Sept. 2002. | PS |
| D. Zowghi and V. Gervasi. | The 3Cs of requirements: Consistency, completeness, and correctness. In C. Salinesi, B. Regnell, and K. Pohl, editors, Proc. of the 8th International Workshop on Requirements Engineering: Foundation for Software Quality, pages 155-164. Essener Informatik Beitrage, Sept. 2002. | PDF ABSTR | |
| 2001 | V. Gervasi and V. Ambriola. | The Cico domain-based parser. In Atti del Convegno Nazionale ``Agenti Intelligenti: Interazione e acquisizione della conoscenza'', Milan, Italy, Jan. 2001. | |
| V. Gervasi and G. Prencipe. | Need a Fleet? Use the Force! In Proc. of the 2nd International Conference on Fun With Algorithms, May 2001. | PS | |
| D. Zowghi, V. Gervasi, and A. McRae. | Using default reasoning to discover inconsistencies in natural language requirements. In Proc. of the 8th Asia-Pacific Software Engineering Conference, pages 133-140, Dec. 2001. | PS ABSTR | |
| D. Zowghi and V. Gervasi. | Why is RE for web-based software development easier? In Proc. of the 7th International Workshop on Requirements Engineering: Foundation for Software Quality, pages 215-220, June 2001. | PS ABSTR | |
| V. Gervasi. | Synthesizing ASMs from natural language requirements. In Proc. of the 8th EUROCAST Workshop on Abstract State Machines, pages 212-215, February 2001. | PS | |
| V. Ambriola and V. Gervasi. | On the parallel refinement of NL requirements and UML diagrams. In Proc. of the ETAPS 2001 Workshop on Trasformations in UML, Genova, Italy, April 2001. | PS | |
| 2000 | V. Ambriola and V. Gervasi. | Process metrics for requirements analysis. In Proc. of the 7th European Workshop on Software Process Technology, pages 90-95, February 2000. | PS ABSTR |
| V. Gervasi and B. Nuseibeh. | Lightweight validation of natural language requirements: a case study. In Proc. of the 4th International Conference on Requirements Engineering, pages 140-148, June 2000. | PS ABSTR | |
| V. Ambriola and V. Gervasi. | Supporting multiple views on requirements. In Proc. of the 6th Maghrebian Conference on Computer Sciences, pages 321-330, November 2000. | PS ABSTR | |
| 1999 | V. Ambriola and V. Gervasi. | Experiences with domain-based parsing of natural language requirements. In G. Fliedl and H. C. Mayr, editors, Proc. of the 4th International Conference on Applications of Natural Language to Information Systems, number 129 in OCG Schriftenreihe (Lecture Notes), pages 145-148, June 1999. | PS |
| 1998 | V. Ambriola and V. Gervasi. | Representing structural requirements in software architecture. In R. Nigel Horspool, editor, Proc. of the International IFIP Conference on Systems Implementation 2000: Languages, Methods and Tools, pages 114-127, London, UK, February 1998. Chapman & Hall. | PS ABSTR |
| F. Fabbrini, M. Fusani, V. Gervasi, S. Gnesi, and S. Ruggieri. | Achieving quality in natural language requirements. In Proc. of the 11th International Software Quality Week, May 1998. | PS ABSTR | |
| V. Ambriola and V. Gervasi. | The case for cooperative requirements writing. In S. Demeyer and J. Bosch, editors, Proc. of the ECOOP Workshop on Automating the OO Software Development Process, number 1543 in Lecture Notes in Computer Science, pages 477-479, July 1998. | PS ABSTR | |
| F. Fabbrini, M. Fusani, V. Gervasi, S. Gnesi, and S. Ruggieri. | On linguistic quality of natural language requirements. In E. Dubois, A. L. Opdahl, and K. Pohl, editors, Proc. of the 4th Workshop on Requirements Engineering: Foundations for Software Quality, pages 57-62. Presses Universitaires de Namur, June 1998. | PS ABSTR | |
| 1997 | V. Ambriola and V. Gervasi. | An environment for cooperative construction of natural-language requirements bases. In Proc. of the 8th International Conference on Software Engineering Environments, pages 124-130, Los Alamitos, April 1997. IEEE Computer Society Press. | PS |
| V. Gervasi and A. Raffaetą. | Integrating active rules in U-Datalog. In M. Falaschi, M. Navarro, and A. Policriti, editors, Proc. of the APPIA-GULP-PRODE joint conference, pages 117-128, 1997. | PS ABSTR | |
| V. Ambriola and V. Gervasi. | Processing natural language requirements. In Proc. of the 12th International Conference on Automated Software Engineering, pages 36-45, Los Alamitos, November 1997. IEEE Computer Society Press. | PS | |
| 1994 | V. Ambriola, R. Di Meglio, V. Gervasi, and B. Mercurio. | Applying a metric framework to the software process: an experiment. In B. C. Warboys, editor, Proc. of the 3rd European Workshop on Software Process Technology, number 772 in Lecture Notes in Computer Science, pages 207-226, 1994. | ABSTR |
| PhDThesis | |||
| 2000 | V. Gervasi. | Environment Support for Requirements Writing and Analysis. PhD thesis, University of Pisa, March 2000. | PS ABSTR |
| TechReport | |||
| 2005 | R. Farahbod, V. Gervasi, and U. Glaesser. | Design and specification of the CoreASM execution engine. Technical Report SFU-CMPT-TR-2005-02, Simon Fraser University, Vancouver, BC, Feb. 2005. | |
| 2003 | E. Boerger, G. Fruja, V. Gervasi, and R. F. Staerk. | A high-level modular definition of the semantics of C#. Technical report, University of Pisa and ETH Zurich, 2003. | PDF ABSTR |
| V. Ambriola and V. Gervasi. | The Circe approach to the systematic analysis of NL requirements. Technical Report TR-03-05, University of Pisa, Dipartimento di Informatica, Mar. 2003. | PS ABSTR | |
| 2001 | V. Gervasi. | The Cico domain-based parser. Technical Report TR-01-25, University of Pisa, Dipartimento di Informatica, November 2001. | PS ABSTR |
| V. Gervasi and G. Prencipe. | Flocking by a set of autonomous mobile robots. Technical Report TR-01-24, University of Pisa, Dipartimento di Informatica, October 2001. | PS | |
| 1997 | V. Gervasi and A. Raffaetą. | Active-U-Datalog: integrating active rules in a deductive database. Technical Report TR-97-19, University of Pisa, Dipartimento di Informatica, July 1997. | PS ABSTR |
| MastersThesis | |||
| 1993 | V. Gervasi and B. Mercurio. | Observing and measuring the software development process. Master's thesis, University of Pisa, Pisa, Italy, December 1993. (in Italian). | PS |
| Misc | |||
| 2023 | M. Bano, D. Zowghi, V. Gervasi, and R. Shams. | AI for all: Operationalising diversity and inclusion requirements for AI systems, 2023. | |
| L. Simone, L. Miglior, V. Gervasi, L. Moroni, E. Vignali, E. Gasparotti, and S. Celi. | Early screening of cardiorespiratory diseases through smartphone IMU sensors and bidirectional LSTM. Available at SSRN: https://ssrn.com/abstract=4676194 or http://dx.doi.org/10.2139/ssrn.4676194, Dec. 2023. | ||
| 2004 | V. Gervasi, S. Pelagatti, S. Ruggieri, and F. Scozzari. | Programmazione di sistema in linguaggio C, Feb. 2004. C and UNIX system programming course (in Italian). | |
| 2000 | V. Gervasi. | La costruzione razionale di una specifica di requisiti: il caso mu-SMA, Febbraio 2000. Software engineering laboratory course (in Italian). | PS |
| 1997 | V. Gervasi and P. Manghi. | La realizzazione di un sistema informativo: un caso di studio, Settembre 1997. Database laboratory course (in Italian). | PS |