Francisco Cipriano da Cunha Martins
francisco cipriano da cunha martins | martins, francisco | francisco martins
Francisco Cipriano da Cunha Martins. Concluiu o(a) Doutoramento em Doutoramento em Informática em 2006/01/13 pelo(a) Universidade de Lisboa Faculdade de Ciências, Doutoramento em Informática em 2006/01/13 pelo(a) Universidade de Lisboa e Licenciatura em Matemática/Informática em 1995 pelo(a) Universidade dos Açores.
Entidades de I&D
FCT - Faculdade de Ciências e Tecnologia
Perfis Externos
Áreas de Conhecimento
Palavras-Chave
Entidades Financiadoras
Fundo Regional da Ciência e Tecnologia
Hiperligações
Partilhar este perfil:
de 90 Publicações
An Investigation on Types for X10 Clocks
F Martins, VT Vasconcelos, T Cogumbreiro
D6. 5a: Abstract Service Machine
VT Vasconcelos, F Martins, L Bettini, D Falassi, F Tiezzi, F TILab, ...
Execuçao de Fluxos de Trabalho com Simulaçao de Redes de Sensores
D Vieira, F Martins
Inferência de anotaçoes para evitar impasses numa linguagem intermédia polimórfica
R Silva, F Martins, VT Vasconcelos
Specification and Verification of MPI Protocols
ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, N Yoshida
System interoperability and data linkage in the era of health information management: A bibliometric analysis
2025
T Costa, T Borges-Tiago, F Martins, F Tiago
Health Information Management Journal 54 (3), 214-226, 2025
Formalizing Model Inference of MicroPython
2023
CM De Ferro, T Cogumbreiro, F Martins
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
Shelley: a framework for model checking call ordering on hierarchical systems
2023
CM de Ferro, T Cogumbreiro, F Martins
International Conference on Coordination Languages and Models, 93-114, 2023
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software
2023
CM de Ferro, A Mavridou, M Dille, F Martins
2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2023
A Type Discipline for Message Passing Parallel Programs
2022
Vasconcelos, Vasco T
ACM Transactions on Programming Languages and Systems
A Graph Pattern Based Approach for Automatic Decomposition of IoT Aware Business Processes
An evaluation of LoRa communication range in urban and forest areas: A case study in brazil and portugal
2019
MR Villarim, JVH de Luna, D de Farias Medeiros, RIS Pereira, ...
2019 IEEE 10th Annual Information Technology, Electronics and Mobile …, 2019
An infrared-based sensor to measure the filling level of a waste bin
2019
A Premgi, F Martins, D Domingos
2019 international conference in engineering applications (ICEA), 1-6, 2019
Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution.
2019
F Martins, D Domingos, D Vitoriano
ICEIS (2), 516-524, 2019
Automatic decomposition of IoT aware business processes with data and control flow distribution
2019
Martins, Francisco; Domingos, D
Ciência Vitae
Automatic decomposition of iot aware business processes–a pattern approach
2019
D Domingos, A Respício, F Martins, B Melo
Procedia Computer Science 164, 313-320, 2019
Headrest: A specification language for RESTful APIs
Preface
2019
Martins, F
Ciência Vitae
Teaching web programming using the MEAN stack
2019
LM Gomes, F Martins, H Guerra
International Conference on Interactive Collaborative Learning, 256-262, 2019
Dynamic deadlock verification for general barrier synchronisation
2018
Cogumbreiro, T
ACM Transactions on Programming Languages and Systems
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers
2017
T Cogumbreiro, R Surendran, F Martins, V Sarkar, VT Vasconcelos, ...
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017
Deductive verification of MPI protocols
Especificação de interfaces aplicacionais rest
2017
F Ferreira, T Santos, F Martins, A Lopes, V Vasconcelos
Actas do 9o Encontro Nacional de Informática, INFORUM, 2017
Inferring types for parallel programs
Modelling IoT behaviour within BPMN Business Processes
Using BPMN to model internet of things behavior within business process
2017
Domingos, D
International Journal of Information Systems and Project Management
A safe-by-design programming language for wireless sensor networks
2016
Lopes, L
Journal of Systems Architecture
Behavioral types in programming languages
2016
Ancona, D
Foundations and Trends in Programming Languages
Decentralising internet of things aware BPMN business processes
Deductive verification of parallel programs using why3
NVL: A coordination language for unmanned vehicle networks
Protocol-based verification of message-passing parallel programs
Static control of code migration
Towards programmable coordination of unmanned vehicle networks
Cooperari: A tool for cooperative testing of multithreaded Java programs
Homogeneous wireless sensor network programming using MuFFIN
Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions.
2014
D Domingos, F Martins, C Cândido, R Martinho
J. Univers. Comput. Sci. 20 (8), 1109-1129, 2014
Internet of things aware WS-BPEL business processes - context variables and expected exceptions
Protocol-based verification of MPI programs
2014
ERB Marques, F Martins, VT Vasconcelos, C Santos, N Ng, N Yoshida
The stream-based service-centred calculus: A foundation for service-oriented programming
2014
Cruz-Filipe, L
Formal Aspects of Computing
Type-based verification of message-passing parallel programs
2014
VT Vasconcelos, F Martins, ERB Marques, HA López, C Santos, ...
Concurrent typed intermediate language
Coordinating phased activities while maintaining progress
Especificação e Verificação de Protocolos para Programas MPI
2013
ND Martins, C Santos, ERB Marques, F Martins, VT Vasconcelos
INFORUM, 2013
Internet of Things Aware WS-BPEL Business Process.
2013
D Domingos, F Martins, C Cândido
ICEIS (2), 505-512, 2013
Internet of things aware WS-BPEL business process
2013
Domingos, D
ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems
On using SAGE to solve constrained optimization problems applying the Lagrange multipliers method
2013
MC Martins, F Martins
European Scientific Journal, 49-54, 2013
Specification and verification of protocols for MPI programs
2013
ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, N Yoshida
Towards deductive verification of MPI programs against session types
Sensor Systems and Software: Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
Sensor systems and software
2012
F Martins, L Lopes, H Paulino
Third International ICST Conference, S-Cube, 2012
Verification of MPI programs using session types
A middleware framework for the internet of things
2011
B Valente, F Martins
The third international conference on advances in future internet, 139-144, 2011
Integrating WSN simulation into workflow testing and execution
Safe-by-design programming languages for wireless sensor networks
2011
T Cogumbreiro, P Gomes, F Martins, L Lopes
Department of Computer Science, Faculty of Sciences, University of Porto, 2011
Types for X10 Clocks
2011
F Martins, VT Vasconcelos, T Cogumbreiro
arXiv preprint arXiv:1110.4165, 2011
A semantically robust framework for programming wireless sensor networks
Ad-hoc changes in IoT-aware business processes
Automatic generation of WSN simulations: From Callas applications to VisualSense models
Secure open networks
Towards the safe programming of wireless sensor networks
Type inference for deadlock detection in a multithreaded polymorphic typed assembly language
Compiling the p-calculus into a Multithreaded Typed Assembly Language
Compiling the< i> π</i>-calculus into a Multithreaded Typed Assembly Language
2009
T Cogumbreiro, F Martins, VT Vasconcelos
Electronic Notes in Theoretical Computer Science 241, 57-84, 2009
Programming wireless sensor networks
Behavioural theory at work: Program transformations in a service-centred calculus
Compiling the -calculus into a Multithreaded Typed Assembly Language
2008
T Cogumbreiro, F Martins, VT Vasconcelos
Department of Informatics, University of Lisbon, 2008
Robust Programming for Sensor Networks
2008
F Martins, L Lopes, MS Silva, J Barros
Technical Report DCC-2008-01, Department of Computer Science, Faculty of …, 2008
Type-based approach to multi-core programming
A formal model for programming wireless sensor networks
2007
L Lopes, F Martins, MS Silva, J Barros
arXiv preprint cs/0702042, 2007
A process calculus approach to sensor network programming
Bisimulations in SSCC
2007
L Cruz-Filipe, I Lanese, F Martins, A Ravara, V Vasconcelos
Technical Report 37/2007, Department of Informatics, Faculty of Sciences …, 2007
Bisimulations in SSCC. DI
2007
L Cruz-Filipe, I Lanese, F Martins, A Ravara, VT Vasconcelos
FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of …, 2007
Disciplining orchestration and conversation in service-oriented computing
The Automotive Case Study in the Sensoria Core Calculi
A calculus for sensor networks
2006
MS Silva, F Martins, L Lopes, J Barros
arXiv preprint cs/0612093, 2006
A multithreaded typed assembly language
2006
VT Vasconcelos, F Martins
Proceedings of TV 6, 133-141, 2006
Controlling security policies in a distributed environment
2006
F Martins
Department of Informatics, University of Lisbon, 2006
SCC: A service centered calculus
2006
Boreale, M
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1 A TyCO-calculus based model
An instance of the MIKADO migration model
2005
F Martins, L Salvador, VT Vasconcelos, LM Lopes
MIKADO Global Computing Project. Information Society Technologies, Future …, 2005
Computing with idiotypic networks
2005
F Martins, N Slani
Intelligent Information Processing and Web Mining: Proceedings of the …, 2005
History-based access control for distributed processes
Miko: Mikado koncurrent objects
2005
F Martins, L Salvador, V Vasconcelos, L Lopes
Foundations, 2005
Type Systems for Open Networks
Typing migration control in lsdπ.
The impact of linearity information on the performance of TyCO
2003
Martins, F
Electronic Notes in Theoretical Computer Science
TyCO+ Linear channels
Computation with the immune system
2000
F Martins
Masters thesis, Universidade dos Açores, 2000
The TyCO programming language—compiler and virtual machine
1988
L Lopes, VT Vasconcelos, F Martins, R Bastos
URL: http://www. ncc. up. pt/lblopes/tyco 2002, 1988
0 Projetos de Investigação
Não existem projetos
1 Prestação de Serviço
Formação
Formação
| 2006/01/13 |
Doutoramento Doutoramento em Informática Universidade de Lisboa Faculdade de Ciências, Portugal (TESE/DISSERTAÇÃO) "Controlling Security Policies in a Distributed Environment" |
| 1995 |
Licenciatura Matemática/Informática Universidade dos Açores, Portugal |
Áreas de Conhecimento
Biografia
Francisco Cipriano da Cunha Martins. Concluiu o(a) Doutoramento em Doutoramento em Informática em 2006/01/13 pelo(a) Universidade de Lisboa Faculdade de Ciências, Doutoramento em Informática em 2006/01/13 pelo(a) Universidade de Lisboa e Licenciatura em Matemática/Informática em 1995 pelo(a) Universidade dos Açores. É Professor Auxiliar no(a) Universidade dos Açores. Publicou 11 artigos em revistas especializadas. Possui 2 capítulo(s) de livros e 7 livro(s).
Hiperligações
