Francisco Martins
Primary tabs
"Controlador de Redes em Código Aberto",
INForum 2018 - Atas do Décimo Simpósio de Informática, Coimbra, Portugal, Departamento de Engenharia Informática - Universidade de Coimbra, 2018.
"HeadREST: A Specification Language for RESTful APIs",
TYPES 2018, pp. 80, 2018.
"Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers",
Proceedings of the ACM on Programming Languages, vol. 1, no. OOPSLA: ACM, pp. 103, 2017.
"Deductive Verification of MPI Protocols",
Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
"Inferring Types for Parallel Programs",
arXiv preprint arXiv:1704.03096, 2017.
"Modelling IoT behaviour within BPMN Business Processes",
Procedia Computer Science, vol. 121: Elsevier, pp. 1014–1022, 2017.
"Behavioral types in programming languages",
Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
"A safe-by-design programming language for wireless sensor networks",
Journal of Systems Architecture, vol. 63: Elsevier, pp. 16–32, 2016.
"Deductive Verification of Parallel Programs Using Why3",
Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015, Grenoble, France, 4-5th June 2015., 2015.
"NVL: a coordination language for unmanned vehicle networks",
ACM Symposium on Applied Computing (SAC'15): ACM, 2015.
"Towards Programmable Coordination of Unmanned Vehicle Networks",
IFAC NGCUV'15 (to appear), 2015.
"BETTY WG3–Languages: State of the Art Report",
Report of the EU COST Action IC1201–Behavioural Types for Reliable Large-Scale Software Systems. www. behavioural-types. eu/publications/WG3-State-of-the-Art. pdf, 2014.
"Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs",
PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform: ACM, 2014.
"Cooperari A tool for cooperative testing of multithreaded Java programs",
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools: ACM, pp. 200–206, 2014.
"Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions",
Journal of Universal Computer Science, vol. 20, no. 8, pp. 1109–1129, 2014.
"The stream-based service-centred calculus: a foundation for service-oriented programming",
Formal Aspects of Computing, vol. 26, no. 5: Springer London, pp. 865–918, 2014.
"Concurrent typed intermediate language",
Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 1587–1588, 2013.
"Coordinating phased activities while maintaining progress",
Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
"Especificação e Verificação de Protocolos para Programas MPI",
INFORUM, 2013.
"Towards deductive verification of MPI programs against session types",
arXiv preprint arXiv:1312.2705, 2013.
"ON USING SAGE TO SOLVE CONSTRAINED OPTIMIZATION PROBLEMS APPLYING THE LAGRANGE MULTIPLIERS METHOD",
European Scientific Journal, vol. 9, no. 21, 2013.
Sensor Systems and Software: Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers,
: Springer Publishing Company, Incorporated, 2012.
"Verification of MPI programs using session types",
Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
"Integrating WSN simulation into workflow testing and execution",
Sensor Systems and Software: Springer Berlin Heidelberg, pp. 205–218, 2011.
"A middleware framework for the Internet of Things",
AFIN 2011, The Third International Conference on Advances in Future Internet, pp. 139–144, 2011.
"Types for X10 Clocks",
arXiv preprint arXiv:1110.4165, 2011.
"Ad-hoc changes in IoT-aware business processes",
Internet of Things (IOT), 2010: IEEE, pp. 1–7, 2010.
"Automatic generation of WSN simulations: From Callas applications to VisualSense models",
Sensor Technologies and Applications (SENSORCOMM), 2010 Fourth International Conference on: IEEE, pp. 336–341, 2010.
"A semantically robust framework for programming wireless sensor networks",
DCC/FCUP, TR, vol. 1, 2010.
"Towards the safe programming of wireless sensor networks",
arXiv preprint arXiv:1002.0937, 2010.
"Type inference for deadlock detection in a multithreaded polymorphic typed assembly language",
arXiv preprint arXiv:1002.0942, 2010.
"Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language",
Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
"Compiling the $π$-calculus into a Multithreaded Typed Assembly Language",
Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
Middleware for Network Eccentric and Mobile Applications, chapter 2,
: Springer-Verlag, 2009.
"Programming Wireless Sensor Networks",
Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
"Behavioural theory at work: program transformations in a service-centred calculus",
Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
Robust Programming for Sensor Networks,
: Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
The Automotive Case Study in the Sensoria Core Calculi,
: June, 2007.
Bisimulations in SSCC,
: Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Bisimulations in SSCC. DI,
: FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
"Disciplining Orchestration and Conversation",
in Service-Oriented Computing. In 5th IEEE International Conference on Software Engineering and Formal Methods, 2007.
"Disciplining orchestration and conversation in service-oriented computing",
Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE International Conference on: IEEE, pp. 305–314, 2007.
"A formal model for programming wireless sensor networks",
arXiv preprint cs/0702042, 2007.
"A process calculus approach to sensor network programming",
Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.