| 2021 |
Lion Silva, Naércio Magaia, Breno Sousa, Anna Kobusińska, António Casimiro, Constandinos Mavromoustakis, George Mastorakis, Victor Hugo Costa de Alburquerque
Computing Paradigms in Emerging Vehicular Environments: A Review
IEEE/CAA Journal of Automatica Sinica, vol. 8, no. 3, pp.491-511, March 2021.
|
|
| 2020 |
José Cecílio, Pedro Miguel Ferreira, António Casimiro
Evaluation of LoRa Technology in Flooding Prevention Scenarios
Sensors, vol. 20, n. 14, 4034, 24 pages, July 2020.
|
Paolo Ferrari, Emiliano Sisinni, Paolo Bellagente, Stefano Rinaldi, Marco Pasetti, Alan Oliveira de Sá, Raphael C. S. Machado, Luiz F. R. da C. Carmo and António Casimiro
Model-Based Stealth Attack to Networked Control System Based on Real-Time Ethernet
IEEE Transactions on Industrial Electronics, June 2020.
|
Alan Oliveira de Sá, 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, n. 3, 792, 25 pages, January 2020.
|
|
| 2019 |
António Casimiro, Emelie Ekenstedt and Elad M. Schiller
Self-stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights
Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS 2019) (Supplemental Volume), Lyon, France, October 2019.
|
António Casimiro, José Cecílio, Pedro Ferreira, Anabela Oliveira, Paula Freire, Marta Rodrigues and Luís Almeida
AQUAMON - A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments
Fast Abstract at the 38th International Conference on on Computer Safety, Reliability and Security (SAFECOMP 2019), Turku, Finland, September 2019.
|
Carlos Nascimento, António Casimiro and Pedro Ferreira
A Methodology to Automate the Selection of LPWA Technologies in WSN Applications
Proceedings of the 11º Simpósio de Informática (INFORUM 2019), Guimarães, Portugal, September 2019.
|
Alan Oliveira de Sá, António Casimiro, Raphael Carlos Santos Machado, Luiz Fernando Rust da Costa Carmo
Bio-inspired System Identification Attacks in Noisy Networked Control Systems
Proceedings of the 11th EAI International Conference on Bio-inspired Information and Communication Technologies, Pittsburgh, PA, USA, March 2019.
|
|
| 2018 |
José Rufino, Frank Singhoff, António Casimiro, Antónia Lopes, 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, 39(4), pp.278-281, December 2018.
|
José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma
Non-intrusive Runtime Verification within a System-on-Chip
Ada User Journal, 39(4), pp.296-299, December 2018.
|
Gonçalo Jesus, António Casimiro and Anabela Oliveira
Dependable Outlier Detection in Harsh Environments Monitoring Systems
13th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded and Cyber-physical Systems and Systems-of-Systems (DECSoS 2018), Västerås, Sweden, September 2018.
|
Georg Jäger, Sebastian Zug, António Casimiro
Generic Sensor Failure Modeling for Cooperative Systems
Sensors, vol. 18, n. 3, 925, 31 pages, March 2018.
|
|
| 2017 |
Gonçalo Jesus, António Casimiro and Anabela Oliveira
A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks
Sensors, vol. 17, n. 9, 23 pages, September 2017.
|
António Casimiro, Inês Gouveia and José Rufino
Enforcing Timeliness and Safety in Mission-Critical Systems
Proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017.
|
André Nogueira, António Casimiro, Alysson Bessani
Elastic State Machine Replication
IEEE Transactions on Parallel and Distributed Systems, vol. 28, no. 9, pp. 2486-2499, Sept. 1 2017.
|
|
| 2015 |
Gonçalo Jesus, Anabela Oliveira, Alberto Azevedo and António Casimiro
Improving sensor-fusion with environmental models
Proceedings of 2015 IEEE Sensors, Busan, South Korea, November 2015.
|
Best paper award
Radu Onica, Nuno Ferreira Neves and António Casimiro
Fault-Tolerant Precision Time Protocol for Smart Grids
Proceedings of the 7th Simpósio de Informática (INFORUM 2015), Covilhã, Portugal, September 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
Fast Abstract at the 7th Simpósio de Informática (Inforum 2015), Covilhã, Portugal, September 2015.
|
|
| 2014 |
Eric Vial and António Casimiro
Evaluation of Safety Rules in a Safety Kernel-Based Architecture
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS 2014), Florence, Italy, September 2014.
|
Gonçalo Jesus, Anabela Oliveira and António Casimiro
Ensuring reliable measurements in remote aquatic sensor networks
Proceedings of the 11th International Conference on Hydroinformatics, New York City, USA, August 2014.
|
Filipe Araujo, Serhiy Boychenko, Raul Barbosa and António Casimiro
Replica placement to mitigate attacks on clouds
Journal of Internet Services and Applications (JISA), Volume 5 Number 1, July 2014.
|
António Casimiro, Oscar Morales-Ponce, Thomas Petig and Elad M. Schiller
Vehicular Coordination via a Safety Kernel in the Gulliver Test-bed
The Thirteenth International Workshop on Assurance in Distributed Systems and Networks (ADSN 2014), Proceedings of the 34th International Conference on Distributed Computing Systems Workshops, Madrid, Spain, June 2014.
|
António Casimiro, José Rufino, Ricardo C. Pinto, Eric Vial, Elad M. Schiller, Oscar Morales-Ponce and Thomas Petig
A Kernel-based Architecture for Safe Cooperative Vehicular Functions
Proceedings of the 2014 Symposium on Industrial Embedded Systems, Pisa, Italy, June 2014.
|
Rolf Johansson, Jörg Kaiser, António Casimiro, Renato Librino, Kenneth Östberg, José Rufino and Pedro Costa
An Architecture Pattern Enabling Safety at Lower Cost and with Higher Performance
Workshop on Embedded Real-Time Software and Systems, Toulouse, France, February 2014.
|
|
| 2013 |
Rolando Martins, Rajeev Gandhi, Priya Narasimhan, Soila Pertet, António Casimiro, Diego Kreutz, and Paulo Veríssimo
Experiences with Fault-Injection in a Byzantine Fault-Tolerant Protocol
Proceedings of the 14th ACM/IFIP/USENIX International Middleware Conference, Beijing, China, December 2013.
|
Luís Marques and António Casimiro
Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models
Proceedings of the 32nd IEEE Symposium on Reliable Distributed Systems (SRDS'13), Braga, Portugal, September 2013.
|
Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, and José Rufino
Safety Kernel for Cooperative Sensor-Based Systems
2nd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, September 2013.
|
António Casimiro, Jörg Kaiser, Elad Michael Schiller, Pedro Costa, José Parizi, Rolf Johansson, and Renato Librino
The KARYON Project: Predictable and Safe Coordination in Cooperative Vehicular Systems
2nd Workshop on Open Resilient Human-aware Cyber-Physical Systems, Budapest, Hungary, June 2013.
|
João Alves, António Casimiro, and Luís Marques
Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks
LNCS 7869. Proceedings of the 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.
|
Gonçalo Jesus, António Casimiro, and Anabela Oliveira
Towards Dependable Measurements in Coastal Sensors Networks
LNCS 7869. Proceedings of the 14th European Workshop on Dependable Computing, Coimbra, Portugal, May 2013.
|
|
| 2012 |
Filipe Araujo, Raul, Barbosa, and António Casimiro
Replication for Dependability on Virtualized Cloud Environments
Proceedings of the 10th International Workshop on Middleware for Clouds and e-science, Montreal, Quebec, Canada, December 2012.
|
António Casimiro, Jörg Kaiser, Johan Karlsson, Elad M. Schiller, Philippas Tsigas, Pedro Costa, José Parizi, Rolf Johansson, and Renato Librino
KARYON: Towards Safety Kernels for Cooperative Vehicular Systems
Brief Announcement at the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Totonto, Canada, October 2012.
|
Luís Marques and António Casimiro
Towards Dependable and Stable Perception in Smart Environments with Timing and Value Faults
Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS'12), Proceedings of SAFECOMP 2012 Workshops, Magdeburg, Germany, September 2012.
|
Mônica Dixit, António Casimiro, Paolo Lolinni, Andrea Bondavalli
and Paulo Veríssimo
Adaptare: Supporting automatic and dependable
adaptation in dynamic environments
ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 7 Issue 2, July 2012.
|
António Casimiro, Paulo Veríssimo, Diego Kreutz, Filipe Araújo, Raúl Barbosa, Samuel Neves, Bruno Sousa, Marília Curado, Carlos Silva, Rajeev Gandhi and Priya Narasimhan
TRONE: Trustworthy and Resilient Operations in a Network Environment
The Second International Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV'12), Proceedings of the 2012 IEEE/IFIP 42nd Dependable Systems and Networks Workshops, Boston, MA, USA, June 2012.
|
Amir Soltani Nezhad, António Casimiro and Paulo Veríssimo
A Secure Architecture for a Recursive Virtualization Environment
Fast Abstract Proceedings of the International Conference on Dependable Systems and Networks (DSN'12), Boston, MA, USA, June 2012.
|
Diego Kreutz, António Casimiro and Marcelo Pasin
A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures
Proceedings of the 12th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'12), LNCS 7272, pp 87-95, Stockholm, Sweden, June 2012.
|
Mônica Dixit, Henrique Moniz and António Casimiro
Timeout-based Adaptive Consensus: Improving Performance through Adaptation
Proceedings of the 27th ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track, Riva del Garda (Trento), Italy, March 2012.
|
|
| 2011 |
Smruti Padhy, Diego Kreutz, António Casimiro and Marcelo Pasin
Trustworthy and Resilient Monitoring System for Cloud Infrastructure
Proceedings of ACM/IFIP/USENIX 12th International Middleware Conference, Poster session, Lisbon, Portugal, December 2011.
|
Luís Marques, António Casimiro
Lightweight Dependable Adaptation for Wireless Sensor Networks
4th International Workshop on Dependable Network Computing and Mobile Systems (DNCMS'11),
in Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems Workshops
(SRDS'11),Madrid, Spain, October 2011.
|
António Casimiro, Mônica Dixit
From static to dynamic protocols: adapting timeouts for
improved performance
Proceedings of the I Workshop on Autonomic Distributed Systems (WoSIDA'11), Campo Grande, Brazil, May 2011.
|
|
| 2010 |
Mônica Dixit and António Casimiro
Adaptare-FD: A dependability-oriented adaptive failure detector
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS'10), New Delhi, India, November 2010.
|
Luís Marques and António Casimiro
Data Validity and Dependable Perception in Networked Sensor-Based Systems
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.
|
Luís Marques and António Casimiro
Dependable Perception in Wireless Sensor Networks
Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, Braga, Portugal, September 2010.
|
|
| 2009 |
António Casimiro, José Rufino, Luís Marques, Mário Calha and Paulo Veríssimo
Applying architectural hybridization in networked embedded systems
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.
|
Luís Marques and António Casimiro
Design and Development of a COTS-based Real-time Executive for Safety-critical Vehicular Applications
Proceedings of Simpósio de Informática (Inforum 2009), WIP Session, Lisboa, Portugal, September 2009.
|
Luís Marques, António Casimiro and M. Calha
Design and development of a proof-of-concept platooning application using the HIDENETS architecture
Proceedings of the 2009 IEEE/IFIP Conference on Dependable Systems and Networks, Estoril, Lisboa, Portugal, June 2009.
|
Mônica Dixit, António Casimiro and P. Veríssimo
Probabilistic Adaptive Time-Aware Consensus
Eurosys 2009, WIP session, Nuremberg, Germany, March 2009.
|
|
| 2008 |
Mônica Dixit, António Casimiro, Nuno Laranjeiro and Marco Vieira
Using Experimental Measurements to Assess Dependable Adaptation Support Mechanisms for Timed Transactions
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.
|
António Casimiro, Paolo Lollini, Mônica Dixit, Andrea Bondavalli and Paulo Veríssimo
A framework for dependable QoS adaptation in probabilistic environments
Proceedings of the 23rd ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC'08), Fortaleza, Ceara, Brazil, March 2008.
|
|
| 2007 |
Henrique Moniz, Nuno F. Neves, Miguel Correia, António Casimiro and Paulo Verissimo
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'07), Melbourne, Victoria, Australia, December 2007.
|
Hans P. Reiser and António Casimiro
Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks
4th International Workshop on Dependable Embedded Systems (WDES'07), Bejing, China, October 2007.
|
Hugo Ortiz, António Casimiro and Paulo Veríssimo
Architecture and Implementation of an Embedded Wormhole
In Proceedings of the 2007 Symposium on Industrial Embedded Systems (SIES'07), Lisbon, Portugal, July 2007.
|
António Casimiro, Marco Vieira and Henrique Madeira
Middleware Support for Time-Elastic Database Applications
Fast Abstract at the 2007 International Conference on Dependable Systems and Networks (DSN'07), Edimburgh, UK, June 2007.
|
Marco Vieira, António Casimiro and Henrique Madeira
Towards Timely ACID Transactions in DBMS
The 12th International Conference on Database Systems for Advanced Applications (DASFAA'07), Bangkok, Thailand, April 2007.
|
|
| 2006 |
|
| 2005 |
Marco Vieira, António Casimiro and Henrique Madeira
TACID Transactions
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 1st Workshop on Hot Topics in System Dependability (HotDep'05), Yokohama, Japan, June 2005.
|
Pedro Martins, Paulo Sousa, António Casimiro and Paulo Veríssimo
A New Programming Model for Dependable Adaptive Real-Time Applications
IEEE Distributed Systems Online, vol.6, n.5, May 2005
|
|
| 2004 |
Pedro Martins, António Casimiro and Paulo Veríssimo
A Generic Temporal Consistency Model for Distributed Control Systems
Workshop on Architectures for Cooperative Embedded Real-Time Systems (WACERTS'04), Lisbon, Portugal, December 2004.
|
Pedro Martins, Paulo Sousa, António Casimiro and Paulo Veríssimo
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004.
|
Marco Vieira, António Casimiro and Henrique Madeira
Timely ACID Transactions in DBMS
Fast Abstract at the 2004 International Conference on Dependable Systems and Networks (DSN'04), Florence, Italy, June 2004.
|
António Casimiro, Jörg Kaiser and Paulo Veríssimo
An Architectural Framework and a Middleware for Cooperating Smart Components
Proceedings of the First Conference on Computing Frontiers (FRONTIERS'04), Ischia, Italy, April 2004.
|
|
| 2003 |
Paulo Veríssimo, Jörg Kaiser and António Casimiro
An architecture to support interaction via Generic Events
24th IEEE Real-time Systems Symposium (RTSS'03), Work in Progress Proceedings, Cancun, Mexico, December 2003.
|
Paulo Sousa, Pedro Martins, António Casimiro and Paulo Veríssimo
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios
6a Conferência sobre Redes de Computadores (CRC'03), Bragança, Portugal, Setembro 2003.
|
Paulo Veríssimo and António Casimiro
Event-Driven Support of Real-Time Sentient Objects
Proceedings of 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'03), Guadalajara, Mexico, January 2003.
|
|
| 2002 |
Paulo Veríssimo and António Casimiro
The Timely Computing Base Model and Architecture
IEEE Transactions on Computers - Special Section on Asynchronous Real-Time Systems, 51(8):916-930, August 2002.
|
António Casimiro and Paulo Veríssimo
Generic Timing Fault Tolerance using a Timely Computing Base
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN'02), Washington D.C., USA, June 2002.
|
Paulo Veríssimo, Vinny Cahill, António Casimiro, Keith Cheverst, Adrian Friday and Jörg Kaiser
CORTEX: Towards Supporting Autonomous and Cooperating Sentient Entities
Proceedings of European Wireless 2002 (EW'02), Florence, Italy, February 2002.
|
|
| 2001 |
António Casimiro, Pedro Martins, Paulo Veríssimo and Luís Rodrigues
Measuring Distributed Durations with Stable Errors
Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS'01), London, UK, December 2001.
|
António Casimiro and Paulo Veríssimo
Using the Timely Computing Base for Dependable QoS Adaptation
Proceedings of the 20th IEEE Symposium on Reliable Distributed Systems (SRDS'01), New Orleans, USA, October 2001.
|
António Casimiro and Miguel Correia
Recent Advances on the Timely Computing Base Model
Fast Abstract Proceedings of the International Conference on Dependable Systems and Networks (DSN'01), Göteborg, Sweden, June 2001.
|
|
| 2000 |
Paulo Veríssimo, António Casimiro, Luís M. Pinho, Francisco Vasques, Luís Rodrigues and Eduardo Tovar
Distributed Computer-Controlled Systems: the DEAR-COTS Approach
Proceedings of the 16th IFAC Workshop on Distributed Computer Control Systems (DCCS'00), Sydney, Australia, November 2000.
|
António Casimiro, Pedro Martins and Paulo Veríssimo
How to Build a Timely Computing Base using Real-Time Linux
Proceedings of the 2000 IEEE International Workshop on Factory Communication Systems (WFCS'00), Porto, Portugal, September 2000.
|
Paulo Veríssimo, António Casimiro and Christof Fetzer
The Timely Computing Base: Timely Actions in the Presence of Uncertain Timeliness
Proceedings of the International Conference on Dependable Systems and Networks (DSN'00), New York, USA, June 2000.
|
|
| 1999 |
Paulo Veríssimo and António Casimiro
The Timely Computing Base
Fast Abstract Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing (FTCS'99), Madison, Wiscosin, USA, June 1999.
|
António Casimiro and Paulo Veríssimo
Timing Failure Detection with a Timely Computing Base
Third European Research Seminar on Advances in Distributed Systems (ERSADS'99), Madeira Island, Portugal, April 1999.
|
|
| 1997 |
|
| 1996 |
|
| 1995 |
Luís Rodrigues, António Casimiro and Paulo Veríssimo
Priority-based totally ordered multicast
Proceedings of the 3rd IFAC/IFIP workshop on Algorithms and Architectures for Real-Time Control (AARTC'95), Ostend, Belgium, May 1995.
|
|
| 1993 |
|
| 2018 |
|
| 2012 |
|
| 2010 |
|
| 2009 |
|
| 2007 |
António Casimiro, Paolo Lolinni, Mônica Dixit, Andrea Bondavalli and Paulo Veríssimo
A framework for dependable adaptation in probabilistic environments
Technical Report DI/FCUL TR-07-24, Department of Informatics, University of Lisboa, October 2007
|
J. Arlat, M. Kâaniche, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, G. Huszerl, M-O. Killijian, A. Kövi, Y. Liu, P. Lollini, E.V. Matthiesen, M. Radimirsch, T. Renier, N. Rivière, M. Roy, H-P. Schwefel, I-E. Svinnset and H. Waeselynck
Revised reference model
Technical Report DI/FCUL TR-07-20, Department of Informatics, University of Lisboa, September 2007
|
A. Casimiro, A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, F. Di Giandomenico, G. Huszerl, M.-O. Killijian, A. Kövi, E.V. Matthiesen, O. Mendizabal, H. Moniz, T. Renier and M. Roy
Resilient architecture (preliminary version)
Technical Report DI/FCUL TR-07-19, Department of Informatics, University of Lisboa, September 2007
|
M. Radimirsch, E.V. Matthiesen, G. Huszerl, M. Reitenspieß, M. Kâaniche, I.E. Svinnset, A. Casimiro and L. Falai
Use case scenarios and preliminary reference model
Technical Report DI/FCUL TR-07-18, Department of Informatics, University of Lisboa, September 2007
|
|
| 2003 |
Paulo Sousa, Pedro Martins, António Casimiro and Paulo Veríssimo
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios
Technical Report DI/FCUL TR-03-23, Department of Informatics, University of Lisboa, July 2003
|
V. Cahill, A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Veríssimo and M. Wu
Proof-of-concept prototypes
Technical Report DI/FCUL TR-03-20, Department of Informatics, University of Lisboa, July 2003
|
G. Biegel, G. Blair, C. Brudna, V. Cahill, A. Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, J. Kaiser, R. Meier, V. Reynolds, P. Veríssimo and M. Wu
The CORTEX Programming Model
Technical Report DI/FCUL TR-03-19, Department of Informatics, University of Lisboa, July 2003
|
G. Blair, C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, P. Martins and P. Veríssimo
Preliminary Specification of Basic Services and Protocols
Technical Report DI/FCUL TR-03-18, Department of Informatics, University of Lisboa, July 2003
|
C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, J. Kaiser, R. Meier and P. Veríssimo
Preliminary definition of CORTEX system architecture
Technical Report DI/FCUL TR-03-17, Department of Informatics, University of Lisboa, July 2003
|
G. Biegel, C. Brudna, A. Casimiro, J. Kaiser, C. Liu, C. Mitidieri and P. Veríssimo
Preliminary definition of CORTEX interaction model
Technical Report DI/FCUL TR-03-16, Department of Informatics, University of Lisboa, July 2003
|
P. Barron, G. Biegel, V. Cahill, A. Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, J. Kaiser, R. Meier and P. Veríssimo
Preliminary definition of CORTEX programming model
Technical Report DI/FCUL TR-03-15, Department of Informatics, University of Lisboa, July 2003
|
G. Biegel, G. Blair, V. Cahill, A. Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, J. Kaiser, R. Meier, N. Riejers and P. Veríssimo
Definition of Application Scenarios
Technical Report DI/FCUL TR-03-14, Department of Informatics, University of Lisboa, July 2003
|
|
| 2002 |
|
| 2001 |
|
| 2000 |
|
| 1999 |
|
| 1995 |
|
| 1991 |
Luís Rodrigues, Paulo Veríssimo and António Casimiro
xAMp Time Service Specification
Technical Report, RT/66-91, Delta-4 Project, INESC, Lisboa, Portugal, October 1991
|
António Casimiro, Luís Rodrigues and Henrique Fonseca
Design Specification of the xAMp Time Service
Technical Report, RT/65-91, Delta-4 Project, INESC, Lisboa, Portugal, October 1991
|
António Casimiro, Luís Rodrigues and Henrique Fonseca
xAMp Time Service User Specification
Technical Report, RT/64-91, Delta-4 Project, INESC, Lisboa, Portugal, October 1991
|
|
