Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Simão Melo de Sousa
2010 – today
- 2012
[c13]Nelma Moreira, David Pereira, Simão Melo de Sousa: Deciding Regular Expressions (In-)Equivalence in Coq. RAMICS 2012: 98-113- [c12]André de Matos Pedro, Paul Andrew Crocker, Simão Melo de Sousa: Learning Stochastic Timed Automata from Sample Executions. ISoLA (1) 2012: 508-523
- 2011
- [c11]Vitor Rodrigues, João Pedro Pedroso, Mário Florido, Simão Melo de Sousa: Certifying Execution Time. FOPARA 2011: 108-125
- [c10]Vitor Rodrigues, Mário Florido, Simão Melo de Sousa: A Functional Approach to Worst-Case Execution Time Analysis. WFLP 2011: 86-103
- 2010
- [c9]André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa: Model-Checking Temporal Properties of Real-Time HTL Programs. ISoLA (2) 2010: 191-205
- [c8]José Bacelar Almeida, Nelma Moreira, David Pereira, Simão Melo de Sousa: Partial Derivative Automata Formalized in Coq. CIAA 2010: 59-68
2000 – 2009
- 2008
- [j2]
- [c7]Manuel Barbosa, Thierry Brouard, Stéphane Cauchie, Simão Melo de Sousa: Secure Biometric Authentication with Improved Accuracy. ACISP 2008: 21-36
- [i2]Joao Gomes, Daniel Martins, Simão Melo de Sousa, Jorge Sousa Pinto: Lissom, a Source Level Proof Carrying Code Platform. CoRR abs/0803.2317 (2008)
- [i1]Manuel Barbosa, Stéphane Cauchie, Thierry Brouard, Simão Melo de Sousa: Secure Biometric Authentication With Improved Accuracy. IACR Cryptology ePrint Archive 2008: 302 (2008)
- 2007
- [c6]Mário M. Freire, Simão Melo de Sousa, Vítor Santos, Jong Hyuk Park: IS 2007 PC Co-chairs' Message. OTM Conferences (2) 2007: 1527
- 2006
- [c5]Mário M. Freire, Simão Melo de Sousa, Vítor Santos: IS 2006 PC Co-chairs' Message. OTM Workshops (1) 2006: 311
- 2005
- [j1]Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa: Tool-Assisted Specification and Verification of Typed Low-Level Languages. J. Autom. Reasoning 35(4): 295-354 (2005)
- 2002
- [c4]Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa: Tool-Assisted Specification and Verification of the JavaCard Platform. AMAST 2002: 41-59
- [c3]Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines. VMCAI 2002: 32-45
- 2001
- [c2]Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa: Jakarta: A Toolset for Reasoning about JavaCard. E-smart 2001: 2-18
- [c1]Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa: A Formal Executable Semantics of the JavaCard Platform. ESOP 2001: 302-319
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-09 03:16 CEST by the dblp team