Semantic search

From Navigators

Publications

• Paolo Ferrari, Emiliano Sisinni, Paolo Bellagente, Stefano Rinaldi, Marco Pasetti, Alan Oliveira, Raphael C. S. Machado, And Luiz F. R. da C. Carmo, António Casimiro, “Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet”, IEEE Transactions on Industrial Electronics, vol. Early Access, pp. 1–1, Jun. 2020. DOI: 10.1109/TIE.2020.3001850

• Alan Oliveira, António Casimiro, Raphael C. S. Machado, And Luiz F. R. da C. Carmo, “Identification of Data Injection Attacks in Networked Control Systems Using Noise Impulse Integration”, Sensors, vol. 20, no. 792, Jan. 2020.

• António Casimiro, Emelie Ekenstedt, Elad M. Schiller, “Self-stabilizing Manoeuvre Negotiation: the Case of Virtual Traffic Lights”, in 38th International Symposium on Reliable Distributed Systems (SRDS 2019), Poster Session, Lyon, France, Sept. 2019.

• Carlos Nascimento, António Casimiro, Pedro M. Ferreira, “A Methodology to Automate the Selection of LPWA Technologies in WSN Applications”, in Simpósio de Informática (INFORUM), Guimarães, Portugal, Sept. 2019.

• António Casimiro, José Cecílio, Pedro M. Ferreira, Anabela Oliveira, Paula Freire, Marta Rodrigues, Luís Almeida, “AQUAMON – A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments”, in Safecomp 2019 Fast Abstract, Turku, Finland, Sept. 2019.

• Alan Oliveira, António Casimiro, Raphael Carlos Santos Machado, Luiz Fernando Rust da Costa Carmo, “Bio-inspired System Identification Attacks in Noisy Networked Control Systems”, in Bio-inspired Information and Communication Technologies. BICT 2019., Compagnoni A., Casey W., Cai Y., Mishra B., Eds., ser. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer, Cham, Mar. 2019, vol. 289, pp. 28–38.

• José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro, “Non-intrusive Runtime Verification within a System-on-Chip”, Ada User Journal, vol. 39, no. 4, pp. 296–299, Dec. 2018.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “Dependable Outlier Detection in Harsh Environments Monitoring Systems”, in Computer Safety, Reliability, and Security. SAFECOMP 2018, Gallina B., Skavhaug A., Schoitsch E., Bitsch F., Eds., ser. Lecture Notes in Computer Science, vol 11094. Springer, Cham, Sept. 2018, pp. 224–233.

• José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache, “NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems”, Ada User Journal, pp. 278–281, Jun. 2018.

• Georg Jäger, Sebastian Zug, António Casimiro, “Generic Sensor Failure Modeling for Cooperative Systems”, Sensors, vol. 18, no. 925, Mar. 2018.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks”, Sensors, vol. 17, no. 9, Sept. 2017.

• António Casimiro, Inês Gouveia, José Rufino, “Enforcing Timeliness and Safety in Mission-Critical Systems”, in Proceedings of the 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017, Vienna, Austria, Jun. 2017.

• André Nogueira, António Casimiro, Alysson Bessani, “Elastic State Machine Replication”, IEEE Transactions on Parallel and Distributed Systems, Mar. 2017.

• Radu Onica, Nuno Ferreira Neves, António Casimiro, “Fault-Tolerant Precision Time Protocol for Smart Grids”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.

• Rúben Menezes, António Casimiro, José A. Alegria and Paulo T. Serrão, “Procura e Análise Automatizada de Superfícies Expostas e Passíveis de Ataque a Partir da Internet”, Sept. 2015.

• Eric Vial, António Casimiro, “Evaluation of Safety Rules in a Safety Kernel-Based Architecture”, in Proceedings of the Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), SAFECOMP 2014 Workshops, A. Bondavalli et al., Eds., ser. LNCS. Florence, Italy: Springer International Publishing, Sept. 2014, pp. 27–35.

• Gonçalo Jesus, Anabela Oliveira, António Casimiro, “Ensuring Reliable Measurements in Remote Aquatic Sensor Networks”, in Proceedings of the 11th International Conference on Hydroinformatics, New York City, USA, Aug. 2014.

• Filipe Araujo, Serhiy Boychenko, Raul Barbosa, António Casimiro, “Replica Placement to Mitigate Attacks on Clouds”, Journal of Internet Services and Applications, vol. 5, no. 1, Jul. 2014.

