António Casimiro graduated and has a Master in Electrotechnic and Computers Engineering (1995), by the Instituto Superior Técnico de Lisboa (IST). He has a PhD in Informatics (2003), by the University of Lisboa. He is currently an Assistant Professor at the Department of Informatics (DI) of the University of Lisboa Faculty of Sciences, where he joined in 1996. Previously he was teaching at IST and was a researcher at INESC. He is now a member of the LASIGE research laboratory of the DI, where he co-leads one of the Navigators group research lines. He coordinates the KARYON FP7 project and the TRONE CMU|Portugal project. Previously he was involved and contributed to several national and international projects, such as HIDENETS, CORTEX, CaberNet and TACID. He is currently interested in studying dependable solutions (architectures and middleware) for distributed embedded systems, focusing on real-time aspects and QoS adaptation. Other research interests include: fault tolerance, group and event-based communication, real-time and sensor networks, and SCADA systems. António Casimiro has more than 50 publications in the area of distributed, fault-tolerant and real-time systems. He is a member of the IEEE, ACM, IFIP WG10.4 on Dependable Computing and Fault Tolerance, and of Ordem dos Engenheiros.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=9299297928380078

Nome completo Full name	Antonio Casimiro Ferreira da Costa
Nome em citações bibliográficas Quoting name	Antonio Casimiro
Domínio científico de atuação Scientific domain	Engenharia e Tecnologia-Engenharia Electrotécnica, Electrónica e Informática. Ciências Exactas-Ciências da Computação e da Informação.

Endereço profissional Professional address

Faculdade de Ciências da Universidade de Lisboa Departamento de Informática Campo Grande, Edifício C6, Piso 3 1749-016 Lisboa Portugal Telefone: (+351)217500612 Correio electrónico: casim@di.fc.ul.pt Homepage: http://www.di.fc.ul.pt/~casim

Sexo Gender

Masculino»Male

1998-2003	Doutoramento Phd
Informática (5 anos » years) . Universidade de Lisboa, Portugal.

1991-1995	Mestrado Master degree
Engenharia Electrotécnica e de Computadores (2 anos » years) . Universidade Técnica de Lisboa, Portugal.

1986-1991	Licenciatura Licentiate degree
Engenharia Electrotécnica e de Computadores (5 anos » years) . Universidade Técnica de Lisboa, Portugal.

Universidade de Lisboa

Mai/2013-Actual

Professor Associado

Abr/2003-Mai/2013

Professor Auxiliar

Fev/1996-Abr/2003

Assistente

Universidade Técnica de Lisboa

Out/1993-Fev/1996

Assistente Estagiário

Participação como Investigador responsável Participation as responsible Researcher

2011-2014 KARYON-Kernel-Based ARchitecture for safetY-critical cONtrol

Referência do projeto»Project reference: EU-FP7-288195. FP7 Parceiro(s)»Partners: Chalmers University of Technology; Otto von Guericke University; GMV; Empresa Brasileira de Aeronáutica S/A; SP Technical Research Institute of Sweden; 4S Group.

Compreende Understandig	Português (Bem), Inglês (Bem), Francês (Bem).
Fala Speaking	Português (Bem), Inglês (Bem), Francês (Bem).
Lê Reading	Português (Bem), Inglês (Bem), Francês (Bem).
Escreve Writing	Português (Bem), Inglês (Bem), Francês (Pouco).

Jun/2012 - Actual	IFIP WG10.4 on Dependable Computing and Fault Tolerance, Membro.
Jan/2012 - Actual	ACM, Membro.
Jan/1998 - Actual	IEEE, Membro.
Out/1991 - Actual	Ordem dos Engenheiros, Membro.

Livros publicados/organizados ou edições Published/organized books or Editions

1.	Casimiro, Antonio. ed. 2010. International Journal of Autonomous and Adaptive Communications Systems (IJAACS), Special Issue on: "Security, Trust, and Privacy in DTN and Vehicular Communications" ed. 1. Geneva, SWITZERLAND: Inderscience Publishers.

