- Main Page
|?abstract
5 KB (663 words) - 13:17, 28 March 2022
- Publications/All
|?abstract
|?abstract
732 B (82 words) - 19:07, 14 November 2012
- Publication:Brandao11rel
|abstract=
2 KB (240 words) - 14:40, 14 January 2013
- Publication:Craveiro09msc
|abstract=The Integrated Modular Avionics (IMA) specification defines a partitioned e
2 KB (340 words) - 13:04, 15 January 2013
- Publication:Craveiro10adaptive
|abstract=The AIR (ARINC 653 in Space Real-Time Operating System) technology targets
1 KB (195 words) - 10:58, 17 January 2013
- Publication:Dixit11a
|abstract=Distributed protocols executing in uncertain environments, like the Interne
2 KB (279 words) - 17:36, 21 January 2013
- Publication:Moniz09raptor
|abstract=This chapter introduces the reader to the benefits of distributed computing
1 KB (145 words) - 17:12, 14 January 2013
- Publications
|?abstract
|?abstract
7 KB (836 words) - 13:12, 28 March 2022
- Project:CORTEX
#*defining adequate abstract network models and providing mappings for the various network types envisag
4 KB (639 words) - 10:33, 2 August 2014
- Project:COPE
|Summary===Abstract==
3 KB (485 words) - 17:45, 3 December 2012
- Project:MOOSCO
|Summary==Abstract==
2 KB (281 words) - 17:55, 3 December 2012
- Project:GODC
|Summary===Abstract==
3 KB (444 words) - 15:05, 14 November 2012
- Project:RESIST NoE
|Summary===Abstract==
3 KB (479 words) - 17:42, 3 December 2012
- Project:CaberNet
|Summary===Abstract==
5 KB (766 words) - 07:22, 2 August 2014
- Project:ESFORS
|Summary===Abstract==
5 KB (657 words) - 12:13, 7 December 2012
- Publication:Brandao2012reliabilityJBCS
|abstract=This paper considers the estimation of reliability and availability of intr
1 KB (201 words) - 15:37, 23 January 2013
- Publication:Bessani11depsky
|abstract=
2 KB (246 words) - 14:40, 14 January 2013
- Publication:Quaresma10ds
|abstract=
1 KB (148 words) - 14:40, 14 January 2013
- Publication:Spinning09
|abstract=
1 KB (186 words) - 14:41, 14 January 2013
- Publication:Veronese09b
|abstract=
2 KB (211 words) - 14:41, 14 January 2013
- Publication:Reiser-Spare-eurosys11
|abstract=
2 KB (311 words) - 14:40, 14 January 2013
- Publication:SouzaAndRuf-UBICOMM-2011
|abstract=
2 KB (207 words) - 14:40, 14 January 2013
- Publication:Antunes11b
|abstract=
1 KB (190 words) - 14:40, 14 January 2013
- Publication:Lmarques11a
|abstract=
1 KB (190 words) - 14:40, 14 January 2013
- Publication:Pbftbc09
|abstract=
1 KB (189 words) - 14:41, 14 January 2013
- Publication:Couto09b
|abstract=The increasing use of citation impact indexes for evaluation and comparison
2 KB (292 words) - 17:00, 14 January 2013
- Publication:Casimiro09a
|abstract=
2 KB (271 words) - 14:41, 14 January 2013
- Publication:Dixit09b
|abstract=Distributed protocols executing in uncertain environments, like the Interne
2 KB (268 words) - 16:55, 21 January 2013
- Publication:Correia10a
|abstract=
2 KB (240 words) - 14:40, 14 January 2013
- Publication:Junior10
|abstract=
1 KB (153 words) - 14:40, 14 January 2013
- Publication:Alchieri10wsds
|abstract=
1 KB (146 words) - 14:40, 14 January 2013
- Publication:Antunes11d
|abstract=
1 KB (185 words) - 14:40, 14 January 2013
- Publication:Sousa10highly
|abstract=
2 KB (218 words) - 14:40, 14 January 2013
- Publication:Moniz10a
|abstract=
2 KB (212 words) - 14:40, 14 January 2013
- Publication:Antunes10
|abstract=
2 KB (278 words) - 14:40, 14 January 2013
- Publication:Antunes10b
|abstract=
Fast Abstract in Supplement of the International Conference on Dependable Systems and Net
993 B (129 words) - 14:40, 14 January 2013
- Publication:Bessani10aqs-tr
|abstract=
873 B (104 words) - 14:40, 14 January 2013
- Publication:Lmarques10b
|abstract=
2 KB (276 words) - 14:40, 14 January 2013
- Publication:Lmarques10a
|abstract=
866 B (106 words) - 14:40, 14 January 2013
- Publication:Rosa10inforum
|abstract=The AIR architecture, developed to meet the interests of the aerospace
1 KB (181 words) - 10:53, 17 January 2013
- Publication:Antunes11ewdc
|abstract=
2 KB (209 words) - 14:40, 14 January 2013
- Publication:Casimiro11a
|abstract=
1 KB (170 words) - 14:40, 14 January 2013
- Publication:Kauer11recvm
|abstract=
2 KB (241 words) - 14:40, 14 January 2013
- Publication:Craveiro11ECRTSwip
|abstract=Time- and space-partitioned systems (TSP) are a current trend in aerospace.
1 KB (203 words) - 14:55, 14 January 2013
- Publication:Craveiro12sapient
|abstract=This paper describes the SAPIENT (Scheduling Analysis Principles and Tool f
1 KB (141 words) - 14:34, 3 December 2012
- Publication:Garcia11osdiversity
|abstract=
2 KB (212 words) - 14:40, 14 January 2013
- Publication:Sousa10typhon
|abstract=The Kerberos v5 standard specifies how the clients and services of a distri
1 KB (191 words) - 18:13, 17 July 2014
- Publication:Craveiro10etfa
|abstract=Aerospace mission systems’ size, weight and power consumption requirement
1 KB (172 words) - 10:55, 17 January 2013
- Publication:Bessani10aqs-hd
|abstract=
1 KB (126 words) - 14:40, 14 January 2013
- Publication:Moniz10ritas
|abstract=
1 KB (195 words) - 14:40, 14 January 2013
- Publication:Veronese10ebawa
|abstract=
2 KB (229 words) - 14:40, 14 January 2013
- Publication:Nogueira11
|abstract=Hard real-time operating systems have been mostly designed
1 KB (203 words) - 10:17, 23 July 2014
- Publication:Rufino10seus
|abstract=Future space systems require innovative computing system architectures, on
1 KB (206 words) - 10:55, 17 January 2013
- Publication:Craveiro10facs
|abstract=Space systems of the future demand for innovative computer architectures, e
|intype=Fast Abstract in the Doctoral Track of
2 KB (276 words) - 10:56, 17 January 2013
- Publication:Couto09a
|abstract=The increasing use of citation impact metrics for evaluation and comparison
2 KB (233 words) - 16:59, 14 January 2013
- Publication:Dixit10a
|abstract=
2 KB (219 words) - 14:40, 14 January 2013
- Publication:Dixit10b
|abstract=Algorithms for solving distributed system problems, such as consensus,
1 KB (216 words) - 17:01, 14 January 2013
- Publication:Rufino10ads
|abstract=Aerospace systems have strict dependability and real-time
2 KB (220 words) - 10:57, 17 January 2013
- Publication:Moniz09healer
|abstract=
2 KB (239 words) - 14:41, 14 January 2013
- Publication:JSouzaAndRuf09-ISWN
|abstract=
1 KB (188 words) - 14:41, 14 January 2013
- Publication:Craveiro09INForum
|abstract=The ARINC 653-based AIR (ARINC 653 in Space Real-Time Operating System) arc
1 KB (195 words) - 10:53, 17 January 2013
- Publication:Marques09b
|abstract=
1 KB (174 words) - 14:41, 14 January 2013
- Publication:JSouzaAndRuf09-WHIWN
|abstract=
1 KB (175 words) - 14:41, 14 January 2013
- Publication:Antunes09
|abstract=
2 KB (221 words) - 14:41, 14 January 2013
- Publication:Correia09efficient
|abstract=
1 KB (164 words) - 14:41, 14 January 2013
- Publication:Pasin09odd
|abstract=
2 KB (259 words) - 14:41, 14 January 2013
- Publication:Cheapcis09
|abstract=
2 KB (241 words) - 14:41, 14 January 2013
- Publication:Bessani09tc2
|abstract=
2 KB (212 words) - 14:41, 14 January 2013
- Publication:Domaschka2009dosgi
|abstract=
580 B (65 words) - 14:41, 14 January 2013
- Publication:Marques09a
|abstract=
1 KB (175 words) - 14:41, 14 January 2013
- Publication:Sousa09intrusion
|abstract=
2 KB (208 words) - 14:41, 14 January 2013
- Publication:Correia09west
|abstract=
1 KB (154 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2009enhancing-fault-224
|abstract=
1 KB (176 words) - 14:41, 14 January 2013
- Publication:Wagner-saback-dantas2009not-quickly-225
|abstract=
2 KB (209 words) - 14:41, 14 January 2013
- Publication:Francisco-vieira2009transparent-byzantine-226
|abstract=
...ernational Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009.
1 KB (132 words) - 14:41, 14 January 2013
- Publication:Francois-aubry2009bft-services-227
|abstract=
...ernational Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009.
1 KB (175 words) - 14:41, 14 January 2013
- Publication:Reiser09functional
|abstract=Hybrid wormhole-based architectures have recently been proposed as an appro
1 KB (166 words) - 18:10, 14 January 2013
- Publication:Rufino09dasiaair
|abstract=The Integrated Modular Avionics and the ARINC 653 specifications are assum
1 KB (196 words) - 10:53, 17 January 2013
- Publication:Verissimo09his
|abstract=Intrusion Tolerance has become a reference paradigm for dealing with intrus
776 B (101 words) - 17:21, 14 January 2013
- Publication:Joao-craveiro2009embedded-linux-229
|abstract=The ARINC 653 specification, defined for aeronautical applications, has the
1 KB (217 words) - 10:52, 17 January 2013
- Publication:DASIA09-2
|abstract=RTEMS CENTRE – Support and Maintenance Centre to RTEMS Operating System
2 KB (345 words) - 17:54, 14 January 2013
- Publication:Dasia09
|abstract=The ARINC 653 standard has taken a leading role
1 KB (214 words) - 08:49, 2 April 2017
- Publication:Dixit09a
|abstract=
1 KB (197 words) - 14:41, 14 January 2013
- Publication:Bessani09tpds
|abstract=
1 KB (199 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2009designing-modular-216
|abstract=
2 KB (210 words) - 14:41, 14 January 2013
- Publication:J-domaschka2008multithreading-strategies-231
|abstract=Replication of objects usually makes deterministic behaviour mandatory for
2 KB (199 words) - 17:09, 14 January 2013
- Publication:Alysson-bessani2008the-crutial-213
|abstract=
1 KB (195 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2008forever-faultintrusion-221
|abstract=
1 KB (139 words) - 14:41, 14 January 2013
- Publication:Bftcup08
|abstract=
2 KB (223 words) - 14:41, 14 January 2013
- Publication:Joao-antunes2008detection-and-219
|abstract=Systems connected to the Internet are highly susceptible to denial-of-servi
1 KB (207 words) - 17:10, 14 January 2013
- Publication:27th-DASC-paper
|abstract=
2 KB (223 words) - 14:41, 14 January 2013
- Publication:Dixit08a
|abstract=
2 KB (235 words) - 14:41, 14 January 2013
- Publication:Hugo-ortiz2008towards-intrusion-tolerant-217
|abstract=
2 KB (263 words) - 14:41, 14 January 2013
- Publication:Eduardo-alchieri2008a-dependable-212
|abstract=
1 KB (153 words) - 14:41, 14 January 2013
- Publication:Correia08jpdc
|abstract=
821 B (110 words) - 14:41, 14 January 2013
- Publication:Countinho-responseasync
|abstract=
2 KB (260 words) - 14:41, 14 January 2013
- Publication:Kapitza08using
|abstract=
2 KB (238 words) - 14:41, 14 January 2013
- Publication:Schmidt08adaptive
|abstract=
2 KB (215 words) - 14:41, 14 January 2013
- Publication:Pascoal08amoba
|abstract=
1 KB (178 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2008depspace-a-203
|abstract=
2 KB (203 words) - 14:41, 14 January 2013