Concepedia

Nicolás D’Ippolito

ND

19

Publications

695

Citations

15

H-Index

2007

Active since

Affiliations

Universidad de Buenos Aires(Current)

Imperial College London

University of Leicester

University of Toronto

RMIT University

Nicolás D’Ippolito is an author at Universidad de Buenos Aires specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceFormal VerificationSoftware DesignSoftware EngineeringAutomationSoftware AnalysisIntelligent Systems

Publications per year

2007–2020

19

Publications

19

Synthesizing nonanomalous event-based controllers for liveness goals

Nicolás D’Ippolito, Vı́ctor Braberman, Nir Piterman et al. · ACM Transactions on Software Engineering and Methodology · 2013 · 76 citations

Event-driven Architecture, Liveness Goals, Engineering +21

Control Strategies for Self-Adaptive Software Systems

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos et al. · ACM Transactions on Autonomous and Adaptive Systems · 2017 · 75 citations

Software Maintenance, Engineering, Software Systems +22

MTSA: The Modal Transition System Analyser

Nicolás D’Ippolito, Dario Fischbein, Marsha Chećhik et al. · 2008 · 73 citations

Engineering, Verification, Model Checking +17

Hope for the best, prepare for the worst: multi-tier control for adaptive systems

Nicolás D’Ippolito, Vı́ctor Braberman, Jeff Kramer et al. · 2014 · 71 citations

Engineering, Higher Level Model, Control Management +22

Software Engineering Meets Control Theory

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos et al. · 2015 · 69 citations · Full text

Software Maintenance, Control Theory, Engineering +24

Rows per page

1–5 of 19