Travelled to:1 × Canada
1 × France
Collaborated with:L.M.Pinho G.Nelissen A.d.M.Pedro J.S.Pinto J.B.Almeida N.Moreira S.M.d.Sousa
Talks about:monitor (2) architectur (1) framework (1) automata (1) program (1) partial (1) languag (1) toward (1) runtim (1) formal (1)
Person: David Pereira
DBLP: Pereira:David
Contributed to:
20152014
2010Wrote 3 papers:
- 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.
- AdaEurope-2014-PedroPPP #ada #framework #programming language #runtime #towards #verification
- Towards a Runtime Verification Framework for the Ada Programming Language (AdMP, DP, LMP, JSP), pp. 58–73.
- CIAA-2010-AlmeidaMPS #automaton #coq
- Partial Derivative Automata Formalized in Coq (JBA, NM, DP, SMdS), pp. 59–68.