- 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
- Publication:Paulo-sousa2008the-forever-204
|abstract=
1 KB (144 words) - 14:41, 14 January 2013
- Publication:T-distler2008efficient-state-230
|abstract=
1 KB (158 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2008a-framework-205
|abstract=
2 KB (235 words) - 14:41, 14 January 2013
- Publication:ICC08-Rufino
|abstract=
2 KB (209 words) - 14:41, 14 January 2013
- Publication:Reiser08fgvirt
|abstract=
1 KB (178 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2008the-crutial-192
|abstract=Critical infrastructures have evolved in the past decades to become largely
1 KB (190 words) - 18:15, 14 January 2013
- Publication:Steven-m-bellovin2008information-assurance-199
|abstract=
1 KB (168 words) - 14:41, 14 January 2013
- Publication:Air-final-report
...on; (ii) addresses how space and time partitioning could be provided in an abstract processor infrastructure, as well as those requirements can be mapped into
2 KB (224 words) - 13:00, 15 January 2013
- Publication:Air-summary-report
|abstract=This document summarizes the main results of AIR, an innovation initiative
1 KB (151 words) - 13:01, 15 January 2013
- Publication:Paulo-sousa2007resilient-intrusion-198
|abstract=
679 B (73 words) - 14:41, 14 January 2013
- Publication:Henrique-moniz2007intrusion-tolerance-197
|abstract=
713 B (79 words) - 14:41, 14 January 2013
- Publication:Ip07-90
|abstract=
1 KB (169 words) - 14:41, 14 January 2013
- Publication:Joao-antunes2007finding-local-194
|abstract=
625 B (67 words) - 14:41, 14 January 2013
- Publication:Emanuel-teixeira2007avaliacao-de-218
|abstract=
2 KB (244 words) - 14:41, 14 January 2013
- Publication:Gunjan-khanna2007automated-rule-based-193
|abstract=In today's world where distributed systems form many of our critical infras
2 KB (262 words) - 18:15, 14 January 2013
- Publication:Hans-reiser2007optimizing-byzantine-206
|abstract=
1 KB (180 words) - 14:41, 14 January 2013
- Publication:Wagner-saback-dantas2007evaluating-byzantine-187
|abstract=Replication is a mechanism extensively used to guarantee the availability a
1 KB (187 words) - 18:12, 14 January 2013
- Publication:Alysson-bessani2007when-3f1-196
|abstract=
632 B (68 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2007assumptions-the-186
|abstract=
643 B (70 words) - 14:41, 14 January 2013
- Publication:Alessandro-daidone2007analysis-of-214
|abstract=Critical infrastructures like the power grid are emerging as collection of
2 KB (317 words) - 10:57, 17 January 2013
- Publication:Paulo-verissimo2007the-crutial-215
|abstract=In this chapter we discuss the susceptibility of critical information infra
1 KB (184 words) - 17:18, 14 January 2013
- Publication:Hugo-ortiz2007architecture-and-207
|abstract=
2 KB (224 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2007decoupled-quorum-based-188
|abstract=Open distributed systems are typically composed by an unknown number of pro
1 KB (209 words) - 18:16, 14 January 2013
- Publication:Fabio-favarim2007gridts-a-189
|abstract=This paper proposes GRIDTS, a grid infrastructure in which the resources se
1 KB (150 words) - 18:17, 14 January 2013
- Publication:Antonio-casimiro2007middleware-support-208
|abstract=
In this fast abstract we address some work done in the context of TACID, concerned with the devel
1 KB (138 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2007generic-events-architecture-211
|abstract=In a future networked physical world, a myriad of smart sensors and actuato
2 KB (241 words) - 17:06, 14 January 2013
- Publication:Rufino07dasia
|abstract=
1 KB (159 words) - 14:41, 14 January 2013
- Publication:Fabio-favarim2007exploiting-tuple-190
|abstract=Scheduling tasks on large-scale computational grids is difficult due to the
1 KB (166 words) - 18:18, 14 January 2013
- Publication:Alysson-bessani2007intrusion-tolerant-protection-184
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2007-08
|abstract=
622 B (69 words) - 14:41, 14 January 2013
- Publication:Marco-vieira2007towards-timely-209
|abstract=
2 KB (212 words) - 14:41, 14 January 2013
- Publication:Pan-jieke2007specification-based-intrusion-191
|abstract=Layered network architectures (OSI, TCP/IP) separate functionality in layer
1 KB (146 words) - 18:18, 14 January 2013
- Publication:Miguel-correia2007worm-it--181
|abstract=
610 B (66 words) - 14:41, 14 January 2013
- Publication:Pid283090
|abstract=
1 KB (143 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2006proactive-resilience-180
|abstract=
565 B (56 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2006proactive-resilience-178
|abstract=
699 B (77 words) - 14:41, 14 January 2013
- Publication:Henrique-moniz2006experimental-comparison-177
|abstract=
650 B (72 words) - 14:41, 14 January 2013
- Publication:Fabio-favarim2006fault-tolerant-multiuser-182
|abstract=
608 B (65 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2006on-the-210
|abstract=
1 KB (191 words) - 14:41, 14 January 2013
- Publication:ETFA-Vitral
|abstract=
1 KB (126 words) - 14:41, 14 January 2013
- Publication:Pid280945
|abstract=
1 KB (162 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006intrusion-tolerant-middleware-172
|abstract=
641 B (75 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006crutial-the-173
|abstract=
660 B (69 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006thou-shalt-174
|abstract=
633 B (71 words) - 14:41, 14 January 2013
- Publication:Alysson-bessani2006sharing-memory-183
|abstract=
617 B (66 words) - 14:41, 14 January 2013
- Publication:Henrique-moniz2006randomized-intrusion-tolerant-176
|abstract=
649 B (68 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2006using-attack-179
|abstract=
2 KB (220 words) - 14:41, 14 January 2013
- Publication:Pid240728
|abstract=
1 KB (182 words) - 14:41, 14 January 2013
- Publication:Pid240866
|abstract=
2 KB (237 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2006proactive-resilience-171
|abstract=
612 B (65 words) - 14:41, 14 January 2013
- Publication:G-dondossola2006critical-utility-175
|abstract=
668 B (74 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2006travelling-through-170
|abstract=
570 B (62 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2006from-consensus-161
|abstract=
598 B (62 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2005solving-vector-167
|abstract=
534 B (59 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005resilient-state-159
|abstract=
576 B (63 words) - 14:41, 14 January 2013
- Publication:019
|abstract=
1 KB (149 words) - 14:41, 14 January 2013
- Publication:Manuel-coutinho2005vitral-a
|abstract=
2 KB (268 words) - 14:41, 14 January 2013
- Publication:Pdcs2005
|abstract=
2 KB (204 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2005low-complexity-145
|abstract=
639 B (70 words) - 14:41, 14 January 2013
- Publication:Joao-antunes2005diagnostico-de-162
|abstract=
1 KB (203 words) - 14:41, 14 January 2013
- Publication:Jose-pascoal2005ftp-tolerante-163
|abstract=A segurança de serviços distribuídos na Internet é uma preocupação co
1 KB (188 words) - 18:19, 14 January 2013
- Publication:Pan-jieke2005um-nucleo-164
|abstract=A tolerância a faltas desde há muitos anos que trata do problema de proje
1 KB (179 words) - 18:20, 14 January 2013
- Publication:Miguel-correia2005servicos-distribuidos-160
|abstract=A ideia de aplicar conceitos, mecanismos e arquitecturas da área da confia
1 KB (216 words) - 18:20, 14 January 2013
- Publication:Marco-vieira2005tacid-transactions-166
|abstract=
608 B (64 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005how-resilient-155
|abstract=
653 B (73 words) - 14:41, 14 January 2013
- Publication:Diniz05dasia
|abstract=In this paper it is proposed that the ARINC 653 avionics standard is a good
891 B (129 words) - 08:47, 2 April 2017
- Publication:Martins10dso
|abstract=
2 KB (224 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005proactive-resilience-158
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2005-08
|abstract=
562 B (62 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2005a-new-156
|abstract=
609 B (68 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2004how-to-151
|abstract=
637 B (73 words) - 14:41, 14 January 2013
- Publication:Rafael-ferraz2004an-intrusion-tolerant-150
|abstract=
649 B (72 words) - 14:41, 14 January 2013
- Publication:Tiago-jorge2004concretizacao-de-149
|abstract=
637 B (74 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2004how-to-152
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2004-06
|abstract=
603 B (70 words) - 14:41, 14 January 2013
- Publication:Pedro-martins2004dependable-adaptive-144
|abstract=
609 B (64 words) - 14:41, 14 January 2013
- Publication:Marco-vieira2004timely-acid-165
|abstract=
Fast Abstract at the 2004 International Conference on Dependable Systems and Networks, Fl
569 B (59 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2004wormhole-aware-byzantine-148
|abstract=
611 B (65 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2004from-consensus-153
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2004-05
|abstract=
618 B (68 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2004an-architectural-146
|abstract=
576 B (62 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2003an-architecture-142
|abstract=
583 B (65 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2003low-complexity-141
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-25
|abstract=
616 B (69 words) - 14:41, 14 January 2013
- Publication:DSN03
|abstract=
2 KB (226 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2003a-simple-122
|abstract=
648 B (74 words) - 14:41, 14 January 2013
- Publication:G-blair2003analysis-and-132
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-21
|abstract=
603 B (70 words) - 14:41, 14 January 2013
- Publication:V-cahill2003proof-of-concept-prototypes-133
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-20
|abstract=
593 B (68 words) - 14:41, 14 January 2013
- Publication:G-biegel2003the-cortex-134
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-19
|abstract=
673 B (84 words) - 14:41, 14 January 2013
- Publication:G-blair2003preliminary-specification-135
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-18
|abstract=
642 B (75 words) - 14:41, 14 January 2013
- Publication:A-adelsbach2003conceptual-model-130
|abstract=This deliverable builds on the work reported in (MAFTIA 2000) and (Powell a
865 B (126 words) - 12:58, 15 January 2013
- Publication:Paulo-verissimo2003uncertainty-and-120
|abstract=
654 B (67 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2003event-driven-support-119
|abstract=
605 B (61 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002lessons-learned-125
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2002-17
|abstract=
592 B (67 words) - 14:41, 14 January 2013
- Publication:Paulo-sousa2002towards-a-118
|abstract=
512 B (54 words) - 14:41, 14 January 2013
- Publication:Pedro-martins2002the-timely-121
|abstract=
505 B (54 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2002efficient-byzantine-resilient-116
|abstract=
642 B (70 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002the-timely-112
|abstract=
549 B (61 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002intrusion-tolerant-architectures-124
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-05
|abstract=
577 B (63 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002intrusion-tolerance-117
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2002-06
|abstract=
560 B (63 words) - 14:41, 14 January 2013
- Publication:J-armstrong2002complete-specification-128
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2002-11
|abstract=
759 B (98 words) - 14:41, 14 January 2013
- Publication:Rufino02phd
|abstract=Standard fieldbuses are nowadays a cost-effective solution for distributed
2 KB (257 words) - 13:06, 15 January 2013
- Publication:Antonio-casimiro2002generic-timing-111
|abstract=
577 B (65 words) - 14:41, 14 January 2013
- Publication:C-brudna2002preliminary-definition-136
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-17
|abstract=
606 B (70 words) - 14:41, 14 January 2013
- Publication:P-barron2002preliminary-definition-138
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-15
|abstract=
666 B (80 words) - 14:41, 14 January 2013
- Publication:G-biegel2002preliminary-definition-137
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-16
|abstract=
601 B (70 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002cortex-towards-113
|abstract=
576 B (62 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2002cortex-towards-126
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2002-01
|abstract=
610 B (70 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2002recent-advances-106
|abstract=
Fast Abstract at the International Conference on Dependable Systems and Networks
641 B (74 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2001measuring-distributed-104
|abstract=
593 B (65 words) - 14:41, 14 January 2013
- Publication:A-adelsbach2001maftia-conceptual-131
|abstract=This document builds on the work reported in MAFTIA deliverable D1. It cont
800 B (119 words) - 17:59, 14 January 2013
- Publication:G-biegel2001definition-of-139
http://www.di.fc.ul.pt/tech-reports/abstract.php?report_ref=2003-14
|abstract=
675 B (82 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2001using-the-105
|abstract=
591 B (66 words) - 14:41, 14 January 2013
- Publication:Nuno-ferreira-neves2001first-specification-100
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2001-06
|abstract=
572 B (66 words) - 14:41, 14 January 2013
- Publication:CAlmeidacic2001
|abstract=
2 KB (234 words) - 14:41, 14 January 2013
- Publication:Alexandre-pinto2001light-weight-groups-1
|abstract=This paper reports a practical experience of implementing a group communica
1,010 B (144 words) - 18:01, 14 January 2013
- Publication:Filipe-araujo2001quality-of-2
|abstract=
478 B (54 words) - 14:41, 14 January 2013
- Publication:Joao-ventura2001response-time-4
|abstract=
523 B (57 words) - 14:41, 14 January 2013
- Publication:Miguel-antunes2001separating-replication-5
|abstract=
695 B (77 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda2001appia-a-6
|abstract=
572 B (62 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2001the-architecture-3
|abstract=
648 B (72 words) - 14:41, 14 January 2013
- Publication:Joao-rodrigues2001the-design-7
|abstract=
498 B (56 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2001distributed-systems-94
|abstract=N/A
237 B (35 words) - 18:05, 14 January 2013
- Publication:Paulo-verissimo2001service-and-101
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2001-01
|abstract=
562 B (64 words) - 14:41, 14 January 2013
- Publication:Miguel-correia2001the-design-103
|abstract=
575 B (63 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues2000a-dynamic-8
|abstract=
491 B (55 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000distributed-computer-controlled-9
|abstract=
633 B (70 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda2000group-communication-10
|abstract=
666 B (74 words) - 14:41, 14 January 2013
- Publication:J-pereira2000semantically-reliable-11
|abstract=
486 B (52 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000the-middleware-12
|abstract=
596 B (64 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000the-middleware-13
|abstract=
581 B (64 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000global-computing-14
|abstract=
518 B (56 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro2000how-to-16
|abstract=In a recent paper we introduced a new model to deal with the problem of han
2 KB (234 words) - 18:11, 14 January 2013
- Publication:Luis-rodrigues2000quorum-based-replication-17
|abstract=
503 B (50 words) - 14:41, 14 January 2013
- Publication:C-cachin2000maftia-reference-102
http://www.di.fc.ul.pt/sobre/abstract.php/?report_ref=2000-05
|abstract=
790 B (107 words) - 14:41, 14 January 2013
- Publication:Pedro-martins2000event-timestamping-76
|abstract=
530 B (61 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo2000the-timely-18
|abstract=
620 B (71 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues2000atomic-broadcast-20
|abstract=
501 B (53 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues2000deadline-constrained-causal-21
|abstract=
528 B (56 words) - 14:41, 14 January 2013
- Publication:A-mostefaoui2000the-logically-15
|abstract=Communication is logically instantaneous (LI) when there is a logical time
793 B (107 words) - 11:01, 17 January 2013
- Publication:Antonio-casimiro1999timing-failure-77
|abstract=
561 B (63 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda1999flexible-communication-25
|abstract=
526 B (55 words) - 14:41, 14 January 2013
- Publication:Fet-99
|abstract=
1 KB (149 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1999scalability-issues-26
|abstract=
628 B (66 words) - 14:41, 14 January 2013
- Publication:FTCS29
|abstract=
1 KB (139 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1999the-timely-27
|abstract=
543 B (60 words) - 14:41, 14 January 2013
- Publication:Isorc99
|abstract=
1 KB (134 words) - 14:41, 14 January 2013
- Publication:Hugo-miranda1999communication-support-28
|abstract=
566 B (59 words) - 14:41, 14 January 2013
- Publication:Antonio-casimiro1999timing-failure-29
|abstract=
607 B (66 words) - 14:41, 14 January 2013
- Publication:Canclock
|abstract=This paper presents a new fault-tolerant clock synchronization algorithm de
1 KB (184 words) - 18:08, 14 January 2013
- Publication:Carlos-almeida1998using-light-weight-31
|abstract=
543 B (57 words) - 14:41, 14 January 2013
- Publication:Rtss98-wip
|abstract=
1 KB (122 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1998scalable-atomic-32
|abstract=
585 B (61 words) - 14:41, 14 January 2013
- Publication:Icecs98
|abstract=
617 B (65 words) - 14:41, 14 January 2013
- Publication:C-silva1998a-fault-tolerant-34
|abstract=
610 B (63 words) - 14:41, 14 January 2013
- Publication:CANAMP
|abstract=
1 KB (150 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1998confianca-no-93
|abstract=
387 B (43 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1997on-the-36
|abstract=
517 B (57 words) - 14:41, 14 January 2013
- Publication:FTCS27
|abstract=
1 KB (148 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1997cesiumspray-a-38
|abstract=
549 B (60 words) - 14:41, 14 January 2013
- Publication:Katherine-guo1997dynamic-light-weight-39
|abstract=
553 B (56 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1996a-transparent-41
|abstract=
566 B (62 words) - 14:41, 14 January 2013
- Publication:Carlos-almeida1996timing-failure-43
|abstract=
544 B (58 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1996distributed-industrial-44
|abstract=
631 B (71 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1996totally-ordered-45
|abstract=
492 B (52 words) - 14:41, 14 January 2013
- Publication:Carlos-almeida1996real-time-communication-78
|abstract=
501 B (51 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1996seguranca-e-40
|abstract=
562 B (66 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1996causal-delivery-46
|abstract=
521 B (55 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1995quasi-synchronism-a-47
|abstract=
574 B (61 words) - 14:41, 14 January 2013
- Publication:Carlos-almeida1995real-time-group-80
|abstract=
454 B (47 words) - 14:41, 14 January 2013
- Publication:Icc95
|abstract=
559 B (60 words) - 14:41, 14 January 2013
- Publication:Francois-cosquer1995using-tailored-49
|abstract=
560 B (61 words) - 14:41, 14 January 2013
- Publication:Carlos-almeida1995an-adaptive-50
|abstract=
523 B (55 words) - 14:41, 14 January 2013
- Publication:Francois-cosquer1995the-impact-51
|abstract=
472 B (53 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1995reliable-computing-52
|abstract=
461 B (51 words) - 14:41, 14 January 2013
- Publication:Francois-cosquer1995adaptive-synchronous-81
|abstract=
412 B (44 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1995priority-based-totally-53
|abstract=
509 B (56 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1995causal-separators-54
|abstract=
570 B (60 words) - 14:41, 14 January 2013
- Publication:Francois-cosquer1995large-scale-55
|abstract=
471 B (50 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1994comunicacao-e-99
|abstract=
378 B (46 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1994how-to-56
|abstract=
481 B (52 words) - 14:41, 14 January 2013
- Publication:Francois-cosquer1994survey-of-82
|abstract=
487 B (52 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1994ordering-and-58
|abstract=
508 B (51 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1993using-atomic-59
|abstract=
613 B (67 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1993the-changing-57
|abstract=
455 B (50 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1993replicated-object-60
|abstract=
495 B (52 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1993the-romance-83
|abstract=
383 B (41 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1993a-framework-85
|abstract=
420 B (45 words) - 14:41, 14 January 2013
- Publication:Icdcs93
|abstract=
592 B (63 words) - 14:41, 14 January 2013
- Publication:Rufino93msc
...l, directly mating local area network interfaces. This model, that we call Abstract Network, has a set of interesting attributes for the development of comple
The goal of the Abstract Network is to provide an universal interface, for different networks, obeyi
1 KB (200 words) - 10:44, 17 January 2013
- Publication:Luis-rodrigues1993message-slotting-84
|abstract=
390 B (40 words) - 14:41, 14 January 2013
- Publication:Sape-j-mullender1993ds-book-distributed-97
|abstract=This entry has been split into multiple entries; see:
432 B (48 words) - 19:17, 2 February 2013
- Publication:Werner-vogels1992fast-group-62
|abstract=
461 B (47 words) - 14:41, 14 January 2013
- Publication:Luis-rodrigues1992xamp-a-63
|abstract=
476 B (50 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1992group-orientation-64
|abstract=
481 B (51 words) - 14:41, 14 January 2013
- Publication:Werner-vogels1992requirements-for-65
|abstract=
459 B (50 words) - 14:41, 14 January 2013
- Publication:Paulo-verissimo1992a-posteriori-66
|abstract=
589 B (62 words) - 14:41, 14 January 2013
- Publication:Efoc-lan92
|abstract=
550 B (56 words) - 14:41, 14 January 2013
- Publication:Infocom92
|abstract=
572 B (60 words) - 14:42, 14 January 2013
- Publication:Paulo-verissimo1992group-orientation-69
|abstract=
470 B (54 words) - 14:42, 14 January 2013
- Publication:Rt26-92
|abstract=Local area networks have long been established as the basis for distributed
2 KB (233 words) - 13:03, 15 January 2013
- Publication:Luis-rodrigues1992xamp-a-89
|abstract=
400 B (42 words) - 14:42, 14 January 2013
- Publication:Sergio-melro1992real-time-and-90
|abstract=
419 B (45 words) - 14:42, 14 January 2013
- Publication:D4-book
|abstract=This entry has been split into multiple entries; see:
662 B (76 words) - 19:17, 2 February 2013
- Publication:Rt101-91
|abstract=There is an increasing number of distributed applications, some of them fau
...-4 communication system, i.e. it studies the time domain behaviour of both Abstract Network and xAMp components. Throughout this report we will develop a gener
2 KB (239 words) - 13:02, 15 January 2013
- Publication:Rt-ifac10
|abstract=Local area networks form the basis of a number of distributed real-time sys
1 KB (160 words) - 18:03, 14 January 2013
- Publication:Luis-rodrigues1991a-posteriori-87
|abstract=
445 B (46 words) - 14:42, 14 January 2013
- Publication:Paulo-verissimo1990real-time-data-72
|abstract=
448 B (48 words) - 14:42, 14 January 2013
- Publication:Paulo-verissimo1990reliable-broadcast-73
|abstract=
457 B (49 words) - 14:42, 14 January 2013
- Publication:P-a-barrett1990the-delta-4-169
|abstract=
642 B (76 words) - 14:42, 14 January 2013
- Publication:Paulo-verissimo1989amp-a-74
|abstract=
459 B (50 words) - 14:42, 14 January 2013
- Publication:Carlos-almeida1989the-quasi-synchronous-79
|abstract=
458 B (47 words) - 14:42, 14 January 2013
- Publication:Mario-baptista1989atomicmaze-implementing-92
|abstract=
432 B (46 words) - 14:42, 14 January 2013
- Publication:Paulo-verissimo1988redundant-media-75
|abstract=
439 B (46 words) - 14:42, 14 January 2013
- Publication:Craveiro12RTumpr
|abstract=In this report, we approach the problem of defining and analysing compositi
1 KB (169 words) - 16:59, 14 January 2013
- Publication:Craveiro12hssim
|abstract=Hierarchical scheduling is a recent real-time scheduling topic. It is used
1 KB (203 words) - 14:59, 3 December 2012
- Publication:Silveira12MSc
|abstract=Real-time systems are required to produce results from each task in time, a
2 KB (355 words) - 13:25, 3 December 2012
- Publication:Craveiro11TowardsSelf
|abstract=Time- and space-partitioned systems (TSP) are a current trend in safety-cri
1 KB (180 words) - 13:03, 18 April 2013
- Publication:JSouza12Inforum
|abstract=Wireless networks are everywhere. Mobility and flexibility, together with t
2 KB (222 words) - 23:29, 18 April 2013
- Publication:Cogo12MSc
|abstract=Obtaining correct results and behaviour on computing is a long-standing con
2 KB (330 words) - 15:12, 17 January 2013
- Publication:Bessani10bft hadoop fa
|intype=Fast Abstract in
543 B (67 words) - 10:03, 20 January 2013
- Publication:Casimiro2010ADS
|abstract=As software systems become increasingly ubiquitous, issues of dependability
1 KB (183 words) - 09:47, 20 January 2013
- Publication:Joaosousa2011
|abstract=We present a new algorithm for state machine replication that is built arou
995 B (129 words) - 10:49, 21 January 2013
- Publication:Joaosousa2010
|abstract=The Kerberos v5 standard specifies how the clients and services of a distri
2 KB (269 words) - 10:49, 21 January 2013
- Publication:CostaPBC11
|abstract=MapReduce is often used to run critical jobs such as scientific data analy
1 KB (184 words) - 15:42, 21 January 2013
- Publication:Correia2012:CoC
|abstract=MapReduce is a framework for processing large data sets largely used in clo
1 KB (169 words) - 15:31, 21 January 2013
- Publication:PedroCosta 2013
|abstract=MapReduce is often used for critical data processing, e.g., in the context
1 KB (151 words) - 18:33, 31 January 2013
- Publication:Padhy2011MiddlewarePoster
|abstract=Current monitoring systems for cloud infrastructure run locally or are base
1 KB (153 words) - 17:37, 21 January 2013
- Publication:Dixit2012SAC
|abstract=Algorithms for solving distributed systems problems often use timeouts as a
2 KB (265 words) - 17:36, 21 January 2013
- Publication:Kreutz2012DAIS
|abstract=We propose a fault- and intrusion-tolerant framework for datacenter and clo
1 KB (160 words) - 17:43, 21 January 2013
- Publication:Nezhad2012DSN-FA
|abstract=Virtualization is a way to efficiently use and distribute system resources.
|booktitle=Fast Abstract at the 2012 International Conference on Dependable Systems and Networks
1 KB (146 words) - 18:48, 21 January 2013
- Publication:Garcia msc11
|abstract=One of the key benefits of using intrusion-tolerant systems is the possibil
2 KB (314 words) - 17:48, 2 October 2018
- Publication:Casimiro2012DCDV
|abstract=Cloud infrastructures play an increasingly important role for telecom opera
2 KB (264 words) - 18:21, 21 January 2013
- Publication:Garcia12 diversity
|abstract=Replication has been used to build intrusion-tolerant systems, which are ab
2 KB (225 words) - 18:29, 21 January 2013
- Publication:Marques2012ASCOMS
|abstract=Future physical environments are expected to be pervasively enriched with s
1 KB (207 words) - 18:40, 21 January 2013
- Publication:Casimiro2012SSS
|abstract=KARYON, a kernel-based architecture for safety-critical control, is a Europ
2 KB (267 words) - 11:51, 5 February 2013
- Publication:Araujo2012MGC
|abstract=Execution of critical services traditionally requires multiple distinct rep
2 KB (245 words) - 19:06, 21 January 2013
- Publication:Marques2012TR04
|abstract=To achieve dependable real-time operation in Wireless Sensor Networks (WSNs
1 KB (186 words) - 19:29, 21 January 2013
- Publication:Verissimo12tclouds
|abstract=In this paper we give a preliminary overview
1 KB (136 words) - 14:53, 28 January 2013
- Publication:Rosa11INDIN
|abstract=Future space missions call for advanced computing system architectures fulf
1 KB (181 words) - 17:10, 29 January 2013
- Publication:Craveiro12hetcomp
|abstract=We have described the problem of compositional hierarchical scheduling fram
|intype=Extended Abstract in
1 KB (134 words) - 13:02, 18 April 2013
- Publication:Veronese13FTolerance
|abstract=We present two asynchronous Byzantine fault-tolerant state machine replicat
1 KB (203 words) - 15:10, 26 February 2013
- Publication:Couto13Benchmarking
|abstract=The increasing use of productivity and impact metrics for evaluation
2 KB (248 words) - 14:37, 11 March 2013
- Publication:Cogo13fitch
|abstract=Despite the fact that cloud computing offers a high degree of dynamism on r
2 KB (230 words) - 12:22, 9 August 2013
- Publication:Craveiro13weather
|abstract=In mobile networks, traffic activity within particular network cells follow
2 KB (269 words) - 13:07, 7 May 2013
- Publication:BFT-TO
|abstract=State machine replication (SMR) is a generic technique for implementing fau
1 KB (163 words) - 14:21, 19 June 2013
- Publication:Kreutz13SDN
|abstract=Software-defined networking empowers network operators with more flexibilit
2 KB (245 words) - 11:29, 27 June 2013
- Publication:Craveiro13laxity
|abstract=In this paper, we focus on the problem of scheduling a task set on a multip
|intype=Extended Abstract in
815 B (113 words) - 13:21, 1 April 2017
- Publication:Malichevskyy15MSc
|abstract=The increasing use of the wireless networks in the last years has created t
2 KB (317 words) - 22:56, 11 July 2013
- Publication:Craveiro13umpr
...of compositional analysis of HSFs on uniform multiprocessors. In this fast abstract, we overview the progress made on the problem since then, and some ongoing
|intype=Extended Abstract in
1 KB (196 words) - 13:22, 1 April 2017
- Publication:Atc13-durability
|abstract=State Machine Replication (SMR) is a fundamental tech- nique for ensuring t
1 KB (215 words) - 17:04, 17 July 2014
- Publication:NobregaDaCosta13safety
|abstract=Developing smart vehicles, either automobile or aerial, to realise cooperat
2 KB (292 words) - 08:33, 13 August 2013
- Publication:JSouza2013-LCN
|abstract=Network inaccessibility is a temporal issue derived from the presence of fa
2 KB (208 words) - 12:09, 23 May 2015
- Publication:Botelho2014ewsdn
|abstract=The increase in the number of SDN-based deployments in production networks
1 KB (218 words) - 01:48, 23 July 2015
- Publication:JSouza2013-ECRTS
|abstract=The use of wireless networks on environments with real-time constrains requ
1 KB (168 words) - 10:51, 29 May 2015
- Publication:Marques2013:a
|abstract=Real-time operation in Wireless Sensor Networks (WSNs) is conditioned not o
2 KB (214 words) - 12:20, 20 November 2013
- Publication:Casimiro2013karyon
|abstract=KARYON, a kernel-based architecture for safety-critical control, is a Europ
2 KB (304 words) - 11:23, 1 April 2017
- Publication:Alves2013
|abstract=This position paper describes initial efforts and ideas for the development
1 KB (148 words) - 12:39, 20 November 2013
- Publication:Jesus2013
|abstract=A flood monitoring system incorporates water sensor networks, forecast simu
1 KB (188 words) - 12:45, 20 November 2013
- Publication:AGuerreio2013-INFORUM
|abstract=The IEEE 802.15.4 standard was designed to support the specification of wir
1 KB (190 words) - 10:43, 29 May 2015
- Publication:AGUEREIRO-2014-SENSORNETS
|abstract=The behaviour of wireless networks in the presence of error conditions is s
1 KB (161 words) - 02:20, 23 July 2015
- Publication:Almeida2013Inforum
|abstract=The next generation of space vehicles will integrate different mission func
1 KB (159 words) - 13:18, 1 April 2017
- Publication:NobregaDaCosta13safetyMSc
|abstract=Future safety-critical systems, used in, for example, the aerospacial, aero
3 KB (382 words) - 17:43, 4 December 2013
- Publication:Craveiro13PhD
|abstract=The evolution of computing systems to address size, weight and power consum
2 KB (355 words) - 13:28, 17 February 2015
- Publication:JsouzaRTN14
|abstract=The use of wireless networks to support communications with real-time restr
2 KB (225 words) - 02:00, 23 July 2015
- Publication:RCPinto2014rv
|abstract=Support for Run-time Verification (RV) has mostly been provided by software
2 KB (210 words) - 11:50, 23 July 2014
- Publication:Cogo14biobank
|abstract=BiobankCloud is an EU-funded FP7 project that will develop a cloud-computin
1 KB (160 words) - 14:48, 22 April 2016
- Publication:Sousa2013wan-evaluation
|abstract=This paper presents preliminary results regarding the performance of a Byza
857 B (110 words) - 15:51, 16 January 2017
- Publication:Bessani14scfs
|abstract=Despite of their rising popularity, current cloud storage services and clou
1 KB (168 words) - 02:01, 23 July 2015
- Publication:Kreutz2014DSNFA
|booktitle=Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable System
520 B (70 words) - 11:51, 23 July 2014
- Publication:Kreutz2014PRDC
|abstract=In this paper we propose a set of components and tools for building more se
1 KB (177 words) - 01:36, 23 July 2015
- Publication:Sousa2014bft-smart
|abstract=The last fifteen years have seen an impressive amount of work on protocols
1 KB (171 words) - 02:11, 23 July 2015
- Publication:Sousa2011bft-smart
|abstract=Na ultima década muitos algoritmos de replicação de máquinas de estados
1 KB (152 words) - 18:07, 17 July 2014
- Publication:Sousa2012poster bftsmart
|abstract=The last decade saw an impressive amount of papers on Byzantine Fault-Toler
...owing that they corresponding protocols could be used in practice. In this abstract we describe a 5-year effort in implementing
3 KB (409 words) - 19:27, 17 July 2014
- Publication:Sousa2014sbrc
|abstract=The last fifteen years have seen an impressive amount of work on protocols
895 B (122 words) - 02:23, 23 July 2015
- Publication:Mendes2012C2FS
|abstract=Vários sistemas surgiram recentemente com o intuito de facilitar
2 KB (265 words) - 02:22, 18 July 2014
- Publication:Sousa2013bftsmart tech-report
|abstract=The last fifteen years has seen an impressive amount of work on protocols f
1 KB (163 words) - 08:25, 8 June 2018
- Publication:Bessani2014tutorial
|abstract=This short course presents the fundamentals and applications of the State M
1 KB (147 words) - 02:24, 23 July 2015
- Publication:Garcia13diversity
|abstract=One of the key benefits of using intrusion-tolerant systems is the possibil
1 KB (213 words) - 14:33, 23 July 2014
- Publication:Garcia13siem
|abstract=Nowadays, organizations are resorting to Security Information and Event Man
2 KB (244 words) - 10:43, 22 July 2014
- Publication:RaptorQ-SP2014
|abstract=RaptorQ is the most advanced fountain code proposed
1 KB (200 words) - 08:08, 5 June 2016
- Publication:WAP-WWW2014
|abstract=Web application security is an important problem in today's internet. A maj
2 KB (246 words) - 08:08, 5 June 2016
- Publication:SITAN-DSN2014
|abstract=The evolution of mobile devices with various capabilities
|booktitle=Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems
1 KB (209 words) - 08:07, 5 June 2016
- Publication:WAP-DSN2014
|abstract=In two decades the web became a standard framework
|booktitle=Fast Abstract at the 44th Annual IEEE/IFIP International Conference on Dependable Systems
1 KB (173 words) - 08:07, 5 June 2016
- Publication:ISD-INFORUM2014
|abstract=A compressão de ficheiros de ADN é uma prática comum em diversos fluxos
2 KB (321 words) - 01:49, 23 July 2015
- Publication:Antunes12PhD
|abstract=The increasing reliance on networked computer systems demands for high leve
2 KB (316 words) - 16:37, 2 October 2018
- Publication:Johansson2014erts2
|abstract=In both avionic and automotive systems, it might become very costly and/or
1 KB (210 words) - 11:21, 1 April 2017
- Publication:Casimiro2014sies-invited
|abstract=Future vehicular systems will be able to cooperate in order to perform many
2 KB (226 words) - 12:14, 31 July 2014
- Publication:Martins2013Middleware
|abstract=The performance improvement in Byzantine fault-tolerant state machine repli
2 KB (246 words) - 08:55, 26 July 2014
- Publication:Casimiro2014ADSN
|abstract=Cooperative vehicular systems base their coordination on inherently uncerta
2 KB (269 words) - 02:10, 23 July 2015
- Publication:Araujo2014JISA
|abstract=Execution of critical services traditionally requires multiple distinct rep
2 KB (266 words) - 01:58, 23 July 2015
- Publication:Jesus2014HIC
|abstract=Reliable flood decision-support information systems comprise an extensive n
1 KB (193 words) - 01:57, 23 July 2015
- Publication:Vial2014ASCoMS
|abstract=Kernel-based architectures have been proposed as a possible solution to bui
2 KB (241 words) - 01:52, 23 July 2015
- Publication:PSousaPhD07
|abstract=This thesis introduces a new dimension over which systems dependability
2 KB (312 words) - 16:37, 2 October 2018
- Publication:HMonizPhD10
|abstract=The thesis investigates the problem of fault- and intrusion-tolerant consen
3 KB (442 words) - 16:36, 2 October 2018
- Publication:JAntunesMs06
|abstract=Our reliance on computer systems for everyday life activities has increased
2 KB (241 words) - 17:54, 2 October 2018
- Publication:JCardanaMs06
|abstract=A globalização das comunicações e a necessidade da partilha de informa
3 KB (421 words) - 17:52, 2 October 2018
- Publication:HMonizMs06
|abstract=Randomized agreement protocols have been around for more than two
1 KB (194 words) - 17:53, 2 October 2018
- Publication:ETeixeiraMs07
|abstract=A análise de código é um mecanismo de apoio à detecção de anomalias o
2 KB (330 words) - 17:51, 2 October 2018
- Publication:Oliveira2014DIHC
|abstract=The widespread use of cloud storage in the last few years can be attributed
1 KB (160 words) - 01:55, 23 July 2015
- Publication:Jesus2015tese
|abstract=There is currently a trend to add more intelligence to various points of th
3 KB (426 words) - 17:42, 2 October 2018
- Publication:IEEETR15
|abstract=Although a large research effort has been going
2 KB (261 words) - 07:47, 5 June 2016
- Publication:Consistency15
|abstract=Several recent cloud-backed storage systems advocates the
1 KB (205 words) - 02:27, 23 July 2015
- Publication:EDC15
|abstract=Most services inside a data center are distributed systems requiring coordi
2 KB (211 words) - 01:32, 23 July 2015
- Publication:Souza2014SIGBED
|abstract=Networking communications play an important role to secure
2 KB (222 words) - 01:44, 23 July 2015
- Publication:Pinto2014EWiLi14-Poster
|abstract=Monitoring in embedded system software can have several
1 KB (133 words) - 08:26, 5 April 2017
- Publication:Souza2014WiEEE
|abstract=The use of wireless networks to effectively support
2 KB (244 words) - 01:39, 23 July 2015
- Publication:Guerreiro2014MScThesis
|abstract=Wireless networks are seen as the communication networks of the future,prov
3 KB (356 words) - 13:54, 29 May 2015
- Publication:Carraca2014INForum
|abstract=Time- and Space-Partitioned systems are a current trend in aerospace
1 KB (166 words) - 01:40, 23 July 2015
- Publication:Pinto2014INForum
|abstract=Software execution monitoring in embedded systems can be
1 KB (169 words) - 02:26, 23 July 2015
- Publication:Alves2015DnaCompression
|abstract=The decreasing costs of genome sequencing is creating a demand for scalable
1 KB (202 words) - 11:50, 7 July 2015
- Publication:A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection
|abstract=Advances in computer engineering and microelectronics have allowed the use
2 KB (333 words) - 06:17, 2 April 2017
- Publication:Sousa2015wheat
|abstract=State machine replication is a fundamental technique for implementing consi
2 KB (247 words) - 08:14, 9 August 2015
- Publication:Bessani2015biobankcloud-platform
|abstract=Biobanks store and catalog human biological material that is increasingly b
2 KB (307 words) - 14:27, 30 July 2015
- Publication:Cogo2015detector
|abstract=Finding the balance between privacy protection and data sharing is one of t
2 KB (234 words) - 13:37, 3 August 2015
- Publication:Onica2015MSI
|abstract=Smart grids resulted from the integration of computer technologies into the
2 KB (349 words) - 17:43, 2 October 2018
- Publication:Alves2015MEng
|abstract=Powerline communication (PLC) is a form of data transfer, where the electri
2 KB (373 words) - 17:43, 2 October 2018
- Publication:Onica15PTP
|abstract=The Precise Time Protocol defined in the IEEE 1588 standard
1 KB (188 words) - 08:09, 9 August 2015
- Publication:Vavala15SRDS
|abstract=We show how to leverage trusted computing technology
1 KB (137 words) - 08:14, 9 August 2015
- Publication:Medeiros2015tese
|abstract=Monitoring plays a fundamental role in current network deployments, support
2 KB (334 words) - 16:33, 2 October 2018
- NavTalks
<p><i>Leave mouse over title's presentation to read the abstract.</i></p>
...m: dashed 1px #000" title="Conflict-free Replicated Data Types (CRDTs) are abstract data types that support developers when designing and reasoning about distr
69 KB (10,003 words) - 20:37, 7 March 2022
- Publication:Caldeira2015Extreme
|abstract=Wireless sensor and actuator networks are now ubiquitous being used in a co
2 KB (296 words) - 07:50, 5 April 2017
- Publication:Mendes15inforum
|abstract=Recentemente, uma série de sistemas têm sido propostos para o armazenamen
1 KB (239 words) - 16:21, 4 October 2016
- Publication:Leitao2012IPv6Sec
|abstract=IPv6 was developed to address the exhaustion of IPv4 addresses, but has not
2 KB (248 words) - 10:43, 12 January 2016
- Publication:Botelho2012consistentSDN
|abstract=Even if traditional data networks are very successful, they exhibit conside
2 KB (322 words) - 10:48, 12 January 2016
- Publication:Vasco2013SDNApp
|abstract=Current network architectures are ill-suited to meet today’s enterprise a
2 KB (302 words) - 10:52, 12 January 2016
- Publication:Semedo2014LoadBalancingSDN
|abstract=Nowadays, network management can be a painful and tedious process, especial
3 KB (433 words) - 17:46, 2 October 2018
- Publication:Posse2014BGPsec
|abstract=The Internet has evolved from a small group of interconnected computers to
4 KB (659 words) - 10:59, 12 January 2016
- Publication:Magalhaes2015SecSDN
|abstract=Computer networks are complex, difficult to configure and manage. The numbe
2 KB (339 words) - 11:03, 12 January 2016
- Publication:Alaluna2015NetVirt
|abstract=Recent SDN-based solutions give cloud providers the
2 KB (244 words) - 07:35, 5 June 2016
- Publication:Costa2015Medusa
|abstract=Applications such as web search and social networking have been moving from
2 KB (273 words) - 10:42, 21 January 2016
- Publication:Ramos2015SoftwarizationNet
|abstract=Traditional IP networks are complex and hard to manage. The vertical integr
1 KB (191 words) - 12:26, 15 January 2016
- Publication:Kreutz2015SDNsurvey
|abstract=The Internet has led to the creation of a digital society, where (almost) e
3 KB (387 words) - 11:22, 12 January 2016
- Publication:Ramos2013IPTVdelay
|abstract=Zapping delay, the latency experienced by users when switching between TV
559 B (80 words) - 11:25, 12 January 2016
- Publication:Botelho2013ConsistentSDN
|abstract=Maintaining a strongly consistent network view in a Software Defined Networ
674 B (96 words) - 11:28, 12 January 2016
- Publication:Kim2012ChannelCluster
|abstract=Increases in the number of TV channels requires users to spend more time to
1 KB (174 words) - 11:34, 12 January 2016
- Publication:Ramos2011iptv
|abstract=One of the major concerns of IPTV network deployment is channel change dela
2 KB (350 words) - 11:42, 12 January 2016
- Publication:Song2010DelayEstimator
|abstract=By identifying the shortcomings of using RTT to evaluate the quality of dif
1 KB (182 words) - 11:39, 12 January 2016
- Publication:Ramos2010Greeniptv
|abstract=IPTV services are the fastest growing television services in the world toda
2 KB (282 words) - 11:42, 12 January 2016
- Publication:Ramos2010ChannelSmurfing
|abstract=One of the major concerns of IPTV network deployment is channel switching (
2 KB (266 words) - 11:45, 12 January 2016
- Publication:Song2009DelayEstimator
|abstract=Due to the dynamic nature of the Internet, the characteristic parameters of
772 B (108 words) - 11:47, 12 January 2016
- Publication:Ramos2009PowerExcursion
|abstract=A routing scheme is proposed for GMPLS-based WSONs to mitigate the effects
602 B (80 words) - 11:49, 12 January 2016
- Publication:Ramos2009iptvmodel
|abstract=The aim of this work is thus to build the first IPTV workload model. For th
400 B (60 words) - 11:51, 12 January 2016
- Publication:Cogo2016integration
|abstract=Biological data repositories were often data islands with unharmonized form
1 KB (146 words) - 13:50, 26 January 2016
- Publication:Mest FabioPereira Set17
|abstract=Monitoring is a fundamental activity in network management as it provides k
3 KB (383 words) - 19:05, 24 February 2018
- Publication:Cogo2016efficient
|abstract=The number of to-be-stored genomes is increasing exponentially, which is mo
1 KB (166 words) - 22:18, 13 November 2016
- Publication:CODASPY 2016
|abstract=After more than a decade of research, web application security
1 KB (206 words) - 08:04, 5 June 2016
- Publication:DSNa 2016
|abstract=Although security starts to be taken into account
1 KB (202 words) - 08:03, 5 June 2016
- Publication:DSNb 2016
|abstract=Code identity is a fundamental concept for authenticated
1 KB (204 words) - 08:03, 5 June 2016
- Publication:ISSTA 2016
|abstract=The state of web security remains troubling as web applications continue to
2 KB (224 words) - 22:15, 13 November 2016
- Publication:ComputerNetworks 2016
|abstract=The paper addresses the problem of providing message latency and reliabilit
1 KB (166 words) - 08:02, 5 June 2016
- Publication:Ferreira2016-Entropy
|abstract=A method based on the information theory concept of entropy is presented fo
1 KB (201 words) - 15:55, 27 December 2016
- Publication:Ferreira2016-MBPC
|abstract=This paper introduces the Intelligent MBPC (IMBPC) HVAC system, a complete
1 KB (161 words) - 09:47, 6 June 2016
- Publication:Ferreira2016-energy
|abstract=Energy consumption has been increasing steadily due to globalization and in
2 KB (304 words) - 16:07, 27 December 2016
- Publication:Garcia2016sieveq
|abstract=Firewalls play a crucial role in assuring the security of today’s critica
2 KB (233 words) - 06:19, 9 October 2018
- Publication:Garcia2011dsn poster rejuvenations
|abstract=Proactive recovery is technique that periodically rejuvenates the component
1 KB (184 words) - 10:29, 6 June 2016
- Publication:Inforum15-Ruben-poster
|abstract=Nesta comunicação apresentamos o sistema HAS (Hound Attack Surface), a so
|howpublished=Fast Abstract at the 7th Simpósio de Informática (Inforum 2015), Covilhã, Portuga
1 KB (174 words) - 09:54, 7 June 2016
- Publication:Sensors15-Gjesus
|abstract=This paper presents an algorithm to improve sensor fusion results in outdoo
1 KB (188 words) - 10:02, 7 June 2016
- Publication:Costa2016BGPSec
|abstract=BGP is vulnerable to a series of attacks. Many solutions have been proposed
In this abstract we propose a Software-Defined Networking (SDN) architecture to secure BGP r
1 KB (171 words) - 22:21, 13 November 2016
- Publication:2016 Mantas ConsistentSDN NSDIposter
|abstract=In a reliable SDN environment, different controllers coordinate different s
1 KB (153 words) - 22:20, 13 November 2016
- Publication:2016 Ferrolho SecDepVNE NSDIposter
...ing a critical factor that should be considered by VNE algorithms. In this abstract we propose a VNE solution that considers security and dependability as firs
1 KB (159 words) - 22:21, 13 November 2016
- Publication:2016 Ramos PhotonsIPTV IFIPNet
|abstract=The rapid growth of IPTV services and the resulting increase in traffic vol
1 KB (170 words) - 10:25, 19 July 2016
- Publication:Amado2018
|abstract=The implementation of an intrusion detection system deals with two problems
2 KB (282 words) - 14:30, 20 February 2019
- Publication:Inforum2018 ibe1
|abstract=As transações críticas online requerem prova de identidade dos seus part
2 KB (257 words) - 23:43, 20 September 2018
- Publication:PhD Thesis IberiaMedeiros
|abstract=In less than three decades of existence, the Web evolved from a platform fo
3 KB (463 words) - 16:34, 2 October 2018
- Publication:Msc Thesis NunoPereira
|abstract=The increasing complexity of the smart grid raises concerns with performanc
3 KB (417 words) - 21:34, 13 November 2016
- Publication:Msc Thesis FredericoBrito
|abstract=With the increase of power generation from renewable sources and with a gro
2 KB (352 words) - 21:43, 13 November 2016
- Publication:Msc Thesis LuisFerrolho
|abstract=Network virtualization is emerging as a powerful technique to allow multipl
3 KB (443 words) - 21:50, 13 November 2016
- Publication:Inforum2018 ibe3
|abstract=As aplicações web são uma presença assídua no nosso quotidiano, sendo
1 KB (236 words) - 23:51, 20 September 2018
- Publication:Correia2016tesemsc
|abstract=A grande quantidade de informação que circula nas redes sociais pode ser
2 KB (257 words) - 15:45, 16 January 2017
- Publication:Botelho2016
|abstract=Scalable and fault-tolerant distributed Software-Defined Networking (SDN) c
2 KB (258 words) - 15:14, 5 January 2017
- Publication:Lacoste2016
|abstract=A promising vision of distributed cloud computing is a unified world of mul
1 KB (194 words) - 15:21, 5 January 2017
- Publication:Mantas2016
|abstract=The concept of Software-Defined Networking (SDN) breaks the coupling in tra
3 KB (408 words) - 15:28, 5 January 2017
- Publication:Alchieri2016bftcup
|abstract=Consensus is a fundamental building block used to solve many practical prob
2 KB (223 words) - 15:06, 16 January 2017
- Publication:Oliveira2016mwds
|abstract=Resilient register emulation is a fundamental technique to implement depend
1 KB (180 words) - 15:14, 16 January 2017
- Publication:Alcantara2016msc
|abstract=Disaster recovery is a crucial feature to ensure high availability and data
2 KB (353 words) - 15:44, 16 January 2017
- Publication:Ivo Vacas tese
|abstract=The continuous evolution of information and communication technologies, app
3 KB (376 words) - 02:20, 5 October 2017
- Publication:2017 Costa
|abstract=MapReduce is a framework for processing large data sets much used in the co
2 KB (250 words) - 13:57, 30 May 2017
- Publication:2016 NunoFerreira
|abstract=Legacy networks do not have the necessary dynamism to follow the evolution
abstract these type of equipments. In order to solve this problem, organizations
3 KB (554 words) - 10:22, 19 January 2017
- Publication:Alaluna2017Sirius
|abstract=Traditional forms of network virtualization lack the scalability and flexib
2 KB (291 words) - 14:43, 23 March 2017
- Publication:2016 TiagoSantos
|abstract=Smartphones are increasingly ubiquitous in our personal, social and profess
2 KB (320 words) - 14:12, 27 January 2017
- Publication:Nogueira17esmr
|abstract=State machine replication (SMR) is a fundamental technique for implementing
1 KB (178 words) - 15:41, 27 March 2017
- Publication:JRosa-MSc-Thesis
|abstract=To face the challenges and requirements imposed by future space missions, t
2 KB (292 words) - 16:21, 31 March 2017
- Publication:JCraveiro-MSc-Thesis
|abstract=The Integrated Modular Avionics (IMA) specification defines a partitioned e
2 KB (336 words) - 16:19, 31 March 2017
- Publication:RCPinto-MSc-Thesis
|abstract=A cost-effective solution for Distributed Control System (DCS) interconnect
2 KB (299 words) - 08:04, 5 April 2017
- Publication:EPascoal-MSc-Thesis
|abstract=The Integrated Modular Avionics (IMA) main characteristic is sharing of com
1 KB (194 words) - 08:51, 2 April 2017
- Publication:JSousa-MSc-Thesis
|abstract=The Real Time Executive for Multiprocessor Systems (RTEMS) is a Real Time
3 KB (381 words) - 18:37, 31 March 2017
- Publication:JAnjos-MSc-Thesis
|abstract=The increasing complexity that modern real-time systems are achieving has m
2 KB (324 words) - 17:40, 31 March 2017
- Publication:JRufino-2016-SIGBED
|abstract=Unmanned autonomous systems (UAS) avionics call for advanced computing syst
2 KB (217 words) - 18:22, 31 March 2017
- Publication:JRufino-2016-OSPERT
|abstract=Unmanned autonomous systems (UAS) avionics call for advanced computing syst
2 KB (236 words) - 18:21, 31 March 2017
- Publication:Gouveia-2016-CERTS
|abstract=The recent extensive development in Cyber-Physical Systems (CPSs) has lead
2 KB (233 words) - 17:33, 26 May 2017
- Publication:Casimiro-2017-ADA-Europe
|abstract=Advances in sensor, microprocessor and communication technologies have been
2 KB (233 words) - 14:13, 15 June 2017
- Publication:MCoutinho-MSc-Thesis
|abstract=This thesis handles the Distributed Real-Time Operating Systems thematic. I
2 KB (293 words) - 19:01, 31 March 2017
- Publication:Gouveia-2016-INForum-Poster
|abstract=The increasing development in cyber-physical systems (CPS) has lead to new
1 KB (134 words) - 20:49, 26 July 2017
- Publication:Cogo17sharing genomes
|abstract=People usually are aware of the privacy risks of publishing photos online,
1 KB (211 words) - 14:09, 7 April 2017
- Publication:AnaFidalgo Tese
|abstract=The number of vulnerabilities has grown exponentially over the last years,
2 KB (288 words) - 02:55, 23 December 2020
- Publication:Costa2017
|abstract=MapReduce is a popular distributed data-processing system for analyzing big
1 KB (170 words) - 09:07, 22 June 2017
- Publication:Alves:2017-CANFD-INForum
|abstract=The Controller Area Network (CAN) protocol, originally designed more than t
1 KB (166 words) - 11:20, 7 November 2017
- Publication:VavalaSRDS2012
|abstract=Randomized Byzantine Consensus can be an interesting building block in the
1 KB (161 words) - 11:08, 5 September 2017
- Publication:VavalaDSN2017
|abstract=Outsourcing services to third-party providers comes with a high security co
1 KB (199 words) - 11:12, 5 September 2017
- Publication:VavalaDepend2010
|abstract=In many emerging wireless scenarios, consensus among nodes represents an im
1 KB (186 words) - 11:16, 5 September 2017
- Publication:VavalaIjais2011
|abstract=In many emerging wireless scenarios, consensus among nodes represents an im
1 KB (187 words) - 11:18, 5 September 2017
- Publication:2017 FabioPereira
|abstract=The accuracy provided by traditional sampling-based
2 KB (265 words) - 06:13, 6 November 2017
- Publication:DSN 2017
|abstract=Despite the significant efforts put in building more secure web application
1 KB (187 words) - 17:50, 9 September 2017
- Publication:EDCC 2017
|abstract=Developers frequently rely on free static analysis tools to automatically d
2 KB (224 words) - 18:01, 9 September 2017