• António Casimiro, Oscar Morales-Ponce, Thomas Petig, Elad M. Schiller, “Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed (Invited Paper)”, in Proceedings of the 13th International Workshop on Assurance in Distributed Systems and Networks (ADSN), co-located with ICDCS, Madrid, Spain, Jun. 2014.

• António Casimiro, José Rufino, Ricardo Correia Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce, Thomas Petig, “A Kernel-based Architecture fo Safe Cooperative Vehicular Functions (Invited Paper)”, in Proceedings of the 2014 Symposium on Industrial Embedded Systems, Pisa, Italy, Jun. 2014.

• Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino, P. Costa, “An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance”, in Proceedings of the Workshop on Embedded Real-Time Software and Systems (ERTS2), Toulouse, France, Feb. 2014.

• Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, Paulo Verissimo, “Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol”, in Middleware 2013, Eyers, David and Schwan, Karsten, Eds., ser. Lecture Notes in Computer Science. Beijing, China: Springer Berlin Heidelberg, Dec. 2013, vol. 8275, pp. 41–61.

• Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.

• Luís Marques, António Casimiro, “Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models”, in 32nd International Symposium on Reliable Distributed Systems (SRDS 2013), Braga, Portugal, Sept. 2013.

• António Casimiro, Jörg Kaiser, Elad Michael Schiller, P. Costa, José Parizi, Rolf Johansson, Renato Librino, “The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems”, in 2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems (WORCS'13), Jun. 2013.

• João Alves, António Casimiro, Luís Marques, “Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• Gonçalo Jesus, António Casimiro, Anabela Oliveira, “Towards Dependable Measurements in Coastal Sensors Networks”, in 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.

• Filipe Araújo, Raul Barbosa, António Casimiro, “Replication for dependability on virtualized cloud environments”, in Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science, Montreal, Quebec, Canada, Dec. 2012, pp. 2:1–2:6. http://doi.acm.org/10.1145/2405136.2405138

• António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Daniel Santos Costa, José Parizi, Rolf Johansson, Renato Librino, “Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems”, in Stabilization, Safety, and Security of Distributed Systems, Andréa W. Richa, Christian Scheideler, Eds., ser. LNCS. Toronto, Canada: Springer Berlin Heidelberg, Oct. 2012, vol. 7596, pp. 232–235. http://dx.doi.org/10.1007/978-3-642-33536-5_22

• Luís Marques, António Casimiro, “Towards dependable and stable perception in smart environments with timing and value faults”, in Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security, Magdeburg, Germany, Sept. 2012, pp. 151–161. http://dx.doi.org/10.1007/978-3-642-33675-1_13

• Luís Marques, António Casimiro, “Evaluating Lightweight Dependable Adaptation in 802.15.4 Wireless Sensor Networks”, Department of Informatics, University of Lisbon, Tech. Rep. 12--04, Jul. 2012. http://hdl.handle.net/10455/6873

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “Adaptare: Supporting automatic and dependable adaptation in dynamic environments”, ACM Transactions on Autonomous and Adaptive Systems, vol. 7, no. 2, pp. 18:1–18:25, Jul. 2012. http://doi.acm.org/10.1145/2240166.2240168

• Diego Kreutz, António Casimiro, Marcelo Pasin, “A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures”, in Proceedings of the 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), Stockholm, Sweden, Jun. 2012, pp. 87–95. http://dx.doi.org/10.1007/978-3-642-30823-9_7

• Amir Soltani Nezhad, António Casimiro, Paulo Verissimo, “A Multi-Layered Architecture for a Secure Virtualization Environment”, in Fast Abstract at the 2012 International Conference on Dependable Systems and Networks, Boston, MA, USA, Jun. 2012.

• António Casimiro, Paulo Verissimo, Diego Kreutz, Filipe Araújo, Raul Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi, Priya Narasimhan, “TRONE: Trustworthy and Resilient Operations in a Network Environment”, in Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on, Boston, MA, USA, Jun. 2012, pp. 1–6. http://dx.doi.org/10.1109/DSNW.2012.6264694

• Mônica Dixit, Henrique Moniz, António Casimiro, “Timeout-based adaptive consensus: improving performance through adaptation”, in Proceedings of the 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Riva del Garda (Trento), Italy, Mar. 2012, pp. 492–497. http://doi.acm.org/10.1145/2245276.2245371

