Vincenzo Gervasi
Orcid: 0000-0002-8567-9328
According to our database1,
Vincenzo Gervasi
authored at least 76 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM SIGSOFT Softw. Eng. Notes, January, 2024
On the effectiveness of smartphone IMU sensors and Deep Learning in the detection of cardiorespiratory conditions.
CoRR, 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
Welcome to the 9th International Workshop on Empirical Requirements Engineering (EmpiRE 2024).
Proceedings of the 32nd IEEE International Requirements Engineering Conference, 2024
Proceedings of the 2nd International Workshop on Responsible AI Engineering, 2024
Quasi-Orthogonal ECG-Frank XYZ Transformation with Energy-Based Models and Clinical Text.
Proceedings of the Artificial Intelligence in Medicine - 22nd International Conference, 2024
Springer, ISBN: 978-3-031-54357-9, 2024
2023
Inf. Softw. Technol., 2023
CoRR, 2023
Welcome to the 8th International Workshop on Empirical Requirements Engineering (EmpiRE 2023).
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
An Efficient Deep Learning Approach for Arrhythmia Classification using 3D Temporal SVCG.
Proceedings of the IEEE International Conference on Digital Health, 2023
2020
Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020
2019
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019
Supporting analysts by dynamic extraction and classification of requirements-related knowledge.
Proceedings of the 41st International Conference on Software Engineering, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
ELICA: An Automated Tool for Dynamic Extraction of Requirements Relevant Information.
Proceedings of the 5th International Workshop on Artificial Intelligence for Requirements Engineering, 2018
2017
2016
Requir. Eng., 2016
Proceedings of the 8th International Conference on Fun with Algorithms, 2016
2015
Proceedings of the Requirements Engineering in the Big Data Era, 2015
2014
Sci. Comput. Program., 2014
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014
Proceedings of the Fun with Algorithms - 7th International Conference, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
Utilizing TOPSIS: A Multi Criteria Decision Analysis Technique for Non-Functional Requirements Conflicts.
Proceedings of the Requirements Engineering, 2014
2013
Conflict characterization and Analysis of Non Functional Requirements: An experimental approach.
Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013
Proceedings of the Managing Requirements Knowledge., 2013
2012
Speculative requirements: Automatic detection of uncertainty in natural language requirements.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012
2011
Requir. Eng., 2011
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2011
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011
2010
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010
Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010
2009
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009
Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009
2008
2007
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2007
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007
2006
Autom. Softw. Eng., 2006
2005
ACM Trans. Softw. Eng. Methodol., 2005
IEEE Softw., 2005
Guest editorial: 10th anniversary workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'2004).
Requir. Eng., 2005
Editorial.
Comput. Syst. Sci. Eng., 2005
2004
Report on the First International Workshop on Comparative Evaluation in Requirements Engineering.
ACM SIGSOFT Softw. Eng. Notes, 2004
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution".
Inf. Softw. Technol., 2004
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009].
Inf. Softw. Technol., 2004
Discret. Appl. Math., 2004
Speeding up Requirements Management in a Product Software Company: Linking Customer Wishes to Product Requirements through Linguistic Engineering.
Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE 2004), 2004
2003
On the interplay between consistency, completeness, and correctness in requirements evolution.
Inf. Softw. Technol., 2003
Proceedings of the IEEE International Conference on Systems, 2003
2002
2001
Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements.
Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001
2000
Proceedings of the 4th International Conference on Requirements Engineering, 2000
Proceedings of the Software Process Technology, 7th European Workshop, 2000
1998
On Linguistic Quality of Natural Language Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 1998
Representing structural requirements in software architecture.
Proceedings of the Systems Implementation 2000, 1998
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
Proceedings of the Transactions and Change in Logic Databases, 1998
1997
Proceedings of the 8th Conference on Software Engineering Environments, 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
Integrating Active Rules in U-Datalog.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1994
Proceedings of the Software Process Technology, Third European Workshop, 1994