Semantic search

From Navigators

Publications

• João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino, “Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems”, in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 457–472.

• 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.

• João Pedro Craveiro, “Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures”, Ph.D. dissertation, University of Lisbon, Lisbon, Portugal, Aug. 2013. Defended in 2014

• João Pedro Craveiro, José Rufino, “Global Laxity-Based Scheduling on Multiprocessor Resource Reservations”, Extended Abstract in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 12–13.

• João Pedro Craveiro, José Rufino, “Uniform Multiprocessor Periodic Resource model”, Extended Abstract in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 14–15.

• João Pedro Craveiro, Fernando Ramos, Eiman Kanjo, Nour El Mawass, “Towards an early warning system: the effect of weather on mobile phone usage. A case study in Abidjan”, in D4D book. Mobile phone data for development, Vincent Blondel, Nicolas de Cordes, Adeline Decuyper, Pierre Deville, Jacques Raguenez, Zbigniew Smoreda, Eds.. NetMob, May 2013, pp. 18:1–18:11.

• Eiman Kanjo, N El Mawass, João Pedro Craveiro, Fernando Ramos, “Social, Disconnected or In between: Mobile Data reveals urban mood”, in D4D book. Mobile phone data for development, 2013.

• João Pedro Craveiro, José Rufino, “Towards Compositional Hierarchical Scheduling Frameworks on Uniform Multiprocessors”, University of Lisbon, DI-FCUL, Tech. Rep. TR-2012-08, Dec. 2012. http://hdl.handle.net/10455/6891

• João Pedro Craveiro, Jeferson L. R. Souza, José Rufino, Vincent Gaudel, Laurent Lemarchand, Alain Plantec, Stéphane Rubini, Frank Singhoff, “Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems”, in INFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.

• João Pedro Craveiro, Rui Ormonde Silveira, José Rufino, “hsSim: an Extensible Interoperable Object-Oriented n-Level Hierarchical Scheduling Simulator”, in 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, Jul. 2012. hsSim at Google Code: https://code.google.com/p/hssim/

• João Pedro Craveiro, José Rufino, “Heterogeneous multiprocessor compositional real-time scheduling”, Extended Abstract in 3rd International Real-Time Scheduling Open Problems Seminar (RTSOPS 2012), Pisa, Italy, Jul. 2012.

• João Pedro Craveiro, Joaquim Rosa, José Rufino, “Towards Self-Adaptive Scheduling in Time- and Space-Partitioned Systems”, in 32nd IEEE Real-Time Systems Symposium (RTSS 2011) — Work-in-Progress session, Vienna, Austria, Dec. 2011.

• João Pedro Craveiro, José Rufino, Frank Singhoff, “Architecture, Mechanisms and Scheduling Analysis Tool for Multicore Time- and Space-Partitioned Systems”, ACM SIGBED Review, vol. 8, no. 3, Jul. 2011. Special issue on the ECRTS 2011WiP session (Porto, Portugal, Jul. 2011)

• Joaquim Rosa, João Pedro Craveiro, José Rufino, “Safe Online Reconfiguration of Time- and Space-Partitioned Systems”, in 9th IEEE International Conference on Industrial Informatics (INDIN 2011), Caparica, Lisbon, Portugal, Jul. 2011.

• José Rufino, João Pedro Craveiro, Paulo Verissimo, “Architecting Robustness and Timeliness in a New Generation of Aerospace Systems”, in Architecting Dependable Systems VII, António Casimiro, Rogério de Lemos, Cristina Gacek, Eds., ser. LNCS. Springer, Nov. 2010, vol. 6420.

• João Pedro Craveiro, José Rufino, “Adaptability Support in Time- and Space-Partitioned Aerospace Systems”, in Proceedings of the Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVE 2010), Lisbon, Portugal, Nov. 2010.

• João Pedro Craveiro, José Rufino, “Composability and Adaptability on a Time- and Space-Partitioned Architecture for Spacecraft Onboard Software”, Fast Abstract in the Doctoral Track of FACS 2010 - 7th Inter. Workshop on Formal Aspects of Component Software, Guimarães, Portugal, Oct. 2010.

• José Rufino, João Pedro Craveiro, Paulo Verissimo, “Building a time- and space-partitioned architecture for the next generation of space vehicle avionics”, in Proceedings of the 8th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen an der Ybbs, Austria, Oct. 2010.

• João Pedro Craveiro, José Rufino, “Schedulability Analysis in Partitioned Systems for Aerospace Avionics”, in Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2010), Bilbao, Spain, Sept. 2010.

• Joaquim Rosa, João Pedro Craveiro, José Rufino, “Exploiting AIR Composability towards Spacecraft Onboard Software Update”, in Actas do INForum - Simpósio de Informática 2010, Braga, Portugal, Sept. 2010.

• João Pedro Craveiro, José Rufino, Tobias Schoofs, James Windsor, “Flexible Operating System Integration in Partitioned Aerospace Systems”, in Actas do INForum - Simpósio de Informática 2009, Lisbon, Portugal, Sept. 2009.

• João Pedro Craveiro, “Integration of generic operating systems in partitioned architectures”, Master’s thesis, Faculty of Sciences, University of Lisbon, Sept. 2009.

• José Rufino, João Pedro Craveiro, Tobias Schoofs, Cássia Tatibana, James Windsor, “AIR Technology: a step towards ARINC 653 in space”, in Proceedings of the Eurospace "Data Systems in Aerospace" Conference (DASIA 2009), Istanbul, Turkey, May 2009.

• João Pedro Craveiro, José Rufino, Carlos Almeida, Rui Covelo, Pedro Venda, “Embedded Linux in a partitioned architecture for aerospace applications”, in Proceedings of the 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2009), Rabat, Morocco, May 2009.

• João Pedro Craveiro, “Integration of generic operating systems in partitioned architectures”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, 2009.