Publications

Export 95 results:
Filters: Author is Casimiro, Antonio  [Clear All Filters]
Book Chapter
Casimiro, A., J. Rufino, L. Marques, M. Calha, and P. Verissimo, "Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
Casimiro, A., J. Kaiser, J. Karlsson, E. Michael Schiller, P. Tsigas, P. Costa, J. Parizi, R. Johansson, and R. Librino, "Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
Verissimo, P., S. Melro, A. Casimiro, and L. Silva, "Distributed industrial information systems: design and experience", Balanced Automation Systems II: Springer US, pp. 175–190, 1996.
Vial, E., and A. Casimiro, "Evaluation of Safety Rules in a Safety Kernel-Based Architecture", Computer Safety, Reliability, and Security: Springer International Publishing, pp. 27–35, 2014.
Martins, R., R. Gandhi, P. Narasimhan, S. Pertet, A. Casimiro, D. Kreutz, and P. Verissimo, "Experiences with fault-injection in a Byzantine fault-tolerant protocol", Middleware 2013: Springer Berlin Heidelberg, pp. 41–61, 2013.
Casimiro, A., J. Kaiser, and P. Verissimo, "Generic-Events Architecture: Integrating real-world aspects in event-based systems", Architecting dependable systems IV: Springer Berlin Heidelberg, pp. 287–315, 2007.
Alves, J., A. Casimiro, and L. Marques, "Middleware support for adaptive real-time applications in wireless sensor networks", Dependable Computing: Springer Berlin Heidelberg, pp. 16–23, 2013.
Marques, L., and A. Casimiro, "Towards dependable and stable perception in smart environments with timing and value faults", Computer Safety, Reliability, and Security: Springer Berlin Heidelberg, pp. 151–161, 2012.
Jesus, G. Joao Vitor, A. Casimiro, and A. Oliveira, "Towards Dependable Measurements in Coastal Sensors Networks", Dependable Computing: Springer Berlin Heidelberg, pp. 190–193, 2013.
Kreutz, D., A. Casimiro, and M. Pasin, "A trustworthy and resilient event broker for monitoring cloud infrastructures", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 87–95, 2012.
Conference Paper
Dixit, M., and A. Casimiro, "Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.", SRDS, pp. 141–147, 2010.
Casimiro, A., J. Kaiser, and P. Verissimo, "An architectural framework and a middleware for cooperating smart components", Proceedings of the 1st Conference on Computing Frontiers: ACM, pp. 28–39, 2004.
Ortiz, H., A. Casimiro, and P. Verissimo, "Architecture and Implementation of an Embedded Wormhole", Industrial Embedded Systems, 2007. SIES'07. International Symposium on: IEEE, pp. 341–344, 2007.
Marques, L., and A. Casimiro, "Data validity and dependable perception in networked sensor-based systems", Reliable Distributed Systems, 2010 29th IEEE Symposium on: IEEE, pp. 358–362, 2010.
Martins, P., P. Sousa, A. Casimiro, and P. Venssimo, "Dependable adaptive real-time applications in wormhole-based systems", Dependable Systems and Networks, 2004 International Conference on: IEEE, pp. 567–572, 2004.
Jesus, G., A. Casimiro, and A. Oliveira, "Dependable Outlier Detection in Harsh Environments Monitoring Systems", International Conference on Computer Safety, Reliability, and Security: Springer, pp. 224–233, 2018.
Marques, L., A. Casimiro, and M. Calha, "Design and development of a proof-of-concept platooning application using the hidenets architecture", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 223–228, 2009.
Casimiro, A., I. Gouveia, and J. Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
Verissimo, P., and A. Casimiro, "Event-driven support of real-time sentient objects", Object-Oriented Real-Time Dependable Systems, 2003.(WORDS 2003). Proceedings of the Eighth International Workshop on: IEEE, pp. 2–9, 2003.
Onica, R., N. Ferreira Neves, and A. Casimiro, "Fault-Tolerant Precision Time Protocol for Smart Grids", Proceedings of the 7th Simposio de Informatica (INFORUM), Covilha, Portugal, 2015.
Marques, L., and A. Casimiro, "Fighting Uncertainty in Highly Dynamic Wireless Sensor Networks with Probabilistic Models", Reliable Distributed Systems (SRDS), 2013 IEEE 32nd International Symposium on: IEEE, pp. 31–40, 2013.
Casimiro, A., P. Lollini, M. Dixit, A. Bondavalli, and P. Verissimo, "A framework for dependable QoS adaptation in probabilistic environments", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 2192–2196, 2008.
Casimiro, A., and P. Verissimo, "Generic timing fault tolerance using a timely computing base", Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on: IEEE, pp. 27–36, 2002.
Casimiro, A., P. Martins, and P. Verissimo, "How to build a timely computing base using real-time linux", Factory Communication Systems, 2000. Proceedings. 2000 IEEE International Workshop on: IEEE, pp. 127–134, 2000.
Moniz, H., N. Ferreira Neves, M. Correia, A. Casimiro, and P. Verissimo, "Intrusion tolerance in wireless environments: An experimental evaluation", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 357–364, 2007.
Casimiro, A., J. Kaiser, E. M. Schiller, P. Costa( GMV), J. Parizi, R. Johansson, and R. Librino, "The karyon project: Predictable and safe coordination in cooperative vehicular systems", Dependable Systems and Networks Workshop (DSN-W), 2013 43rd Annual IEEE/IFIP Conference on: IEEE, pp. 1–12, 2013.
Casimiro, A., J. Rufino, R. Pinto, E. Vial, E. M. Schiller, O. Morales-Ponce, and T. Petig, "A kernel-based architecture for safe cooperative vehicular functions", Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium on: IEEE, pp. 228–237, 2014.
Marques, L., and A. Casimiro, "Lightweight dependable adaptation for wireless sensor networks", Reliable Distributed Systems Workshops (SRDSW), 2011 30th IEEE Symposium on: IEEE, pp. 26–35, 2011.
Casimiro, A., P. Martins, P. Verissimo, and L. Rodrigues, "Measuring distributed durations with stable errors", Real-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE: IEEE, pp. 310–319, 2001.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Priority-based totally ordered multicast", 3rd IFIP/IFAC workshop on Algorithms and Architectures for Real-Time Control (AARTC'95: Citeseer, 1995.
Araujo, F., R. Barbosa, and A. Casimiro, "Replication for dependability on virtualized cloud environments", Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science: ACM, pp. 2, 2012.
Verissimo, P., A. Casimiro, and C. Fetzer, "The timely computing base: Timely actions in the presence of uncertain timeliness", Dependable Systems and Networks, 2000. DSN 2000. Proceedings International Conference on: IEEE, pp. 533–542, 2000.
Dixit, M., H. Moniz, and A. Casimiro, "Timeout-based adaptive consensus: improving performance through adaptation", Proceedings of the 27th Annual ACM Symposium on Applied Computing: ACM, pp. 492–497, 2012.
Casimiro, A., P. Verissimo, D. Kreutz, F. Araujo, R. Barbosa, S. Neves, B. Sousa, M. Curado, C. Silva, R. Gandhi, et al., "TRONE: Trustworthy and resilient operations in a network environment", Dependable Systems and Networks Workshops (DSN-W), 2012 IEEE/IFIP 42nd International Conference on: IEEE, pp. 1–6, 2012.
Padhy, S., D. Kreutz, A. Casimiro, and M. Pasin, "Trustworthy and resilient monitoring system for cloud infrastructures", Proceedings of the Workshop on Posters and Demos Track: ACM, pp. 3, 2011.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Using atomic broadcast to implement a posteriori agreement for clock synchronization", Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on: IEEE, pp. 115–124, 1993.
Casimiro, A., and P. Verissimo, "Using the timely computing base for dependable qos adaptation", Reliable Distributed Systems, 2001. Proceedings. 20th IEEE Symposium on: IEEE, pp. 208–217, 2001.
Casimiro, A., O. Morales Ponce, T. Petig, and E. M. Schiller, "Vehicular Coordination via a Safety Kernel in the Gulliver Test-Bed", Distributed Computing Systems Workshops (ICDCSW), 2014 IEEE 34th International Conference on: IEEE, pp. 167–176, 2014.
Journal Article
Dixit, M., A. Casimiro, P. Lollini, A. Bondavalli, and P. Verissimo, "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol. 7, no. 2: ACM, pp. 18, 2012.
Johansson, R., J. Kaiser, A. Casimiro, R. Librino, K. Ö. stberg, J. Rufino, and P. Costa, "An architecture pattern enabling safety at lower cost and with higher performance", Embedded Real Time Software and Systems Conference, Toulouse, France, 2014.
Verissimo, P., J. Kaiser, and A. Casimiro, "An architecture to support interaction via Generic Events", 24th IEEE Real–time Systems Symposium, Work in Progress Proceedings, Cancun, Mexico, 2003.
Verissimo, P., L. Rodrigues, and A. Casimiro, "Cesiumspray: a precise and accurate global time service for large-scale systems", Real-Time Systems, vol. 12, no. 3: Kluwer Academic Publishers, pp. 243–294, 1997.
Sousa, P., P. Martins, A. Casimiro, and P. Verissimo, Concretização de um cenário de carros cooperantes num ambiente móvel sem fios, : Department of Informatics, University of Lisbon, 2003.
Biegel, G., G. Blair, C. Brudna, V. Cahill, A. Casimiro, S. Clarke, H. Duran-Limon, A. Fitzpatrick, A. Friday, B. Hughes, et al., The CORTEX Programming Model, : Department of Informatics, University of Lisbon, 2003.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, Cortex: Towards supporting autonomous and cooperating sentient entities, , 2002.
Verissimo, P., V. Cahill, A. Casimiro, K. Cheverst, A. Friday, and J. Kaiser, CORTEX: Towards Supporting Autonomous and Cooperating Sentient Objects, : Department of Informatics, University of Lisbon, 2002.
Biegel, G., G. Blair, V. Cahill, A. Casimiro, K. Cheverst, R. Cunningham, A. Fitzpatrick, A. Friday, G. Gaertner, B. Hughes, et al., Definition of Application Scenarios, : Department of Informatics, University of Lisbon, 2003.
Marques, L., and A. Casimiro, "Dependable Perception in Wireless Sensor Networks", Proceedings of Simpósio de Informática (Inforum 2010), WIP Session, 2010.
Marques, L., and A. 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, 2009.
Casimiro, A., O. Mendizabal, and P. Verissimo, On the development of dependable embedded applications using specialized wormholes, : 3rd International Workshop on Dependable Embedded Systems, 2006.
Verissimo, P., A. Casimiro, L. Miguel Pinho, F. Vasques, L. Rodrigues, and E. Tovar, Distributed computer-controlled systems: the DEAR-COTS approach, : IPP-Hurray Group, 2000.
Cunha, J. Carlos, K. Castelo Branc, A. Casimiro, and U. Jose C. Nunes, "Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]", IEEE Intelligent Transportation Systems Magazine, vol. 9, no. 1: IEEE, pp. 6–7, 2017.
Nogueira, A., A. Casimiro, and A. Bessani, "Elastic State Machine Replication", IEEE Transactions on Parallel and Distributed Systems: IEEE, 2017.
Oliveira, A., A. Casimiro, and G. Joao Vitor Jesus, Ensuring Reliable Measurements In Remote Aquatic Sensor Networks, , 2015.
Martins, P., and A. Casimiro, Event Timestamping Tool: a simple PC based kernel to timestamp distributed events, : Department of Informatics, University of Lisbon, 2000.
Casimiro, A., P. Lolinni, M. Dixit, A. Bondavalli, and P. Verissimo, A framework for dependable adaptation in probabilistic environments, : Department of Informatics, University of Lisbon, 2007.
Casimiro, A., and M. Dixit, "From static to dynamic protocols: adapting timeouts for improved performance", Proceedings of the 1st Workshop on Autonomic Distributed Systems, pp. 17–20, 2011.
Jäger, G., S. Zug, and A. Casimiro, "Generic Sensor Failure Modeling for Cooperative Systems", Sensors, vol. 18, no. 3: Multidisciplinary Digital Publishing Institute, pp. 925, 2018.
Martins, P., A. Casimiro, and P. Verissimo, A Generic Temporal Consistency Model for Distributed Control Systems, : WACERTS'04-Workshop on Architectures for Cooperative Embedded Real-Time Systems, 2004.
Casimiro, A., and P. Verissimo, HIDENETS–Highly Dependable IP-based Networks and Services, , 2008.
Casimiro, A., M. Vieira, and H. Madeira, "Middleware Support for Time-Elastic Database Applications", Supplemental Volume of the 2007 International Conference on Dependable Systems and Networks: IEEE Computer Society Press, pp. 406–407, 2007.
Martins, P., P. Sousa, A. Casimiro, and P. Verissimo, "A new programming model for dependable adaptive real-time applications", Distributed Systems Online, IEEE, vol. 6, no. 5: IEEE, 2005.
Rufino, J., A. Casimiro, A. Lopes, F. Singhoff, S. Rubini, V-A. Nicolas, M. Lallali, M. Dridi, J. Boukhobza, and L. Allache, "NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems", Ada User Journal, 2018.
Reiser, H. P., and A. 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, 2007.
Biegel, G., C. Brudna, A. Casimiro, J. Kaiser, C. Liu, C. Mitidieri, and P. Verissimo, Preliminary definition of CORTEX interaction model, : Department of Informatics, University of Lisbon, 2003.
Barron, P., G. Biegel, V. Cahill, A. Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, J. Kaiser, et al., Preliminary definition of CORTEX programming model, : Department of Informatics, University of Lisbon, 2003.
Brudna, C., V. Cahill, A. Casimiro, R. Cunningham, J. Kaiser, R. Meier, and P. Verissimo, Preliminary definition of CORTEX system architecture, : Department of Informatics, University of Lisbon, 2003.
Blair, G., C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, P. Martins, and P. Verissimo, Preliminary Specification of Basic Services and Protocols, : Department of Informatics, University of Lisbon, 2003.
Verissimo, P., L. Rodrigues, and A. Casimiro, Priority-based totally ordered multicast., : University of Bologna, 1995.
Cahill, V., A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Verissimo, and M. Wu, Proof-of-concept prototypes, : Department of Informatics, University of Lisbon, 2003.
Almeida, C., P. Verissimo, and A. Casimiro, "The quasi-synchronous approach to fault-tolerant and real-time communication and processing", Lisboa, Portugal, jul, 1998.
Casimiro, A., and M. Correia, "Recent Advances on the Timely Computing Base Model", Fast Abstract at the International Conference on Dependable Systems and Networks, Göteborg, Sweden, 2001.
Araujo, F., S. Boychenko, R. Barbosa, and A. Casimiro, "Replica placement to mitigate attacks on clouds", Journal of Internet Services and Applications, vol. 5, no. 1: Springer London, pp. 1–13, 2014.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, A. Kövi, EV. Matthiesen, O. Mendizabal, H. Moniz, et al., Resilient architecture, , 2007.
Casimiro, A., and , "Resilient architecture (final version)", EU FP6 IST project HIDENETS, deliverable D, vol. 2, 2008.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, F. Giandomenico, G. Huszerl, MO. Killijian, A. Kövi, et al., Resilient architecture (preliminary version), : Department of Informatics, University of Lisbon, 2007.
Arlat, J., M. Kaaniche, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, G. Huszerl, MO. Killijian, A. Kövi, et al., Revised reference model, : Department of Informatics, University of Lisbon, 2007.
de Bruin, I., A. Casimiro, L. Falai, P. Frejek, S. Heemstra de Groot, G. Huszerl, M. Kaaniche, MO. Killijian, R. Lippman, EV. Matthiesen, et al., "Specification HIDENETS laboratory set-up scenario and components", EU FP6 IST project HIDENETS, deliverable D, vol. 6, 2007.
Jesus, G., A. Casimiro, and A. Oliveira, "A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks", Sensors, vol. 17, no. 9: Multidisciplinary Digital Publishing Institute, pp. 2010, 2017.
Vieira, M., A. Casimiro, and H. Madeira, "Timely ACID Transactions in DBMS", Supplemental Volume of the 2004 International Conference on Dependable Systems and Networks: IEEE Computer Society Press, pp. 102–103, 2004.
Casimiro, A., Timely Actions in the Presence of Uncertain Timeliness, : Department of Informatics, University of Lisbon, 2003.
Verissimo, P., and A. Casimiro, "The timely computing base model and architecture", Computers, IEEE Transactions on, vol. 51, no. 8: IEEE, pp. 916–930, 2002.
Dixit, M., H. Moniz, and A. Casimiro, Timeout adaptive consensus: Improving performance through adaptation, , 2010.
Casimiro, A., and P. Verissimo, Timing failure detection with a timely computing base, : Department of Informatics, University of Lisbon, 1999.
Radimirsch, M., E. V. Matthiesen, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, L. Falai, HIDENETS. Consortium, and , "Use case scenarios and preliminary reference model", EU FP6 IST project HIDENETS, deliverable D, vol. 1, 2006.
Matthiesen, E. Vestergaar, M. Radimirsch, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, and L. Falai, Use case scenarios and preliminary reference model, : Department of Informatics, University of Lisbon, 2007.
Dixit, M., A. Casimiro, N. Laranjeiro, and M. 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 the 27th IEEE Symposium on Reliable Distributed Systems, vol. 77, 2008.
Miscellaneous
García-Valls, M., A. Casimiro, and H. P. Reiser, A few open problems and solutions for software technologies for dependable distributed systems, : Elsevier, 2017.
Casimiro, A., A. Bondavalli, H-P. Schwefel, M. Calha, M. Clemetsen, A. Daidone, M. Dixit, Z. Egel, L. Falai, F. Di Giandomenico, et al., Resilient architecture: HIDENETS D2. 1.2, , 2006.
Arlat, J., M. Kaaniche, H-P. Schwefel, Y. Liu, E. Vestergaar Matthiesen, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, et al., Revised reference model: HIDENETS D1. 2, : Aalborg Universitetsforlag, 2007.
Nickelsen, A., H-P. Schwefel, L. Jesper Grønbæk, A. Casimiro, A. Kövi, H. P. Reiser, and T. Julien Renier, Service level resilience solutions for the infrastructure domain: HIDENETS D2. 2, : Department of Electronic Systems, Aalborg University Aalborg, 2008.
de Bruin, I., A. Casimiro, M. Calha, G. Egeland, L. Falai, P. Frejek, L. Jesper Grønbæk, S. Heemstra de Groot, A. Fosselie Hansen, G. Huszerl, et al., Specification HIDENETS laboratory set-up scenario and components (Refined specification HIDENETS proof-of-concept set up): HIDENETS D6. 2, : Aalborg Universitetsforlag, 2007.
Verissimo, P., and A. Casimiro, The timely computing base. DI, : FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr. 1999. Short version appeared in the Digest of Fast Abstracts, The 29th IEEE Intl. Symposium on Fault-Tolerant Computing, Madison, USA, 1999.