D.Pereira L.M.Pinho A.Baldovin A.Zovi S.Puri
monitor (2) architectur (1) methodolog (1) concerto (1) softwar (1) develop (1) effici (1) novel (1) model (1) inlin (1)
Person: Geoffrey Nelissen
Wrote 2 papers:
- AdaEurope-2015-BaldovinZNP #development #modelling
- The CONCERTO Methodology for Model-Based Development of Avionics Software (AB, AZ, GN, SP), pp. 131–145.
- AdaEurope-2015-NelissenPP #architecture #monitoring #novel #performance #runtime
- A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring (GN, DP, LMP), pp. 66–82.