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
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 Handle
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 Openlibrary
IN MY: ORCID | DBLP
26
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
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
AUTHORS: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLISHED: 2008, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2008
INDEXED IN: DBLP
IN MY: 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