Researchers
- bio
Paolo Nesi is currently Professor at the University of Florence.
Since November 1991 he is with the Department of Systems and Informatics of the University of Florence, Italy. He has received the degree in Electronic Engineering from the University of Florence, Italy, in 1987.
In 1987/88 he has been a consultant for several firms. In 1988/89, he covered the role of Professor in high-level school.
In 1990 received a grant by IBM for researching in the field of multiprocessor-based controls for robots.
In 1991 he was a visitor at the IBM Almaden Research Center, CA, USA.
In 1992, he received the Ph.D. degree in Electronic and Informatics Engineering from the University of Padoa, Italy.
From 1992-98 was Researcher and Assistant Professor of both "Computer Science'" and "Software Engineering'" at the University of Florence. From 1995-98 he has been Assigned Professor of "Fondamenti di Informatica". (programme in Italian) at the University of Florence.
In 1996-97 he has been Assigned Professor of "Fondamenti di Informatica 2" for temporary substituting Prof. G. Soda.
In the second turn of 1999, he received the abilitation at Full Professor.
He is active in several research topics: object oriented technology, formal methods, management, metrics, music, distributed systems, assessment, temporal logic, real-time, testing, motion analysis, computer vision, pattern recognition, cavitation, defect detection, music notation, reengineering, maintenance, analysis and design, methodology, development life-cycle. Nesi is and has been chair, and pc member of several international conferences.
He is also the Scientific Responsible of Object-Oriented and HPCN Technologies for CESVIT (Agency for the Technology Transfer in the Florentine area, Italy), and responsible at DSI of the HPCN area. He is and has been involved in several ESPRIT HPCN, and IST projects. Nesi is a member of IEEE, ACM, IAPR, AIIA, ICMA, and fundation member of TABOO.
Past Activities and Conferences:
Nesi has been (for currently open activities see next section):
* General Chair of IEEE International Conference on Software Maintenance, ICSM'2001, 2001 Florence, Italy.
* General Chair of the International Conference on Web Delivering of Music, Florence, WEDELMUSIC2001, IEEE Pressed, Italy.
* Organizing Member of the 7th IEEE Workshop on Empirical Studies of Software Maintenance, http://serg.ing.unisannio.it/~wess2001/ 2001 Florence, Italy.
* Program co-Chair of CSMR'99, 3rd EUROMICRO Conference on Software Maintenance and Reengineering held in Amsterdam, The Netherlands, 1999. Sponsored by Euromicro, TechForce/COSMOS Group, CWI, ID Research, Mass Maintenance, TriLoc Software Engineering Europe BV, University of Amsterdam.
* Program Chair of CSMR'98, 2nd EUROMICRO Conference On Software Maintenance and Reengineering held in Florence, 1998. Sponsored by Euromicro, Reegineering Forum, IEEE Computer Society, Task Force on Information Technology, Technical Council on Software Engineering.
* General Chairman Objective Quality 1995 International Symposium on Software Quality Techniques and Acquisition Criteria which held in Florence, 1995, proceedings in LNCS N.926, Springer Verlag.
* General organizer of meeting "Tecnologie ad Oggetti per l'Industria", (Object-Oriented Technology for the Industry), of the Italian association on Object-Oriented, TABOO, with the support of Infomedia, Palazzo degli Affari, Firenze, 1997(meeting location). With sponsors: CESVIT, IBM, Sligos, Software Products Italia; and patroned by: Agape, EDOR Metodi Qantitativi, Mondadori, etc.
He is and has been in the following steering committees:
* 2000 - Chair of Steering Committee of WEB Delivering of Music Conference
* 2000 - Vice Chair of IEEE Technical Committee on Complex Computer Systems. Click here for conference and committee history.
* 2000 - Member of the Stering Committee of the IEEE International Conference on Complex Computer Systems, 2000.
* 1994 to 2000, the Scientific Responsible of Object-Oriented and HPCN Technologies for CESVIT (Agency for the Technology Transfer in the Florentine area, Italy. Click hear to go to HPCN page -- (Presentation with SLIDEs). In this regard, he hes been involved in several ESPRIT HPCN projects: MOODS, ICCOC, MUPAAC and IMEASY and other kinds of projects, see Projects
* 1998-2000 - Member of the Steering Committee of the CSMR, Conference On Software Maintenance and Reengineering. together with Lutz Richter (Chair), Franz Lehner, Harry Sneed, Elliot Chikofsky, and Chris Verhoef.
* 1994-1999 - Member of the Scientific Committee of the Italian association on Object-Oriented Technologies, TABOO (Tecnologie Avanzate Basate sul paradigma Orientato agli Oggetti).
* 1994-1997 - Member of the Scientific Committee of the Image Science and Technology Research Center at the University of Florence.
He served IEEE ICECCS, IEEE ICSM, IEEE METRICS, CSMR, AQUIS, SPIE, JRTI, etc., as:
* Guest Editor of a Special Issue on Real Time Motion Analysis, Journal of Real-Time Imaging, Academic Press, 1997/98.
* Member of the Program Committee of AQUIS96, the 3rd International Conference on Achieving Quality in Software, 1996.
* Member of the Program Committee of Workshop ``Quantitative Methods for Object-Oriented System Development -- Ongoing Research and Results Achieved'' of European Conference on Object-Oriented Programming, ECOOP'95, Aarhust, Daminarca, 1995.
* Member of the Program Committee of Conference ``EI96 Real-Time Imaging'' held with IS&T/SPIE 1996 International Symposium on Electronic Imaging Science & Technology'', San Francisco, USA, 1996.
* Member of the Program Committee of ICECCS'96, the 2nd IEEE International Conference on Engineering of Complex Computer Systems, held jointly with 6th CSESAW, 4th IEEE RTAW, Montreal, Quebec, Canada, 1996.
* Member of the Program Committee of CSMR'97, First EUROMICRO Working Conference On Software Maintenance and Reengineering, Berlin, Germany, 1997.
* Member of the Program Committee of ICECCS'97, the 3rd IEEE International Conference on Engineering of Complex Computer Systems, held jointly with 5th IEEE RTAW, Como, Italy, 1997.
* Member of the Program Committee of REF'98 , the 6th Reengineering Forum, held in Florence, jointly with the 2nd EUROMICRO Conference On Software Maintenance and Reengineering, 1998.
* Member of the Program Committee of ICECCS'98, of the 4th IEEE International Conference on Engineering of Complex Computer Systems, Monterey, California, USA, 1998.
* Guest co-Editor with Prof. M. Trucco of a Special Issue on Real-Time Detection of Texture Defects, Journal of Real-Time Imaging, Academic Press.
* Member of the Program Committee of Conference on Polarization and Colour in Industrial Inspection, of the Inter-Society, International Symposiium on Industrial Inspection, which will be held in Munich, 1999. Organized by EUROPTO: a joint venture between the EOS - The European Optical Society and SPIE - The International Society for Optical Engineering founded in 1991 to ensure international collaboration organising optics and optoelectronics events in Europe.
* Member of the Program Committee of 6th IEEE international Symposium on Software metrics (METRICS), 1999 Palm Beach, Florida, USA. 1999, Co-located with IEEE International Symposium on Software Reliability Engineering ISSRE '99)
* Member of the Program Committee of ICECCS'99, the 5th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA...ICECCS main WEB page: http://www2.elet.polimi.it/people/baresi/ICECCS99/
* Member of the Program Committee of IEEE International Conference on Software Maintenance, ICSM'99, 1999 in Oxford, England, http://www.cms.dmu.ac.uk/ICSM99
* Member of the Program Committee of 4th CONFERENCE on SOFTWARE MAINTENANCE AND REENGINEERING, University of Zuerich, Zuerich, Switzerland - 2000
* Member of the Program Committee of 2nd International Conference on Product Focused Software Process Improvement, Oulu, Finland, 2000 (at Midsummer Night), 2000
* Member of the Program Committee of ICECCS2000, the 6th IEEE International Conference on Engineering of Complex Computer Systems, Boissonade Tower, Ichigaya Campus, Hosei University, Tokyo (Japan), 2000.
* Member of the Program Committee of IEEE International Conference on Software Maintenance, ICSM2000, ICSM '2000 SV, Doubletree Hotel, San Jose, California, USA, 2000.
* Member of the Program Committee of Conference "Real-Time Imaging V (EI13)" which will be held with IS&T/SPIE 2001, 13th International Symposium on Electronic Imaging 2001: Science & Technology'', San Jose, CA, USA, 2001. www.spie.org/info/ei/
* Member of the Program Committee of the 5th Conference on Software Maintenance and Reengineering, CSMR2001, Estoril Coast (Lisbon area), Portugal, 2001, http://www.esw.inesc.pt/csmr2001
* Member of the Program Committee of the 3rd International Conference on Product Focused Software Process Improvement, PROFES 2001, University premises in Kaiserslautern, Germany, 2001 http://www.ele.vtt.fi/profes2001/
* Member of the Program Committee of ICECCS2001, the 7th IEEE International Conference on Engineering of Complex Computer Systems, Skovde, Sweden, in the week of June 11, 2001. see also http://www.ise.gmu.edu/iceccs2001/
* Member of the Program Committe of SEKE2002, the International Conference on Software Engineering and Knowledge Engineering, 2002, Ischia, Italy
* Member of the Program Committee of ICSM2002, the IEEE International Conference on Software Maintenance, Montreal, Canada, 2002, http://www.icsm2002.org
* Member of the Program Committee of 7th European Conference on SoftwareQuality (ECSQ-2002) Marina Congress Center, Helsinki, Finland, www.qualityconnection.org
* Member of the Program Committee of Conference ``Real-Time Imaging V (EI12)'' which will be held with IS&T/SPIE 2002, 14th International Symposium on Electronic Imaging 2002: Science & Technology'', San Jose, CA, USA, 2002. www.spie.org/info/ei/
* Member of the Program Committee of the 6th Conference on Software Maintenance and Reengineering, CSMR2002, Budapest, 2002.
Current Activities and Conferences:
* Since 1994, he is a Member of the Editorial board of the Journal of Real-Time Imaging, Academic Press.
* Since 1996, he is a Member of the Editorial board of the CRC Press Book Serie on Image Processing.
* he is the "Software Engineering" area editor for the realization of technical Dictionary: "Computer Science, Engineering and Technology" of CRC Press, 1998-2000.
* Since 2002, chair of the Steering Committee of WEDELMUSIC Conference Serie http://www.wedelmusic.org, IEEE Press.
And in temporal order of their deadlines:
- He is a Member of the Program Committee of ICECCS2002, the 8th IEEE International Conference on Engineering of Complex Computer Systems, http://ise.gmu.edu/iceccs2002/, Greenbelt, Maryland, 2002, U.S.A.
- He is a Program Co-Chair of WEDELMUSIC2002, the International Conference on Web Delivering of Music, Darmstad, 2002, Germany
Member of the Program Committee of PROFES 2002, 4th International Conference on Product Focused Software Process Improvement, 2002, Rovaniemi (Arctic Circle), Finland, http://www.vtt.fi/ele/profes2002/
- He is a Member of the Program Committee of the ``IEEE International Conference on Software Engineering 2003'', ICSE 2003, Portland, Oregon, USA, at the Hilton Portland Hotel.
- Member of the Program Committee of the 7th Conference on Software Maintenance and Reengineering, CSMR2003, Benevento, 2003.
- Member of the Program Committe of SEKE2003, the International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, 2003, USA
- He is and has been involved in several ESPRIT, IST and other kinds of projects.
Research activity:
Since 1987 Nesi is active on several research topics, real-time systems, formal specification languages, software metrics, parallel architectures, physical models, image processing as demonstrated by his publications. In particular:
Software Engineering:
Management and reengineering
* Methodology for managing small/medium OO projects, see IEEE software, 1998
* C2O2: a tool for Object-Oriented reengineering of COBOL applications
CASE tools for Real-Time System Specification: TOOMS, TROL, TILCO, TILCOX, TOTS, ...
* TILCO: FOL language with temporal interval logic, sound and coplete, supported by the theorem prover Isabelle
* CTILCO: language Object-based model based on TILCO for the specification of communicating processes
* Formal: Verification and Validation Techniques, completeness and consistency criteria
* TOOMS CASE tool (based on TROL model)
* TROL: an object oriented formal language for the specification of real-time systems
Software Quality and System Assessment:
* Duplication of code and hirarchy analysis
* Maintenability analysis in C/C++ systems
* Duplication analysis
* Formal and Empirical Validation of Metrics
* Models for effort estimation and prediction
* Object-oriented metrics for effort estimation and prediction, for maintenance effort estimation and prediciton, for quality analysis
* TAC++: a TOOL and a metodology for assessing C/C++ large systems
* C++ Metrics
* TROL metrics
* software evolution metrics: versioning, fusion, etc.
* Fault proneness metrics
Software Testing:
* Generation of test vectors from external class description, used in TOOMS, TILCO and TROL
* XTMATE: a tool for non-intrusive testing
* LOOT: an object-oriented language for test specifications
Computer and music:
* WEDELMUSIC project about the integration of Multimedia and Music
* WEDELMUSC XML format: see WEDELMUSIC project
* Object Oriented modeling of music (see the above project MOODS)
* formalization of music as visual language (see the above projects MOODS and WEDELMUSIC)
* automatic justification of music, MILLA Format (see the above projects MOODS and WEDELMUSIC)
* automatic recognition of music from paper, OMR (see the above project OMR)
* Beat traking for Audio synchronisation with Music Scores, and image scores.
* Modeling multilingual lyric of music scores
* Music Tools for Managing Music in Archives, see WEDELMUSIC project
* Converting MIDI into WEDELMUSIC or MOODS formats and others
* Watermarking music scores
* Printing music scores in Postscript
* Converting FINALE scores into MOODS format
* Converting SCORE scores into WEDELMUSIC, this can be done by passing from SIBELIUS or FINALE
* Converting Sibelius into WEDELMUSIC, Finale Plug in see WEDELMUSIC project
* Converting FINALE into WEDELMUSIC, Finale Plug in see WEDELMUSIC project
* Converting WEDELMUSIC into Finale, Finale Plug in see WEDELMUSIC project
* Music education, e-learning. see IMUTUS in the list of projects.
* See also IMEASY project on audio spatialisation
Computer Vision:
Real Time Image Processing
* Measuring velocity of flow in Turbomachines
* Real-Time Detection of Cavitation for Turbomachines
* CHIP RETIMAC for real time motion analysis (ESPRIT MEPI OFCOMP DIM45)
* DSP based architectures
* Algorithms for the Connection Machine-2
* Real-Time Defect detection on Textstile Textures
* Telecontrol and Telemonitoring of Machine Tools
Motion Analysis (gradient based):
* Real Time motion estimation, theory, phisical model and algorithms
* Motion estimation of non-rigid objects
* Counting People by means of Optical Flow analsysis
* Optical Flow Constraint Analysis
* Optical Flow estimation
Motion Analysis (matching based):
* A Vision-Based 3D Mouse
* Head tracking, for video conferencing and actor animation
* Real Time motion estimation
* Tracking by means of dynamic contours
Since November 1991 he is with the Department of Systems and Informatics of the University of Florence, Italy. He has received the degree in Electronic Engineering from the University of Florence, Italy, in 1987.
In 1987/88 he has been a consultant for several firms. In 1988/89, he covered the role of Professor in high-level school.
In 1990 received a grant by IBM for researching in the field of multiprocessor-based controls for robots.
In 1991 he was a visitor at the IBM Almaden Research Center, CA, USA.
In 1992, he received the Ph.D. degree in Electronic and Informatics Engineering from the University of Padoa, Italy.
From 1992-98 was Researcher and Assistant Professor of both "Computer Science'" and "Software Engineering'" at the University of Florence. From 1995-98 he has been Assigned Professor of "Fondamenti di Informatica". (programme in Italian) at the University of Florence.
In 1996-97 he has been Assigned Professor of "Fondamenti di Informatica 2" for temporary substituting Prof. G. Soda.
In the second turn of 1999, he received the abilitation at Full Professor.
He is active in several research topics: object oriented technology, formal methods, management, metrics, music, distributed systems, assessment, temporal logic, real-time, testing, motion analysis, computer vision, pattern recognition, cavitation, defect detection, music notation, reengineering, maintenance, analysis and design, methodology, development life-cycle. Nesi is and has been chair, and pc member of several international conferences.
He is also the Scientific Responsible of Object-Oriented and HPCN Technologies for CESVIT (Agency for the Technology Transfer in the Florentine area, Italy), and responsible at DSI of the HPCN area. He is and has been involved in several ESPRIT HPCN, and IST projects. Nesi is a member of IEEE, ACM, IAPR, AIIA, ICMA, and fundation member of TABOO.
Past Activities and Conferences:
Nesi has been (for currently open activities see next section):
* General Chair of IEEE International Conference on Software Maintenance, ICSM'2001, 2001 Florence, Italy.
* General Chair of the International Conference on Web Delivering of Music, Florence, WEDELMUSIC2001, IEEE Pressed, Italy.
* Organizing Member of the 7th IEEE Workshop on Empirical Studies of Software Maintenance, http://serg.ing.unisannio.it/~wess2001/ 2001 Florence, Italy.
* Program co-Chair of CSMR'99, 3rd EUROMICRO Conference on Software Maintenance and Reengineering held in Amsterdam, The Netherlands, 1999. Sponsored by Euromicro, TechForce/COSMOS Group, CWI, ID Research, Mass Maintenance, TriLoc Software Engineering Europe BV, University of Amsterdam.
* Program Chair of CSMR'98, 2nd EUROMICRO Conference On Software Maintenance and Reengineering held in Florence, 1998. Sponsored by Euromicro, Reegineering Forum, IEEE Computer Society, Task Force on Information Technology, Technical Council on Software Engineering.
* General Chairman Objective Quality 1995 International Symposium on Software Quality Techniques and Acquisition Criteria which held in Florence, 1995, proceedings in LNCS N.926, Springer Verlag.
* General organizer of meeting "Tecnologie ad Oggetti per l'Industria", (Object-Oriented Technology for the Industry), of the Italian association on Object-Oriented, TABOO, with the support of Infomedia, Palazzo degli Affari, Firenze, 1997(meeting location). With sponsors: CESVIT, IBM, Sligos, Software Products Italia; and patroned by: Agape, EDOR Metodi Qantitativi, Mondadori, etc.
He is and has been in the following steering committees:
* 2000 - Chair of Steering Committee of WEB Delivering of Music Conference
* 2000 - Vice Chair of IEEE Technical Committee on Complex Computer Systems. Click here for conference and committee history.
* 2000 - Member of the Stering Committee of the IEEE International Conference on Complex Computer Systems, 2000.
* 1994 to 2000, the Scientific Responsible of Object-Oriented and HPCN Technologies for CESVIT (Agency for the Technology Transfer in the Florentine area, Italy. Click hear to go to HPCN page -- (Presentation with SLIDEs). In this regard, he hes been involved in several ESPRIT HPCN projects: MOODS, ICCOC, MUPAAC and IMEASY and other kinds of projects, see Projects
* 1998-2000 - Member of the Steering Committee of the CSMR, Conference On Software Maintenance and Reengineering. together with Lutz Richter (Chair), Franz Lehner, Harry Sneed, Elliot Chikofsky, and Chris Verhoef.
* 1994-1999 - Member of the Scientific Committee of the Italian association on Object-Oriented Technologies, TABOO (Tecnologie Avanzate Basate sul paradigma Orientato agli Oggetti).
* 1994-1997 - Member of the Scientific Committee of the Image Science and Technology Research Center at the University of Florence.
He served IEEE ICECCS, IEEE ICSM, IEEE METRICS, CSMR, AQUIS, SPIE, JRTI, etc., as:
* Guest Editor of a Special Issue on Real Time Motion Analysis, Journal of Real-Time Imaging, Academic Press, 1997/98.
* Member of the Program Committee of AQUIS96, the 3rd International Conference on Achieving Quality in Software, 1996.
* Member of the Program Committee of Workshop ``Quantitative Methods for Object-Oriented System Development -- Ongoing Research and Results Achieved'' of European Conference on Object-Oriented Programming, ECOOP'95, Aarhust, Daminarca, 1995.
* Member of the Program Committee of Conference ``EI96 Real-Time Imaging'' held with IS&T/SPIE 1996 International Symposium on Electronic Imaging Science & Technology'', San Francisco, USA, 1996.
* Member of the Program Committee of ICECCS'96, the 2nd IEEE International Conference on Engineering of Complex Computer Systems, held jointly with 6th CSESAW, 4th IEEE RTAW, Montreal, Quebec, Canada, 1996.
* Member of the Program Committee of CSMR'97, First EUROMICRO Working Conference On Software Maintenance and Reengineering, Berlin, Germany, 1997.
* Member of the Program Committee of ICECCS'97, the 3rd IEEE International Conference on Engineering of Complex Computer Systems, held jointly with 5th IEEE RTAW, Como, Italy, 1997.
* Member of the Program Committee of REF'98 , the 6th Reengineering Forum, held in Florence, jointly with the 2nd EUROMICRO Conference On Software Maintenance and Reengineering, 1998.
* Member of the Program Committee of ICECCS'98, of the 4th IEEE International Conference on Engineering of Complex Computer Systems, Monterey, California, USA, 1998.
* Guest co-Editor with Prof. M. Trucco of a Special Issue on Real-Time Detection of Texture Defects, Journal of Real-Time Imaging, Academic Press.
* Member of the Program Committee of Conference on Polarization and Colour in Industrial Inspection, of the Inter-Society, International Symposiium on Industrial Inspection, which will be held in Munich, 1999. Organized by EUROPTO: a joint venture between the EOS - The European Optical Society and SPIE - The International Society for Optical Engineering founded in 1991 to ensure international collaboration organising optics and optoelectronics events in Europe.
* Member of the Program Committee of 6th IEEE international Symposium on Software metrics (METRICS), 1999 Palm Beach, Florida, USA. 1999, Co-located with IEEE International Symposium on Software Reliability Engineering ISSRE '99)
* Member of the Program Committee of ICECCS'99, the 5th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA...ICECCS main WEB page: http://www2.elet.polimi.it/people/baresi/ICECCS99/
* Member of the Program Committee of IEEE International Conference on Software Maintenance, ICSM'99, 1999 in Oxford, England, http://www.cms.dmu.ac.uk/ICSM99
* Member of the Program Committee of 4th CONFERENCE on SOFTWARE MAINTENANCE AND REENGINEERING, University of Zuerich, Zuerich, Switzerland - 2000
* Member of the Program Committee of 2nd International Conference on Product Focused Software Process Improvement, Oulu, Finland, 2000 (at Midsummer Night), 2000
* Member of the Program Committee of ICECCS2000, the 6th IEEE International Conference on Engineering of Complex Computer Systems, Boissonade Tower, Ichigaya Campus, Hosei University, Tokyo (Japan), 2000.
* Member of the Program Committee of IEEE International Conference on Software Maintenance, ICSM2000, ICSM '2000 SV, Doubletree Hotel, San Jose, California, USA, 2000.
* Member of the Program Committee of Conference "Real-Time Imaging V (EI13)" which will be held with IS&T/SPIE 2001, 13th International Symposium on Electronic Imaging 2001: Science & Technology'', San Jose, CA, USA, 2001. www.spie.org/info/ei/
* Member of the Program Committee of the 5th Conference on Software Maintenance and Reengineering, CSMR2001, Estoril Coast (Lisbon area), Portugal, 2001, http://www.esw.inesc.pt/csmr2001
* Member of the Program Committee of the 3rd International Conference on Product Focused Software Process Improvement, PROFES 2001, University premises in Kaiserslautern, Germany, 2001 http://www.ele.vtt.fi/profes2001/
* Member of the Program Committee of ICECCS2001, the 7th IEEE International Conference on Engineering of Complex Computer Systems, Skovde, Sweden, in the week of June 11, 2001. see also http://www.ise.gmu.edu/iceccs2001/
* Member of the Program Committe of SEKE2002, the International Conference on Software Engineering and Knowledge Engineering, 2002, Ischia, Italy
* Member of the Program Committee of ICSM2002, the IEEE International Conference on Software Maintenance, Montreal, Canada, 2002, http://www.icsm2002.org
* Member of the Program Committee of 7th European Conference on SoftwareQuality (ECSQ-2002) Marina Congress Center, Helsinki, Finland, www.qualityconnection.org
* Member of the Program Committee of Conference ``Real-Time Imaging V (EI12)'' which will be held with IS&T/SPIE 2002, 14th International Symposium on Electronic Imaging 2002: Science & Technology'', San Jose, CA, USA, 2002. www.spie.org/info/ei/
* Member of the Program Committee of the 6th Conference on Software Maintenance and Reengineering, CSMR2002, Budapest, 2002.
Current Activities and Conferences:
* Since 1994, he is a Member of the Editorial board of the Journal of Real-Time Imaging, Academic Press.
* Since 1996, he is a Member of the Editorial board of the CRC Press Book Serie on Image Processing.
* he is the "Software Engineering" area editor for the realization of technical Dictionary: "Computer Science, Engineering and Technology" of CRC Press, 1998-2000.
* Since 2002, chair of the Steering Committee of WEDELMUSIC Conference Serie http://www.wedelmusic.org, IEEE Press.
And in temporal order of their deadlines:
- He is a Member of the Program Committee of ICECCS2002, the 8th IEEE International Conference on Engineering of Complex Computer Systems, http://ise.gmu.edu/iceccs2002/, Greenbelt, Maryland, 2002, U.S.A.
- He is a Program Co-Chair of WEDELMUSIC2002, the International Conference on Web Delivering of Music, Darmstad, 2002, Germany
Member of the Program Committee of PROFES 2002, 4th International Conference on Product Focused Software Process Improvement, 2002, Rovaniemi (Arctic Circle), Finland, http://www.vtt.fi/ele/profes2002/
- He is a Member of the Program Committee of the ``IEEE International Conference on Software Engineering 2003'', ICSE 2003, Portland, Oregon, USA, at the Hilton Portland Hotel.
- Member of the Program Committee of the 7th Conference on Software Maintenance and Reengineering, CSMR2003, Benevento, 2003.
- Member of the Program Committe of SEKE2003, the International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, 2003, USA
- He is and has been involved in several ESPRIT, IST and other kinds of projects.
Research activity:
Since 1987 Nesi is active on several research topics, real-time systems, formal specification languages, software metrics, parallel architectures, physical models, image processing as demonstrated by his publications. In particular:
Software Engineering:
Management and reengineering
* Methodology for managing small/medium OO projects, see IEEE software, 1998
* C2O2: a tool for Object-Oriented reengineering of COBOL applications
CASE tools for Real-Time System Specification: TOOMS, TROL, TILCO, TILCOX, TOTS, ...
* TILCO: FOL language with temporal interval logic, sound and coplete, supported by the theorem prover Isabelle
* CTILCO: language Object-based model based on TILCO for the specification of communicating processes
* Formal: Verification and Validation Techniques, completeness and consistency criteria
* TOOMS CASE tool (based on TROL model)
* TROL: an object oriented formal language for the specification of real-time systems
Software Quality and System Assessment:
* Duplication of code and hirarchy analysis
* Maintenability analysis in C/C++ systems
* Duplication analysis
* Formal and Empirical Validation of Metrics
* Models for effort estimation and prediction
* Object-oriented metrics for effort estimation and prediction, for maintenance effort estimation and prediciton, for quality analysis
* TAC++: a TOOL and a metodology for assessing C/C++ large systems
* C++ Metrics
* TROL metrics
* software evolution metrics: versioning, fusion, etc.
* Fault proneness metrics
Software Testing:
* Generation of test vectors from external class description, used in TOOMS, TILCO and TROL
* XTMATE: a tool for non-intrusive testing
* LOOT: an object-oriented language for test specifications
Computer and music:
* WEDELMUSIC project about the integration of Multimedia and Music
* WEDELMUSC XML format: see WEDELMUSIC project
* Object Oriented modeling of music (see the above project MOODS)
* formalization of music as visual language (see the above projects MOODS and WEDELMUSIC)
* automatic justification of music, MILLA Format (see the above projects MOODS and WEDELMUSIC)
* automatic recognition of music from paper, OMR (see the above project OMR)
* Beat traking for Audio synchronisation with Music Scores, and image scores.
* Modeling multilingual lyric of music scores
* Music Tools for Managing Music in Archives, see WEDELMUSIC project
* Converting MIDI into WEDELMUSIC or MOODS formats and others
* Watermarking music scores
* Printing music scores in Postscript
* Converting FINALE scores into MOODS format
* Converting SCORE scores into WEDELMUSIC, this can be done by passing from SIBELIUS or FINALE
* Converting Sibelius into WEDELMUSIC, Finale Plug in see WEDELMUSIC project
* Converting FINALE into WEDELMUSIC, Finale Plug in see WEDELMUSIC project
* Converting WEDELMUSIC into Finale, Finale Plug in see WEDELMUSIC project
* Music education, e-learning. see IMUTUS in the list of projects.
* See also IMEASY project on audio spatialisation
Computer Vision:
Real Time Image Processing
* Measuring velocity of flow in Turbomachines
* Real-Time Detection of Cavitation for Turbomachines
* CHIP RETIMAC for real time motion analysis (ESPRIT MEPI OFCOMP DIM45)
* DSP based architectures
* Algorithms for the Connection Machine-2
* Real-Time Defect detection on Textstile Textures
* Telecontrol and Telemonitoring of Machine Tools
Motion Analysis (gradient based):
* Real Time motion estimation, theory, phisical model and algorithms
* Motion estimation of non-rigid objects
* Counting People by means of Optical Flow analsysis
* Optical Flow Constraint Analysis
* Optical Flow estimation
Motion Analysis (matching based):
* A Vision-Based 3D Mouse
* Head tracking, for video conferencing and actor animation
* Real Time motion estimation
* Tracking by means of dynamic contours