Simão Patrício Melo de Sousa


AuthID: R-000-GKV

Confirmed Publications: 41



21
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
22
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
23
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
24
TITLE: Partial Derivative Automata Formalized in Coq  Full Text
AUTHORS: Jose Bacelar Almeida ; Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
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
IN MY: ORCID | DBLP
25
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: 16
IN MY: DBLP
26
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Andre Carvalho; Joel Carvalho; Jorge Sousa Pinto ; Simao Melo de Sousa ;
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
IN MY: ORCID | DBLP
27
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
28
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
29
TITLE: Lissom, a Source Level Proof Carrying Code Platform PDF
AUTHORS: João Gomes; Daniel Martins; Simão Melo de Sousa ; Jorge Sousa Pinto ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0803.2317
INDEXED IN: DBLP arXiv
IN MY: DBLP
30
TITLE: Secure biometric authentication with improved accuracy  Full Text
AUTHORS: Manuel Barbosa ; Thierry Brouard; Stephane Cauchie; Simao Melo de Sousa ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
Page 3 of 5. Total results: 41.

A place for researchers and their institutions

Useful Links

Get Help

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