Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Mário Luís Guimarães

dblp:52/700 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
0since 2021 · last 2012
0000-0002-4003-4390ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software maintenance and evolution · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 87% Embedded and real-time systems · 13%
Human-computer interaction and pervasive computing
1 paper
Collaborative and social computing · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software maintenance and evolution › release engineering
continuous integration
0.112012
Improving early detection of software merge conflicts · ICSE 2012
Software maintenance and evolution › software merging
merge conflict detection
0.112012
Improving early detection of software merge conflicts · ICSE 2012
Collaborative and social computing › awareness
developer awareness
0.012012
Improving early detection of software merge conflicts · ICSE 2012
Distributed systems
clock synchronization
0.011998
Fault-Tolerant Clock Synchronization in CAN · RTSS 1998
Distributed systems › clock synchronization
fault-tolerant clock synchronization
0.011998
Fault-Tolerant Clock Synchronization in CAN · RTSS 1998
Vehicular, aerial and satellite networks › vehicular networks
controller area network
0.011998
Fault-Tolerant Clock Synchronization in CAN · RTSS 1998
Embedded and real-time systems › real-time control
real-time distributed control
0.011998
Fault-Tolerant Clock Synchronization in CAN · RTSS 1998

Methods — techniques the papers use, named apart from their topics

testing · 0.3static analysis · 0.3continuous integration · 0.3fault tolerance · 0.0clock synchronization protocols · 0.0clock synchronization protocol · 0.0
YearPublicationVenuePosition
2012 Making Software Integration Really Continuous
Mário Luís Guimarães, António Manuel Ferreira Rito da Silva
FASE1
2012 Improving early detection of software merge conflicts
abstract
Merge conflicts cause software defects which if detected late may require expensive resolution. This is especially true when developers work too long without integrating concurrent changes, which in practice is common as integration generally occurs at check-in. Awareness of others' activities was proposed to help developers detect conflicts earlier. However, it requires developers to detect conflicts by themselves and may overload them with notifications, thus making detection harder. This paper presents a novel solution that continuously merges uncommitted and committed changes to create a background system that is analyzed, compiled, and tested to precisely and accurately detect conflicts on behalf of developers, before check-in. An empirical study confirms that our solution avoids overloading developers and improves early detection of conflicts over existing approaches. Similarly to what happened with continuous compilation, this introduces the case for continuous merging inside the IDE.
Mário Luís Guimarães, António Manuel Ferreira Rito da Silva
ICSE1
2003 A Genetic Algorithm for Multicast Mapping in Publish-Subscribe Systems
abstract
In publish-subscribe systems, multicast is an efficient way to propagate information from the publishers to a group of subscribers. This paper studies the problem of mapping a large set of subscriptions into a fixed, smaller set of multicast groups in order to support efficiently the dissemination of events. Given the large search space, it is infeasible to obtain the optimal solution in reasonable time. To address this difficulty, the paper proposes and evaluates a genetic search solution for the mapping problem.
Mário Luís Guimarães, Luís E. T. Rodrigues
NCA1
1998 Fault-Tolerant Clock Synchronization in CAN
abstract
This paper presents a new fault-tolerant clock synchronization algorithm designed for the Controller Area Network (CAN). The algorithm provides all correct processes of the system with a global timebase, despite the occurrence of faults in the network or in a minority of processes. Such global time-frame is a requirement of many distributed real-time control systems. Designing protocols for CAN is justified by the increasing use of this network in industrial automation applications. CAN owns a number of unique properties that can be used to improve the precision and performance of a clock synchronization algorithm. Unfortunately, some of its features also make the implementation of a fault-tolerant clock synchronization service a non-trivial task. Our algorithm addresses both the positive and the negative aspects of CAN.
Luís E. T. Rodrigues, Mário Luís Guimarães, José Rufino
RTSS2