H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 36 Citations 9,045 179 World Ranking 5585 National Ranking 124

Research.com Recognitions

Awards & Achievements

2017 - ACM Distinguished Member

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Software
  • Operating system

Software development, Software, Software engineering, Software system and Software verification and validation are his primary areas of study. His Software development study combines topics from a wide range of disciplines, such as Object-oriented programming, Petri net and Systems engineering. Mauro Pezzè has researched Software in several fields, including Data mining, Test case, System testing, Formal verification and Component.

His Software engineering study integrates concerns from other disciplines, such as Exploit and Web API. His study in System of systems engineering extends to Software system with its themes. His biological study spans a wide range of topics, including Programmable logic controller and Control engineering.

His most cited work include:

  • Software Engineering for Self-Adaptive Systems : A Second Research Roadmap (523 citations)
  • Engineering Self-Adaptive Systems through Feedback Loops (424 citations)
  • Automatic generation of software behavioral models (368 citations)

What are the main themes of his work throughout his whole career to date?

His primary scientific interests are in Software engineering, Software, Software system, Programming language and Test case. His studies deal with areas such as Web service and Component-based software engineering, Software development, Social software engineering, Software construction as well as Software engineering. His Software research is multidisciplinary, incorporating elements of Redundancy, Reliability engineering, Object-oriented programming and Data mining.

His Software system study focuses on Software verification and validation in particular. His work on Petri net, Symbolic execution and Formal methods as part of general Programming language research is often related to Notation, thus linking different fields of science. His study looks at the relationship between Test case and fields such as Graphical user interface, as well as how they intersect with chemical problems.

He most often published in these fields:

  • Software engineering (38.53%)
  • Software (26.61%)
  • Software system (28.90%)

What were the highlights of his more recent work (between 2014-2021)?

  • Software system (28.90%)
  • Software (26.61%)
  • Test case (17.43%)

In recent papers he was focusing on the following fields of study:

Mauro Pezzè mostly deals with Software system, Software, Test case, Distributed computing and Programming language. Mauro Pezzè combines subjects such as Runtime verification, Redundancy, Reliability engineering, Cloud computing and Software engineering with his study of Software system. Mauro Pezzè is interested in System testing, which is a branch of Software engineering.

His Software research incorporates themes from Exploit, Field and Data mining. His Test case study integrates concerns from other disciplines, such as Graphical user interface, Android and Theoretical computer science. His work deals with themes such as Software development and Formal specification, which intersect with Natural language.

Between 2014 and 2021, his most popular works were:

  • Automatic generation of oracles for exceptional behaviors (39 citations)
  • Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems (37 citations)
  • Combining symbolic execution and search-based testing for programs with complex heap inputs (32 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Software
  • Operating system

Mauro Pezzè mainly focuses on Programming language, Test case, Software system, Software and Symbolic execution. His Test case study combines topics from a wide range of disciplines, such as Data modeling and Test data generation. His Software system research includes themes of Runtime verification, Model checking, Software engineering and Markov chain.

His work carried out in the field of Software engineering brings together such families of science as Web application, Workaround and Concurrency. His Software research incorporates elements of Machine learning, Data mining, Fault tolerance, Exploit and Redundancy. His Symbolic execution study combines topics in areas such as Heap, Theoretical computer science, Symbolic data analysis, Executable and Search-based software engineering.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Top Publications

Software Engineering for Self-Adaptive Systems : A Second Research Roadmap

Rogério de Lemos;Holger Giese;Hausi A. Müller;Mary Shaw.
dagstuhl seminar proceedings (2013)

1872 Citations

Engineering Self-Adaptive Systems through Feedback Loops

Yuriy Brun;Giovanna Marzo Serugendo;Cristina Gacek;Holger Giese.
Lecture Notes in Computer Science (2009)

663 Citations

Software Testing and Analysis : Process, Principles and Techniques

Michal Young;Mauro Pezze.
(2008)

585 Citations

Automatic generation of software behavioral models

Davide Lorenzoli;Leonardo Mariani;Mauro Pezzè.
international conference on software engineering (2008)

531 Citations

A unified high-level Petri net formalism for time-critical systems

C. Ghezzi;D. Mandrioli;S. Morasca;M. Pezze.
IEEE Transactions on Software Engineering (1991)

498 Citations

An empirical evaluation of fault-proneness models

Giovanni Denaro;Mauro Pezzè.
international conference on software engineering (2002)

186 Citations

On formalizing UML with high-level petri nets

L. Baresi;M. Pezzè.
Lecture Notes in Computer Science (2001)

164 Citations

Automated Testing of Classes

Ugo Buy;Alessandro Orso;Mauro Pezze.
international symposium on software testing and analysis (2000)

135 Citations

Automatic steering of behavioral model inference

David Lo;Leonardo Mariani;Mauro Pezzè.
foundations of software engineering (2009)

132 Citations

Using symbolic execution for verifying safety-critical systems

Alberto Coen-Porisini;Giovanni Denaro;Carlo Ghezzi;Mauro Pezzé.
foundations of software engineering (2001)

130 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us

Top Scientists Citing Mauro Pezzè

Danny Weyns

Danny Weyns

KU Leuven

Publications: 59

Yuriy Brun

Yuriy Brun

University of Massachusetts Amherst

Publications: 32

Martin Monperrus

Martin Monperrus

Royal Institute of Technology

Publications: 31

Holger Giese

Holger Giese

University of Potsdam

Publications: 31

David Lo

David Lo

Singapore Management University

Publications: 29

Carlo Ghezzi

Carlo Ghezzi

Politecnico di Milano

Publications: 25

Hausi A. Müller

Hausi A. Müller

University of Victoria

Publications: 24

Paolo Tonella

Paolo Tonella

Universita della Svizzera Italiana

Publications: 23

Luciano Baresi

Luciano Baresi

Politecnico di Milano

Publications: 22

Michael D. Ernst

Michael D. Ernst

University of Washington

Publications: 22

Paola Inverardi

Paola Inverardi

University of L'Aquila

Publications: 22

Sam Malek

Sam Malek

University of California, Irvine

Publications: 21

Marin Litoiu

Marin Litoiu

York University

Publications: 19

Raffaela Mirandola

Raffaela Mirandola

Politecnico di Milano

Publications: 18

Andreas Zeller

Andreas Zeller

Saarland University

Publications: 17

Something went wrong. Please try again later.