Demo Data from EDBT 2026 / reviewers in the wild / expert
Paulo Fernandes 0001
dblp:f/PauloFernandes · also Paulo Henrique Lemelle Fernandes
· DBLP profile ↗
27ranked-venue papers
4as first author
1since 2021 · last 2022
0000-0003-3959-0434ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 14 · 1 first-authorArtificial intelligence and machine learning · 11 · 2 first-author · 1 since 2021Systems, architecture and hardware · 4 · 1 first-authorDatabases, data management, data science and information retrieval · 1Human-computer interaction and ubiquitous computing · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author
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 |
Empirical software engineering · 100% | |
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Performance modeling and evaluation · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Empirical software engineering › developer studies
global software development |
0.2 | 1 | 2016 | Stochastic Performance Analysis of Global Software Development Teams · ACM Trans. Softw. Eng. Methodol. 2016 |
Performance modeling and evaluation › markov models
stochastic automata networks |
0.1 | 2 | 2016 | Stochastic Performance Analysis of Global Software Development Teams · ACM Trans. Softw. Eng. Methodol. 2016 Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks · J. ACM 1998 |
Mathematical optimization
iterative methods |
0.0 | 1 | 1998 | Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks · J. ACM 1998 |
Methods — techniques the papers use, named apart from their topics
stochastic automata networks · 0.5numerical methods · 0.5matrix-vector multiplication · 0.0generalized tensor product · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | PortiLexicon-UD: a Portuguese Lexical Resource according to Universal Dependencies ModelabstractThis paper presents PortiLexicon-UD, a large and freely available lexicon for Portuguese delivering morphosyntactic information according to the Universal Dependencies model. This lexical resource includes part of speech tags, lemmas, and morphological information for words, with 1,221,218 entries (considering word duplication due to different combination of PoS tag, lemma, and morphological features). We report the lexicon creation process, its computational data structure, and its evaluation over an annotated corpus, showing that it has a high language coverage and good quality data. Lucelene Lopes, Magali Sanches Duran, Paulo Fernandes 0001, Thiago A. S. Pardo |
LREC | 3 |
| 2019 | Language Independent POS-tagging Using Automatically Generated Markov Chains (S)abstractThis paper proposes a method to predict word grammatical classes using automatically generated discrete-time Markov chains to model typical sentences.Such method advantage relies on the availability of input resources needed to build an efficient and effective solution to virtually any language, dialect, or domain lingo.One of the main advantages of the proposed method is its simplicity when compared to other sophisticated approaches based on Hidden Markov Models or even more complex formalisms.The proposed method is instantiated to an example and we show that the achieved efficiency and effectiveness bring advantages to traditional similar solutions. Joaquim V. C. Assunção, Paulo Fernandes 0001, Lucelene Lopes |
SEKE | 2 |
| 2019 | Piecewise Aggregation for HMM fitting. A pre-fitting model for seamless integration with time series dataabstractBroadly used and applied in many domains, Hidden Markov Models are a well established formalism, both in computer science and statistics.Among other reasons, they owe their popularity to a fast fitting method, i.e., the Baum-Welch algorithm, allowing to adjust models to a variety of input data.Using expectation and maximization phases, BW assures an increase to the model likelihood at every iteration.Yet, to initialize the sequence of expectationmaximization (EM) steps, it is a standard procedure to start the BW algorithm from randomly generated values.We propose a, simple and fast, deterministic pre-fitting approach which derives the BW's initial values directly from the input data. Joaquim V. C. Assunção, Jean-Marc Vincent, Paulo Fernandes 0001 |
SEKE | 3 |
| 2019 | Piecewise Aggregation for HMM Fitting: A Pre-Fitting Model for Seamless Integration with Time-Series DataabstractWe propose a simple, fast, deterministic pre-fitting approach which derives the Baum–Welch algorithm initial values directly from the input data. Such pre-fitting has the purpose of improving the fitting time for a given Hidden Markov Model (HMM) while maintaining the original Baum–Welch algorithm as the fitting one. The fitting time is improved by avoiding the Baum–Welch algorithm sensitiveness through the generation of parameters closer to the global maximum likelihood. Furthermore, by keeping the original Baum–Welch algorithm as the fitting one, we guarantee that all related methods will continue to work properly. On the other hand, the pre-fitting generates the HMM parameters directly derived from time-series data, without any data transformation, using an [Formula: see text] operation. Joaquim V. C. Assunção, Paulo Fernandes 0001, Jean-Marc Vincent |
Int. J. Softw. Eng. Knowl. Eng. | 2 |
| 2018 | A structured stochastic model for software project estimation in Waterfall models (S)abstractEvaluate team's performance on long-duration projects can be a challenge.It relies on human expertise to perform estimations, which can generate uncertainty and dependency of experienced specialists.Statistical techniques, such as modeling and simulations, are suitable options as tools to support projects estimations.Our goal in this paper is a formal mapping of the main Waterfall model characteristics to stochastic model to predict performance indices of teams such as the real working time. Ildo Massitela, Joaquim V. C. Assunção, Alan R. Santos, Paulo Fernandes 0001 |
SEKE | 4 |
| 2016 | ExATO - High Quality Term Extraction for Portuguese and EnglishabstractThis paper presents a novel version of ExATO, a term extractor originally designed to extract relevant terms from corpora in Portuguese. In this new version not only corpora in Portuguese can be handled, but also texts in English are accepted. This extension is likely to offer the same quality pattern already achieved for Portuguese. In this paper, we draw the analysis of results in parallel corpora with respect to the intrinsic differences between Portuguese and English languages, and also the environment of usage for ExATO for Portuguese and English corpora. A brief comparison of ExATO and other similar tool is presented to illustrate the higher quality of ExATO extraction from English corpora. Lucelene Lopes, Paulo Fernandes 0001, Renata Vieira |
WI | 2 |
| 2016 | Estimating term domain relevance through term frequency, disjoint corpora frequency - tf-dcf
Lucelene Lopes, Paulo Fernandes 0001, Renata Vieira |
Knowl. Based Syst. | 2 |
| 2016 | Stochastic Performance Analysis of Global Software Development TeamsabstractMeasuring productivity in globally distributed projects is crucial to improve team performance. These measures often display information on whether a given project is moving forward or starts to demonstrate undesired behaviors. In this paper we are interested in showing how analytical models could deliver insights for the behavior of specific distributed software collaboration projects. We present a model for distributed projects using stochastic automata networks (SAN) formalism to estimate, for instance, the required level of coordination for specific project configurations. We focus our attention on the level of interaction among project participants and its close relation with team’s productivity. The models are parameterized for different scenarios and solved using numerical methods to obtain exact solutions. We vary the team’s expertise and support levels to measure the impact on the overall project performance. As results, we present our derived productivity index for all scenarios and we state implications found in order to analyze popular preconceptions in GSD area, confirming some, and refusing others. Finally, we foresee ways to extend the models to represent more intricate behaviors and communication patterns that are usually present in globally distributed software projects. Ricardo M. Czekster, Paulo Fernandes 0001, Lucelene Lopes, Afonso Sales, Alan R. Santos, Thais Webber |
ACM Trans. Softw. Eng. Methodol. | 2 |
| 2015 | Combining Challenge-Based Learning and Scrum Framework for Mobile Application DevelopmentabstractThe market for mobile applications has been growing dramatically, as has the complexity of the applications and the speed of the development process. These changes require a rethinking of the development process and of how developers are trained. In order to better prepare faculty and students for the emerging mobile application market, this study presents a new learning and software development framework that combines Agile methodologies with the Challenge-Based Learning (CBL) framework. CBL provides a student-centered learning framework that mirrors the modern workplace. Agile methodologies address the changing landscape of mobile development environments. A combination of the CBL learning framework and Agile methodologies can better prepare students for the development market. This paper presents an empirical study applying CBL and Scrum in a mobile application development course evaluated through a series of post surveys. The results indicate that a teaching and learning environment based on practical experience combining the CBL framework with the Scrum process is an eective model to promptly teach undergraduates how to be successful mobile application developers. Alan R. Santos, Afonso Sales, Paulo Fernandes 0001, Mark Nichols |
ITiCSE | 3 |
| 2015 | SANGE - Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian modelsabstractThe use of stochastic formalisms, such as Stochastic Automata Networks (SAN), can be very useful for statistical prediction and behavior analysis.Once well fitted, such formalisms can generate probabilities about a target reality.These probabilities can be seen as a statistical approach of knowledge discovery.However, the building process of models for real world problems is time consuming even for experienced modelers.Furthermore, it is often necessary to be a domain specialist to create a model.This work illustrates a new method to automatically learn simple SAN models directly from a data source.This method is encapsulated in a tool called SAN GEnerator (SANGE).This new model fitting method is powerful and relatively easy to use; therefore this can grant access to a much broader community to such powerful modeling formalisms. Joaquim V. C. Assunção, Paulo Fernandes 0001, Lucelene Lopes, Angelika Studeny, Jean-Marc Vincent |
SEKE | 2 |
| 2015 | Using SAN formalism to evaluate Follow-The-Sun project scenarios
Alan R. Santos, Afonso Sales, Paulo Fernandes 0001 |
J. Syst. Softw. | 3 |
| 2014 | A Dimensionality Reduction Process to Forecast Events through Stochastic Models
Paulo Fernandes 0001, Joaquim V. C. Assunção, Lucelene Lopes, Silvio Gomez |
SEKE | 1 |
| 2013 | Symbolic Solution of Kronecker-Based Structured Markovian ModelsabstractThis paper describes a method to obtain symbolic solution of large stochastic models using Gauss-Jordan elimination. Such solution is an efficient alternative to standard simulations and it allows fast and exact solution of very large and complex models that are hard to be dealt even with iterative numerical methods. The proposed method assumes the system described as a structured (modular) Markovian system with discrete states for each system module and transitions among those states ruled by Markovian processes. The mathematical representation of such system is made by a Kronecker (Tensor) formula, i.e., a tensor formulation of small matrices representing each system module transitions and occasional dependencies among modules. Preliminary results of the proposed solution indicate the expected efficiency of the proposed solution. Paulo Fernandes 0001, Lucelene Lopes, Sencer Yeralan |
MASCOTS | 1 |
| 2012 | Setting Up a Stochastic Model for Teams Working in a Follow-the-Sun EnvironmentabstractProject management is an important aspect of global software development. Companies and institutions can obtain benefits by the use of performance evaluation of teams working indifferent sites. The objective of this work is to discuss a stochastic model definition to performance evaluation of Follow-The-Sun (FTS) projects. Alan R. Santos, Afonso Sales, Paulo Fernandes 0001 |
ICGSE | 3 |
| 2012 | A Fast, Memory Efficient, Scalable and Multilingual Dictionary Retriever
Paulo Fernandes 0001, Lucelene Lopes, Carlos Augusto Prolo, Afonso Sales, Renata Vieira |
LREC | 1 |
| 2012 | Follow-the-Sun Software Development: A Controlled Experiment to Evaluate the Benefits of Adaptive and Prescriptive Approaches
Josiane Kroll, Alan R. Santos, Rafael Prikladnicki, Estevão Ricardo Hess, Rafael A. Glanzner, Afonso Sales, Jorge L. N. Audy, Paulo Fernandes 0001 |
SEKE | 8 |
| 2012 | Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors
Antonio M. de Lima, Marco Aurélio Stelmar Netto, Thais Webber, Ricardo M. Czekster, César A. F. De Rose, Paulo Fernandes 0001 |
J. Parallel Distributed Comput. | 6 |
| 2010 | Analytical Modeling of Software Development Teams in Globally Distributed ProjectsabstractGlobal software engineering is an area of increasing research challenges, in which teams are dispersed in multiple sites collaborating across borders and time zones. In spite of its potential competitive advantages, globally distributed projects must deal with difficulties when distributing resources such as teams with cultural diversities, different skills and experience levels. Both industry and academia demonstrate a special interest in the modeling and prediction, mainly representing systems in order to extract interesting indices, for example, evaluating whether or not a project will succeed. This paper demonstrates the usefulness of analytical modeling techniques in order to predict the outcome of geographically-distributed projects. We focus our attention to the participants interaction and its interplay when it affects team productivity. The models are parametrized considering single-site and multi-site scenarios, varying resources availability, teams expertise and support levels. Performance indices from both scenarios are presented and conclusion indicates possible model extensions. Ricardo M. Czekster, Paulo Fernandes 0001, Afonso Sales, Thais Webber |
ICGSE | 2 |
| 2010 | Performance Issues for Parallel Implementations of Bootstrap Simulation AlgorithmabstractThe solution of state-based stochastic models is usually a demanding application, then it is a natural subject to high performance techniques. We are particularly interested in the speedup of Bootstrap Simulation of structured Markovian models. This approach is a quite recent development in the performance evaluation area, and it brings a considerable improvement in the results accuracy, despite the intrinsic effect of randomness in simulation experiments. Unfortunately, Bootstrap Simulation has higher computational cost than other alternatives. We present experiments with different options to optimize the parallel solution of Bootstrap Simulation applied to three practical examples described in Stochastic Automata Networks (SAN) formalism. This paper contribution resides in the discussion of theoretical implementation issues, the obtained speedup and the actual processing and communication times for all experiments. Additionally, we also suggest future works to improve even more the proposed solution and we discuss some interesting insights for parallelization of similar applications. Ricardo M. Czekster, Paulo Fernandes 0001, Afonso Sales, Thais Webber |
SBAC-PAD | 2 |
| 2008 | Experiences with Agile Practices in the Global Studio ProjectabstractWe report on our experiences using agile practices in a global software development project. Specifically, we report on the communication and collaboration patterns that were discovered using the social network analysis methodology. We used as a case study the Global Studio Project Version 3.0, where Extreme Programming practices were applied to one of the remote software development teams. We summarize our conclusions about Extreme Programming usage in global software development projects by presenting ten lessons learned from the application of Extreme Programming practices to the Global Studio Project Version 3.0. Roger Urdangarin, Paulo Fernandes 0001, Alberto Avritzer, Daniel J. Paulish |
ICGSE | 2 |
| 2005 | Modular Analytical Performance Models for Ad Hoc Wireless NetworksabstractWireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate the research results achieved, thorough performance evaluation efforts are needed. In this context, the contribution of this paper is two fold: at one side we investigate the effect of forwarding in wireless ad hoc networks, drawing the throughput behavior under variation of connectivity, interference end number of sources; on the other side we propose stochastic automata networks (SAN) as a formalism well suited to the area because of its modularity, allowing model reuse and the structured stepwise representation of important aspects of the reality, and due to its ability to deal with models of considerable sizes, allowing the analytical evaluation of more complex situations. Fernando Luís Dotti, Paulo Fernandes 0001, Afonso Sales, Osmar Marchi dos Santos |
WiOpt | 2 |
| 2004 | Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis
Cristiano Bertolini, André G. Farina, Paulo Fernandes 0001, Flávio Moreira Oliveira |
SEFM | 3 |
| 2004 | On the benefits of using functional transitions and Kronecker algebra
Anne Benoit, Paulo Fernandes 0001, Brigitte Plateau, William J. Stewart 0001 |
Perform. Evaluation | 2 |
| 2003 | Performance Analysis Issues for Parallel Implementations of Propagation AlgorithmabstractWe present a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an image interpolation application. The theoretical performance analysis is based on the construction of generic models using stochastic automata networks (SAN) formalism to describe each implementation scheme. The prediction results can be compared to the achieved performance in some real test cases to verify the accuracy of our modeling technique. The main contribution is to point out the advantages and problems of our approach to the development of generic models of parallel implementations. Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fernandes 0001, Afonso Sales |
SBAC-PAD | 3 |
| 2002 | Representing software usage models with stochastic automata networksabstractThe benefits of usage models in the statistical testing of software have been recognized by the software engineering community and discrete state formalisms have been largely used to describe such usage models of software. The Markov Chains formalism (MC) is a natural choice to do so. However, in this paper we suggest the use of a more sophisticated discrete state formalism, the Stochastic Automata Networks (SAN). In many problems of the performance evaluation area, the SAN models present advantages over MC models. Therefore, it seems natural to us to verify similar advantages in the modeling of usage models.This paper presents a case study of building a software usage model using SAN formalism. A software tool called DOCSEDITOR is modeled using MC and SAN. The models are compared in terms of number of states, scalability, and readability. It is not the objective of this paper to present a full framework to develop and analyse usage models with SAN, but just to show some evident advantages of the use of SAN instead of MC. In order to do this, the conclusion points out the indexes than can be computed from both models and suggests the next steps on future work. André G. Farina, Paulo Fernandes 0001, Flávio Moreira Oliveira |
SEKE | 2 |
| 1998 | Efficient Descriptor-Vector Multiplications in Stochastic Automata NetworksabstractThis paper examines numerical issues in computing solutions to networks of stochastic automata. It is well-known that when the matrices that represent the automata contain only constant values, the cost of performing the operation basic to all iterative solution methods, that of matrix-vector multiply, is given by ρ N = Π N i-1 n i × Σ N i=1 n i , where n i is the number of states in the i th automaton and N is the number of automata in the network. We introduce the concept of a generalized tensor product and prove a number of lemmas concerning this product. The result of these lemmas allows us to show that this relatively small number of operations is sufficient in many practical cases of interest in which the automata contain functional and not simply constant transitions. Furthermore, we show how the automata should be ordered to achieve this. Paulo Fernandes 0001, Brigitte Plateau, William J. Stewart 0001 |
J. ACM | 1 |
| 1988 | SARA: A processor interconnection performance analysis tool
Philippe Olivier Alexandre Navaux, Paulo Fernandes 0001, Maurizio Tazza |
Microprocess. Microprogramming | 2 |