• Smruti Padhy, Diego Kreutz, António Casimiro, Marcelo Pasin, “Trustworthy and resilient monitoring system for cloud infrastructures”, in Proceedings of the Middleware 2011 Workshop on Posters and Demos Track, Lisbon, Portugal, Dec. 2011, pp. 3:1–3:2. http://dx.doi.org/10.1145/2088960.2088963

• Luís Marques, António Casimiro, “Lightweight Dependable Adaptation for Wireless Sensor Networks”, in 4th International Workshop on Dependable Network Computing and Mobile Systems (DNCMS 2011), in Proceedings of the 30th IEEE International Symposium on Reliable Distributed Systems Workshops, pages 26-35, Madrid, Spain, October 2011., Oct. 2011.

• António Casimiro, Mônica Dixit, “From static to dynamic protocols: adapting timeouts for improved performance”, in I Workshop on Autonomic Distributed Systems (WoSIDA'11), May 2011.

• Mônica Dixit, Henrique Moniz, António Casimiro, “Timeout Adaptive Consensus: Improving Performance through Adaptation”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2010-06, Nov. 2010. http://hdl.handle.net/10455/6686

• Mônica Dixit, António Casimiro, “Adaptare-FD: A dependability-oriented adaptive failure detector”, in 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), Nov. 2010.

• Luís Marques, António Casimiro, “Dependable Perception in Wireless Sensor Networks”, in Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, Sept. 2010.

• Luís Marques, António Casimiro, “Data Validity and Dependable Perception in Networked Sensor-Based Systems”, in 3rd International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'10), in Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), New Delhi, India, November 2010, Aug. 2010.

• Mônica Dixit, António Casimiro, Paulo Verissimo, Paolo Lollini, Andrea Bondavalli, “A Probabilistic Framework for Automatic and Dependable Adaptation in Dynamic Environments”, Department of Informatics, University of Lisboa, Tech. Rep. TR-09-19, Dec. 2009. http://hdl.handle.net/10455/3273

• António Casimiro, José Rufino, Luís Marques, Mário Calha, Paulo Verissimo, “Applying architectural hybridization in networked embedded systems”, in Proceedings of the 7th IFIP WG 10.2 International Workshop (SEUS 2009), Software Technologies for Embedded and Ubiquitous Systems, LNCS 5860, Sunggu Lee and Priya Narasimhan (Eds), Newport Beach, CA, USA, November 2009, Nov. 2009.

• Luís Marques, António Casimiro, “Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications”, in Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, Lisboa, Portugal, September 2009, Sept. 2009.

• Luís Marques, António Casimiro, Mário Calha, “Design and development of a proof-of-concept platooning application using the HIDENETS architecture”, in Proceedings of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks, Estoril, Lisboa, Portugal, June 2009, Jul. 2009.

• Mônica Dixit, António Casimiro, Paulo Verissimo, “Probabilistic Adaptive Time-Aware Consensus”, in Eurosys 2009, WIP session, Nuremberg, Germany, March 2009, Mar. 2009.

• Mônica Dixit, António Casimiro, N. Laranjeiro, Marco Vieira, “Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions”, in Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems, Napoli, Italy, October 2008, Oct. 2008.

• António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli, Paulo Verissimo, “A framework for dependable QoS adaptation in probabilistic environments”, in Proceedings of the 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Fortaleza, Ceara, Brazil, March 2008., Mar. 2008.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, António Casimiro, Paulo Verissimo, “Intrusion Tolerance in Wireless Environments: An Experimental Evaluation”, in Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 07), Dec. 2007.

• Hans P. Reiser, António Casimiro, “Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks”, in 4th International Workshop on Dependable Embedded Systems (WDES-07), in conjunction with the 26th Symposium on Reliable Distributed Systems, Beijing, China, October 2007, Oct. 2007.

• Hugo Ortiz, António Casimiro, “Architecture and Implementation of an Embedded Wormhole”, in Proceedings of the 2007 Symposium on Industrial Embedded Systems, Lisbon, Portugal, July 2007, Jul. 2007.

• António Casimiro, Marco Vieira, Henrique Madeira, “Middleware Support for Time-Elastic Database Applications”, in Fast Abstract at the 2007 International Conference on Dependable Systems and Networks, Edimburgh, UK, June 2007, Jun. 2007.

