1
TITLE: A novel run-time monitoring architecture for safe and efficient inline monitoring
AUTHORS: Nelissen, G; Pereira, D ; Pinho, LM ;
SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111, PUBLISHED: 2015
INDEXED IN: Scopus CrossRef
2
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4
TITLE: Monitoring for a Decidable Fragment of MTL-integral
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
SOURCE: 6th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2015, VOLUME: 9333, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: A Compositional Monitoring Framework for Hard Real-Time Systems
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
SOURCE: 6th NASA Formal Methods Symposium (NFM) in NASA FORMAL METHODS, NFM 2014, VOLUME: 8430, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef
6
TITLE: Towards a Runtime Verification Framework for the Ada Programming Language
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PUBLISHED: 2014
INDEXED IN: Scopus WOS DBLP CrossRef: 1
7
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7560 LNCS, PUBLISHED: 2012
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
8
TITLE: Partial Derivative Automata Formalized in Coq  Full Text
AUTHORS: Jose Bacelar Almeida ; Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PUBLISHED: 2011
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID
9
TITLE: Formal Modelling of Emotions in BDI Agents  Full Text
AUTHORS: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PUBLISHED: 2008
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
10
TITLE: KAT and PHL in Coq  Full Text
AUTHORS: David Pereira ; Nelma Moreira ;
SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PUBLISHED: 2008
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
Page 1 of 2. Total results: 11.