Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 43



21
TITLE: Certifying execution time
AUTHORS: Rodrigues, V ; Pedroso, JP ; Florido, M ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7177 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
22
TITLE: Deciding regular expressions (in-)equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; Melo De Sousa, S ;
PUBLISHED: 2012, 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
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP | CIÊNCIAVITAE
23
TITLE: Learning stochastic timed automata from sample executions
AUTHORS: De Matos Pedro, A ; Crocker, PA ; De Sousa, SM ;
PUBLISHED: 2012, SOURCE: 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7609 LNCS, ISSUE: PART 1
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
24
TITLE: A Functional Approach to Worst-Case Execution Time Analysis
AUTHORS: Rodrigues, V ; Florido, M ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 20th International Workshop on Functional and Constraint Logic Programming in FUNCTIONAL AND CONSTRAINT LOGIC PROGRAMMING, VOLUME: 6816
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
25
TITLE: Partial Derivative Automata Formalized in Coq
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482
INDEXED IN: Scopus WOS DBLP CrossRef: 9 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
26
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
INDEXED IN: DBLP CrossRef: 18 Openlibrary
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
TITLE: Sniffing With the Portuguese Identify Card for fun and Profit
AUTHORS: Paul Crocker ; Vasco Nicolau; Simao Melo de Sousa ;
PUBLISHED: 2010, SOURCE: 9th European Conference on Information Warfare and Security in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON INFORMATION WARFARE AND SECURITY
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Uma plataforma de hospedagem baseada na Web para máquinas pedagógicas
AUTHORS: Nuno Gaspar; Simão Melo De Sousa ;
PUBLISHED: 2009, SOURCE: Informática na educação: teoria & prática, VOLUME: 12, ISSUE: 1
INDEXED IN: CrossRef
IN MY: CIÊNCIAVITAE
30
TITLE: Guest Editorial
AUTHORS: Simão Melo de Sousa ;
PUBLISHED: 2008, SOURCE: Comput. Sci. Inf. Syst., VOLUME: 5, ISSUE: 2
INDEXED IN: DBLP
IN MY: DBLP
Page 3 of 5. Total results: 43.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service