• António Casimiro, Jörg Kaiser, Paulo Verissimo, “Generic-Events Architecture: Integrating real-world aspects in event-based systems”, in Architecting Dependable Systems IV, Rogério de Lemos, Cristina Gacek, Alexander Romanovsky, Eds., ser. LNCS. Springer, Jun. 2007, vol. 4615.

• Marco Vieira, António Casimiro, Henrique Madeira, “Towards Timely ACID Transactions in DBMS”, in The 12th International Conference on Database Systems for Advanced Applications (DASFAA 2007), Bangkok, Thailand, April 2007, Apr. 2007.

• António Casimiro, Odorico Mendizabal, Paulo Verissimo, “On the development of dependable embedded applications using specialized wormholes”, in 3rd International Workshop on Dependable Embedded Systems (WDES-06), in conjunction with the 25th Symposium on Reliable Distributed Systems, Leeds, UK, October 2006, Oct. 2006.

• Marco Vieira, António Casimiro, Henrique Madeira, “TACID Transactions”, in Proceedings of the International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep-05), Yokohama, Japan, June 2005, Jun. 2005.

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “A New Programming Model for Dependable Adaptive Real-Time Applications”, IEEE Distributed Systems Online, vol. 6, no. 5, 2005., May 2005.

• Pedro Martins, Paulo Sousa, António Casimiro, Paulo Verissimo, “Dependable Adaptive Real-Time Applications in Wormhole-based Systems”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004, Jul. 2004.

• Marco Vieira, António Casimiro, Henrique Madeira, “Timely ACID Transactions in DBMS”, in Fast Abstract at the 2004 International Conference on Dependable Systems and Networks, Florence, Italy, June 2004, Jun. 2004.

• António Casimiro, Jörg Kaiser, Paulo Verissimo, “An Architectural Framework and a Middleware for Cooperating Smart Components”, in Proceedings of the First Conference on Computing Frontiers, Ischia, Italy, April 2004, Apr. 2004.

• Paulo Verissimo, Jörg Kaiser, António Casimiro, “An architecture to support interaction via Generic Events”, in 24th IEEE Real-time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, December 2003, Dec. 2003.

• V. Cahill, António Casimiro, Jörg Kaiser, Pedro Martins, V. Reynolds, Paulo Sousa, Paulo Verissimo, M. Wu, “Proof-of-concept prototypes”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-20, Department of Computer Science, University of Lisbon. July 2003

• G. Biegel, G. Blair, C. Brudna, V. Cahill, António Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, Jörg Kaiser, R. Meier, V. Reynolds, Paulo Verissimo, M. Wu, “The CORTEX Programming Model”, Missing institution, Tech. Rep., Apr. 2003. Technical Report DI/FCUL TR-03-19, Department of Computer Science, University of Lisbon. July 2003

• G. Blair, C. Brudna, V. Cahill, António Casimiro, R. Cunningham, H. Duran-Limon, Jörg Kaiser, Pedro Martins, Paulo Verissimo, “Preliminary Specification of Basic Services and Protocols”, Missing institution, Tech. Rep., Feb. 2003. Technical Report DI/FCUL TR-03-18, Department of Computer Science, University of Lisbon. July 2003

• Paulo Verissimo, António Casimiro, “Event-Driven Support of Real-Time Sentient Objects”, in Proceedings of the Eighth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2003), Guadalajara, Mexico, Jan 2003, Jan. 2003.

• Paulo Verissimo, António Casimiro, “The Timely Computing Base Model and Architecture”, IEEE Transactions on Computers - Special Issue on Asynchronous Real-Time Systems, vol. 51, n. 8, Aug 2002, Aug. 2002.

• António Casimiro, Paulo Verissimo, “Generic Timing Fault Tolerance using a Timely Computing Base”, in Proceedings of the International Conference on Dependable Systems and Networks, Washington D.C., USA, June 2002, Jun. 2002.

• C. Brudna, V. Cahill, António Casimiro, R. Cunningham, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX system architecture”, Missing institution, Tech. Rep., Apr. 2002. Technical Report DI/FCUL TR-03-17, Department of Computer Science, University of Lisbon. July 2003

• P. Barron, G. Biegel, V. Cahill, António Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, Paulo Verissimo, “Preliminary definition of CORTEX programming model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-15, Department of Computer Science, University of Lisbon. July 2003

