Fernando Barros

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 6

Top Topics

Action Language

Highly Expressive

Closed World Assumption

Abstract Argumentation Frameworks

Top Venues

SpringSim (TMS-DEVS)

Discret. Event Dyn. Syst.

Int. J. Simul. Process. Model.

Publications

Fernando Barros
πHyFlow: formalism, semantics, and applications. Discret. Event Dyn. Syst. 34 (1) (2024)
Fernando Barros, Jefferson Bertolai, Matheus Carrijo
Cryptocurrency is accounting coordination: Selfish mining and double spending in a simple mining game. Math. Soc. Sci. 123 (2023)
Fernando Barros
Rollback Support in Hyflow Modular Models. WSC (2020)
Fernando Barros
Semantics of multisampling systems. Int. J. Simul. Process. Model. 11 (5) (2016)
Fernando Barros
A modular representation of fluid stochastic petri nets. SpringSim (TMS-DEVS) (2015)
Fernando Barros
Asynchronous, polynomial ODE solvers based on error estimation. SpringSim (TMS-DEVS) (2015)
Carlos Cortinhas, Fernando Barros
Extending Groovy's Reification and Closures. WorldCIST (2) (2014)
Naghmeh Ramezani Ivaki, Filipe Araújo, Fernando Barros
Session-based fault-tolerant design patterns. ICPADS (2014)
Naghmeh Ramezani Ivaki, Filipe Araújo, Fernando Barros
Design of Multi-threaded Fault-Tolerant Connection-Oriented Communication. PRDC (2014)
Fernando Barros
Representing dynamic pluggable software units. SAC (2013)
Carlos Cortinhas, Fernando Barros
Extending the Groovy Language Using AST Transformations to Monitor Variables and Methods. WorldCIST (2013)
Fernando Barros
Beyond Design Patterns - Improving Software Design with Pluggable Units. ICSOFT (2) (2011)
Fernando Barros
Increasing Software Quality through Design Reuse. QUATIC (2010)