2.	Lemos, Rogério; Gacek, Cristina; Romanovsky, Alexander. eds. 2007. Architecting Dependable Systems IV ed. 1, ISBN: 978-3-540-74033-9. Berlin, Heidelberg: Springer Berlin Heidelberg.

Capítulos de livros publicados Published book chapters

1.	Alves, João; Casimiro, António; Marques, Luís. 2013. Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks.  In Dependable Computing, ed. Marco Vieira, João Carlos Cunha, 16 - 23. ISBN: 978-3-642-38788-3. Berlin, Heidelberg: Springer Berlin Heidelberg.

2.	Jesus, Gonçalo; Casimiro, António; Oliveira, Anabela. 2013. Towards Dependable Measurements in Coastal Sensors Networks.  In Dependable Computing, ed. Marco Vieira, João Carlos Cunha, 190 - 193. ISBN: 978-3-642-38788-3. Berlin, Heidelberg: Springer Berlin Heidelberg.

3.	Kreutz, Diego; Casimiro, António; Pasin, Marcelo. 2012. A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures.  In Distributed Applications and Interoperable Systems, ed. Karl Michael Göschka, Seif Haridi, 87 - 95. ISBN: 978-3-642-30822-2. Berlin, Heidelberg: Springer Berlin Heidelberg.

4.	Casimiro, António; Kaiser, Jörg; Karlsson, Johan; Schiller, Elad M; Tsigas, Philippas; Costa, Pedro; Parizi, José; Johansson, Rolf; Librino, Renato. 2012. Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems.  In Stabilization, Safety, and Security of Distributed Systems, ed. Andréa W. Richa, Christian Scheideler, 232 - 235. ISBN: 978-3-642-33535-8. Berlin, Heidelberg: Springer Berlin Heidelberg.

5.	Casimiro, António; Kaiser, Jörg; Verissimo, Paulo. 2007. Generic-Events Architecture: Integrating Real-World Aspects in Event-Based Systems.  In Architecting Dependable Systems IV, ed. Rogério LemosCristina GacekAlexander Romanovsky, 287 - 315. ISBN: 978-3-540-74033-9. Berlin, Heidelberg: Springer Berlin Heidelberg.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	Dixit, Mônica; Casimiro, António; Lollini, Paolo; Bondavalli, Andrea; Verissimo, Paulo. 2012. "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems 7, 2: 1 - 25.

2.	Martins, P.; Sousa, P.; Casimiro, A.; Verissimo, P.. 2005. "A New Programming Model for Dependable Adaptive Real-Time Applications", IEEE Distributed Systems Online 6, 5: 1 - 1.

3.	Verissimo, P.; Casimiro, A.. 2002. "The timely computing base model and architecture", IEEE Transactions on Computers 51, 8: 916 - 930.

4.	Veríssimo, P.; Rodrigues, L.; Casimiro, A.. 1997. "Cesiumspray : A Precise and Accurate Global Time Service for Large-scale Systems", Real-Time Systems 12, 3: 243 - 294.

Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing

1.	Casimiro, Antonio; Kaiser, Jorg; Schiller, Elad M; Costa, Pedro; Parizi, Jose; Johansson, Rolf; Librino, Renato. 2013. "The KARYON project: Predictable and safe coordination in cooperative vehicular systems", Trabalho apresentado em 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W), In 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W), Budapest, Hungary.

Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing

1.	Casimiro, Antonio; de Lemos, R; Gacek, Cristina. 2009. "Workshop on Architecting Dependable Systems (WADS 2009)", Trabalho apresentado em Workshop on Architecting Dependable Systems (WADS 2009), In 2009 IEEE/IFIP International Conference on Dependable Systems & Networks, Lisbon, Portugal.

Produção científica Scientific production

Total

Produção científica Scientific production

13

Livros e capítulos Books and book chapters

7

Livros publicados ou organizados Published or organized books

2

Capítulos de livros publicados Published book chapters

5

Artigos científicos em revistas Papers in periodics

4

Com arbitragem científica With scientific refereeing

4

Trabalhos em eventos Papers in conference proceedings

2

Com arbitragem científica With scientific refereeing

1

Sem arbitragem científica Without scientific refereeing

1