• G. Biegel, C. Brudna, António Casimiro, Jörg Kaiser, C. Liu, C. Mitidieri, Paulo Verissimo, “Preliminary definition of CORTEX interaction model”, Missing institution, Tech. Rep., Mar. 2002. Technical Report DI/FCUL TR-03-16, Department of Computer Science, University of Lisbon. July 2003

• Paulo Verissimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, Jörg Kaiser, “CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities”, in Proceedings of European Wireless 2002, Florence, Italy, February 2002, Feb. 2002.

• Paulo Verissimo, V. Cahill, António Casimiro, K. Cheverst, A. Friday, Jörg Kaiser, “CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects”, Missing institution, Tech. Rep., Feb. 2002. Technical Report DI/FCUL TR-02-1, Department of Computer Science, University of Lisbon. Feb 2002

• António Casimiro, Miguel Correia, “Recent Advances on the Timely Computing Base Model”, in Fast Abstract at the International Conference on Dependable Systems and Networks, Jan. 2002.

• António Casimiro, Pedro Martins, Paulo Verissimo, Luís Rodrigues, “Measuring Distributed Durations with Stable Errors”, in Proceedings of the 22nd IEEE Real-Time Systems Symposium, London, UK, December 2001, Dec. 2001.

• António Casimiro, Paulo Verissimo, “Using the Timely Computing Base for Dependable QoS Adaptation”, in Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems, New Orleans, USA, October 2001, Oct. 2001.

• G. Biegel, G. Blair, V. Cahill, António Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, Jörg Kaiser, R. Meier, N. Riejers, Paulo Verissimo, “Definition of Application Scenarios”, Missing institution, Tech. Rep., Oct. 2001. Technical Report DI/FCUL TR-03-14, Department of Computer Science, University of Lisbon. July 2003

• Paulo Verissimo, António Casimiro, L. M. Pinho, F. Vasques, Luís Rodrigues, E. Tovar, “Distributed Computer-Controlled Systems: the DEAR-COTS Approach.”, in in Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems, Sydney, Australia, November 2000., Nov. 2000.

• António Casimiro, Pedro Martins, Paulo Verissimo, “How to Build a Timely Computing Base using Real-Time Linux”, in in Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems, Porto, Portugal, September 2000., Sept. 2000.

• Pedro Martins, António Casimiro, “Event Timestamping Tool: a simple PC based kernel to timestamp distributed events”, Missing institution, Tech. Rep., Jul. 2000. Technical Report DI/FCUL TR-00-4, Department of Informatics, University of Lisboa, July 2000

• Paulo Verissimo, António Casimiro, C. Fetzer, “The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness”, in in Proceedings of the 1st International Conference on Dependable Systems and Networks, New York, USA, June 2000., Jun. 2000.

• António Casimiro, Paulo Verissimo, “Timing Failure Detection with a Timely Computing Base.”, Missing institution, Tech. Rep., Nov. 1999. Technical Report DI/FCUL TR-99-8, Department of Informatics, University of Lisboa, November 1999

• Paulo Verissimo, António Casimiro, “The Timely Computing Base”, Missing institution, Tech. Rep., May 1999. Technical Report DI/FCUL TR-99-2, Department of Informatics, University of Lisboa, May 1999

• António Casimiro, Paulo Verissimo, “Timing Failure Detection with a Timely Computing Base”, in 3rd European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 23-28, 1999, Apr. 1999.

• Paulo Verissimo, Luís Rodrigues, António Casimiro, “Cesiumspray: a precise and accurate global clock service for large-scale systems”, May 1997. Journal of Real-Time Systems, 12(3), pp.243-294. Kluwer Academic Publishers, May 1997.

• Paulo Verissimo, Sérgio Melro, António Casimiro, Luís Silva, “Distributed Industrial Information Systems: Design and Experience”, in June 1996. Proceedings of the 2nd IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems (BASYS'96). Lisboa, Portugal, Jun. 1996.

• Luís Rodrigues, António Casimiro, Paulo Verissimo, “Priority-based totally ordered multicast”, in May 1995. Proceedings of the 3rd IFAC/IFIP workshop on Algorithms and Architectures for Real-Time Control (AARTC'95). Ostend, Belgium, May 1995.

• Luís Rodrigues, Paulo Verissimo, António Casimiro, “Using atomic broadcast to implement a posteriori agreement for clock synchronization”, in October 1993. Proceedings of the 12th Symposium on Reliable Distributed Systems. Princeton, New Jersey, USA, Oct. 1993.