Match!
António Casimiro
University of Lisbon
97Publications
12H-index
768Citations
Publications 97
Newest
Published on Sep 18, 2018
Gonçalo Jesus4
Estimated H-index: 4
,
António Casimiro12
Estimated H-index: 12
(University of Lisbon),
Anabela Oliveira19
Estimated H-index: 19
Environmental monitoring systems are composed by sensor networks deployed in uncertain and harsh conditions, vulnerable to external disturbances, posing challenges to the comprehensive system characterization and modelling. When unexpected sensor measurements are produced, there is a need to detect and identify, in a timely manner, if they stem from a failure behavior or if they indeed represent some environment-related process. Existing solutions for fault detection in environmental sensor netw...
Published on Mar 20, 2018in Sensors3.03
Georg Jäger1
Estimated H-index: 1
,
Sebastian Zug8
Estimated H-index: 8
,
António Casimiro12
Estimated H-index: 12
The advent of cooperative systems entails a dynamic composition of their components. As this contrasts current, statically composed systems, new approaches for maintaining their safety are required. In that endeavor, we propose an integration step that evaluates the failure model of shared information in relation to an application’s fault tolerance and thereby promises maintainability of such system’s safety. However, it also poses new requirements on failure models, which are not fulfilled by s...
Published on Sep 2, 2017in Sensors3.03
Gonçalo Jesus4
Estimated H-index: 4
,
António Casimiro12
Estimated H-index: 12
,
Anabela Oliveira19
Estimated H-index: 19
Wireless sensor networks are being increasingly used in several application areas, particularly to collect data and monitor physical processes. Non-functional requirements, like reliability, security or availability, are often important and must be accounted for in the application development. For that purpose, there is a large body of knowledge on dependability techniques for distributed systems, which provide a good basis to understand how to satisfy these non-functional requirements of WSN-ba...
Published on Sep 1, 2017in IEEE Transactions on Parallel and Distributed Systems3.40
Andre Nogueira2
Estimated H-index: 2
(University of Lisbon),
António Casimiro12
Estimated H-index: 12
(University of Lisbon),
Alysson Neves Bessani21
Estimated H-index: 21
(University of Lisbon)
State machine replication (SMR) is a fundamental technique for implementing stateful dependable systems. A key limitation of this technique is that the performance of a service does not scale with the number of replicas hosting it. Some works have shown that such scalability can be achieved by partitioning the state of the service into shards. The few SMR-based systems that support dynamic partitioning implement ad-hoc state transfer protocols and perform scaling operations as background tasks t...
Published on Jun 12, 2017 in Ada-Europe (International Conference on Reliable Software Technologies)
António Casimiro12
Estimated H-index: 12
(University of Lisbon),
Inês Gouveia (University of Lisbon), José Rufino13
Estimated H-index: 13
(University of Lisbon)
Advances in sensor, microprocessor and communication technologies have been fostering new applications of cyber-physical systems, often involving complex interactions between distributed autonomous components and the operation in harsh or uncertain contexts. This has led to new concerns regarding performance, safety and security, while ensuring timeliness requirements are met. To conciliate uncertainty with the required predictability, hybrid system architectures have been proposed, which separa...
Published on Jun 1, 2017 in DSN (Dependable Systems and Networks)
João Carlos Cunha6
Estimated H-index: 6
(IPN: Instituto Politécnico Nacional),
Kalinka Regina Lucas Jaquie Castelo Branco8
Estimated H-index: 8
(USP: University of São Paulo)
+ 1 AuthorsUrbano Nunes31
Estimated H-index: 31
(UC: University of Coimbra)
Published on Feb 1, 2017in Journal of Systems Architecture1.16
Marisol García Valls19
Estimated H-index: 19
(Charles III University of Madrid),
António Casimiro12
Estimated H-index: 12
(University of Lisbon),
Hans P. Reiser11
Estimated H-index: 11
(University of Passau)
Abstract Software technologies are of paramount importance in the current and upcoming systems. In certain application domains, their design has to fit a difficult equation involving not only the expected functionality, but also broader dependable characteristics. Functional and non-functional characteristics have to adhere to requirements such as openness, adaptation, device heterogeneity, energy, or footprint. In this paper, we present a few challenges in some selected areas around the theme o...
João Carlos Cunha6
Estimated H-index: 6
,
Kalinka Castelo Branc + 1 AuthorsUrbano Nunes31
Estimated H-index: 31
The articles in this special section examine safety and security concerns with intelligent vehicle technologies. The most demanding and challenging quality attribute the manufacturers of aerial and ground vehicles must guarantee is safety, meaning that its usage is, to a reasonable level, free from failures with catastrophic consequences on the users and the environment. To attain this, stringent quality assurance methodologies must be followed from the design to the manufacturing, to tackle the...
Published on Jun 1, 2016 in DSN (Dependable Systems and Networks)
João Carlos Cunha6
Estimated H-index: 6
(Instituto Superior de Engenharia de Coimbra),
Kalinka Regina Lucas Jaquie Castelo Branco8
Estimated H-index: 8
(USP: University of São Paulo)
+ 1 AuthorsUrbano Nunes31
Estimated H-index: 31
(UC: University of Coimbra)
Published on Nov 1, 2015
Gonzalo Jesus1
Estimated H-index: 1
,
Anabela Oliveira19
Estimated H-index: 19
+ 1 AuthorsAntónio Casimiro12
Estimated H-index: 12
(University of Lisbon)
This paper presents an algorithm to improve sensor fusion results in outdoor WSNs using environmental models to redefine periodically which sensors to use and the amount of weight for each particular sensor in the fusion solution. Using daily forecast simulations of the monitored environment dynamics, clusters of sensor nodes sharing data correlation can be defined, for priority sensor selection in a fusion algorithm. The strategy was validated in an operational aquatic sensor network comprised ...
12345678910