Leandro Buss Becker

97 papers A 3B 7C 18Misc 6Journal 21Unranked 39
YearRankTypeTitle / Venue / Authors
2025 — conf
AADL Model for Temporal Tuning of the Failsafe Triggering Mechanism from a Fire Fighting Drone.
SBESC
Leandro Buss Becker, M. L. Pinto, Jean-Paul Bodeveix, Mamoun Filali
2025 J jnl
An expedited BDI agent architecture: Improving the responsiveness of agent-based autonomous systems for handling critical situations.
Robotics Auton. Syst.
Leandro Buss Becker, Iago de Oliveira Silvestre, Jomi Fred Hübner, Michael Fisher
2025 J jnl
Enhanced agent-oriented programming for robot teams.
Eng. Appl. Artif. Intell.
Iago de Oliveira Silvestre, Leandro Buss Becker, Michael Fisher, Jomi Fred Hübner, Maiquel de Brito
2025 J jnl
Infrastructure and tool support for MDE in the petrochemical industry automation.
J. Braz. Comput. Soc.
Carlos Eduardo Xavier Correia, Leandro Buss Becker, Fábio Paulo Basso
2025 B conf
Sharper Specs for Smarter Drones: Formalising Requirements with FRET.
REFSQ
Oisín Sheridan, Leandro Buss Becker, Marie Farrell, Matt Luckcuck, Rosemary Monahan
2024 J jnl
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition.
J. Intell. Robotic Syst.
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2023 — conf
Graphical DSL Devoted to Ease the Application of Model-Driven Engineering in Petrochemical Industry Automation.
WER
Fábio Basso, Jaqueline de Souza Moura, Carlos Eduardo Xavier Correia, Karina Casola, Leandro Buss Becker
2023 Misc conf
UAV Swarm Control and Coordination Using Jason BDI Agents on Top of ROS.
PAAMS
Iago de Oliveira Silvestre, Bruno de Lima, Pedro Henrique Dias, Leandro Buss Becker, Jomi Fred Hübner, Maiquel de Brito
2023 C conf
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition.
EUMAS
Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2022 — conf
Applying Runtime Verification in Real-Time Systems with FreeRTOS.
SBESC
Elton Ferreira Broering, Leandro Buss Becker
2021 A conf
Active Perception within BDI Agents Reasoning Cycle.
AAMAS
Gustavo R. Silva, Jomi F. Hübner, Leandro Buss Becker
2021 C conf
Approach for Evolving Sensing and Actuation Devices in Cyberphysical Systems Architectures.
MODELSWARD
Diego C. Sales, Leandro Buss Becker
2021 J jnl
Communication Interface Manager for Improving Performance of Heterogeneous UAV Networks.
Sensors
Laura Michaella B. Ribeiro, Ivan Müller, Leandro Buss Becker
2021 — conf
Using gem5 Simulator to Support Design Space Exploration Targeting ARM Architecture.
SBESC
Iago de Oliveira Silvestre, Antonio Carlos Schneider Beck Filho, Leandro Buss Becker
2020 — conf
Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models.
SBESC
Diego Camara Sales, Cristian Koliver, Leandro Buss Becker
2019 — conf
Applying Integrated Formal Methods on CPS Design.
SBESC
Henrique Amaral Misson, Fernando Silvano Gonçalves, Leandro Buss Becker
2019 — conf
Performance Analysis of IEEE 802.11p and IEEE 802.11n based on QoS for UAV networks.
DIVANet
Laura Michaella B. Ribeiro, Leandro Buss Becker
2018 Misc conf
Coordinated UAV Search and Rescue Application with JaCaMo.
PAAMS
Marcelo S. Menegol, Jomi Fred Hübner, Leandro Buss Becker
2018 Misc conf
Evaluation of Multi-agent Coordination on Embedded Systems.
PAAMS
Marcelo S. Menegol, Jomi Fred Hübner, Leandro Buss Becker
2018 C conf
Experimenting Sensor Nodes Localization in WSN with UAV Acting as Mobile Agent.
ETFA
Juliano Grigulo, Leandro Buss Becker
2018 C conf
Model- Driven Engineering for Petrochemical Industry Automation.
ETFA
Thaise Poerschke Damo, Leandro Buss Becker
2018 C conf
Multi-Factor Dynamic Channel Assignment approach for Wi-Fi networks.
ISCC
Laura Michaella B. Ribeiro, Eduardo Souto, Leandro Buss Becker
2018 — conf
Systematic Literature Review of System Engineering Design Methods.
SBESC
Diego C. Sales, Leandro Buss Becker
2017 J jnl
6th Brazilian Symposium on Computing System Engineering.
ACM SIGOPS Oper. Syst. Rev.
Alisson V. Brito, Rivalino Matias Jr., Leandro Buss Becker
2017 J jnl
Building the foundations for 'MDE as Service'.
IET Softw.
Fábio Paulo Basso, Toacy Cavalcante de Oliveira, Cláudia Maria Lima Werner, Leandro Buss Becker
2017 J jnl
EGL: efficient geometry-based localisation in wireless sensor networks.
Int. J. Sens. Networks
Ali Sayyed, Gustavo Medeiros de Araújo, Leandro Buss Becker
2017 — conf
Formal Verification of AADL Models Using UPPAAL.
SBESC
Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker
2016 J jnl
5th Brazilian Symposium on Computing System Engineering.
ACM SIGOPS Oper. Syst. Rev.
Márcio Oyamada, Antônio Augusto Fröhlich, Leandro Buss Becker
2016 C conf
Model driven engineering approach to design sensing and actuation subsystems.
ETFA
Fernando Silvano Goncalves, Leandro Buss Becker
2016 — conf
Smart data collection in large scale sparse WSNs.
WMNC
Ali Sayyed, Gustavo Medeiros de Araújo, Leandro Buss Becker
2015 — ch.
A Survey on Data Collection in Mobile Wireless Sensor Networks (MWSNs).
Advances in Social Media Analysis
Ali Sayyed, Leandro Buss Becker
2015 J jnl
Brazilian Symposium on Computing System Engineering.
ACM SIGOPS Oper. Syst. Rev.
Raimundo S. Barreto, Rafael R. Obelheiro, Leandro Buss Becker
2015 J jnl
Cyber-physical systems design: transition from functional to architectural models.
Des. Autom. Embed. Syst.
Rosane Fátima Passarini, Jean-Marie Farines, João M. Fernandes, Leandro Buss Becker
2015 J jnl
Dual-Stack Single-Radio Communication Architecture for UAV Acting As a Mobile Node to Collect Data in WSNs.
Sensors
Ali Sayyed, Gustavo Medeiros de Araújo, João Paulo Bodanese, Leandro Buss Becker
2015 J jnl
Network design and planning of wireless embedded systems for industrial automation - Applications and case studies in oil refineries.
Des. Autom. Embed. Syst.
Ramon Hugo de Souza, Stefano Savazzi, Leandro Buss Becker
2015 — conf
Preparing Cyber-physical Systems Functional Models for Implementation.
SBESC
Fernando Silvano Goncalves, Leandro Buss Becker
2015 J jnl
Wireless Coexistence and Spectrum Sensing in Industrial Internet of Things: An Experimental Study.
Int. J. Distributed Sens. Networks
Jean Michel Winter, Ivan Müller, Gloria Soatti, Stefano Savazzi, Monica Nicoli, Leandro Buss Becker, João Cesar Netto, Carlos Eduardo Pereira
2014 — conf
Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems.
SBESC
Fernando Silvano Goncalves, Leandro Buss Becker
2014 C conf
Coexistence issues in wireless networks for factory automation.
INDIN
Jean Michel Winter, Ivan Müller, Carlos Eduardo Pereira, Stefano Savazzi, Leandro Buss Becker, João Cesar Netto
2014 — ch.
Genetic Machine Learning Approach for Link Quality Prediction in Mobile Wireless Sensor Networks.
Cooperative Robots and Sensor Networks
Gustavo Medeiros de Araújo, Alex R. Pinto, Jörg Kaiser, Leandro Buss Becker
2014 C conf
RBESP: Reliable and best effort stack protocol for UAV collaboration with WSN.
INDIN
João Paulo Bodanese, Gustavo Medeiros de Araújo, Guilherme V. Raffo, Leandro Buss Becker
2014 — conf
Wireless Communication Infrastructure for a Short-Range Unmanned Aerial.
AINA Workshops
João Paulo Bodanese, Gustavo Medeiros de Araújo, Guilherme Steup, Guilherme V. Raffo, Leandro Buss Becker
2014 C conf
Wireless sensor network UML profile to support model-driven development.
INDIN
A. R. Paulon, Antônio Augusto Fröhlich, Leandro Buss Becker, Fábio Paulo Basso
2013 — conf
Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle.
SBESC
Leandro Buss Becker, Guilherme V. Raffo, Fernando Silvano Goncalves
2013 — conf
Model-Driven Development of WSN Applications.
SBESC
Leandro Buss Becker, Fábio Paulo Basso, Antônio Augusto Fröhlich, A. R. Paulon
2013 B conf
Supporting large scale model transformation reuse.
GPCE
Fábio Paulo Basso, Raquel Mainardi Pillat, Toacy Cavalcante de Oliveira, Leandro Buss Becker
2013 — conf
The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models.
SBESC
Rosane Fátima Passarini, Leandro Buss Becker, Jean-Marie Farines
2013 — conf
Wireless Network Planning and Optimization in Oil and Gas Refineries.
SBESC
Stefano Savazzi, Ramon Hugo de Souza, Leandro Buss Becker
2012 — conf
An Evolutionary Approach to Improve Connectivity Prediction in Mobile Wireless Sensor Networks.
ANT/MobiWIS
Gustavo Medeiros de Araújo, Alex R. Pinto, Jörg Kaiser, Leandro Buss Becker
2012 C conf
An optimized Markov model to predict link quality in mobile wireless sensor networks.
ISCC
Gustavo Medeiros de Araújo, Jörg Kaiser, Leandro Buss Becker
2012 J jnl
Brazilian symposium on computing system engineering.
ACM SIGOPS Oper. Syst. Rev.
Antônio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. Da Silva, Edna Natividade da Silva Barros
2012 — conf
Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink.
SBES
Rosane Fátima Passarini, Jean-Marie Farines, Leandro Buss Becker
2012 — conf
Energy Profile Evaluation of a Cyber-Physical System.
SBESC
Elisabete Nakoneczny Moraes, Leandro Buss Becker
2012 — conf
Remaining Battery Lifetime Determination in Cyber-Physical Systems.
ANT/MobiWIS
Elisabete Nakoneczny Moraes, Leandro Buss Becker
2012 Misc conf
Using multiple channels to improve SDR flexibility and performance.
ICNC
Roberto de Matos, Antônio Augusto Fröhlich, Leandro Buss Becker
2011 B conf
A Network Conditions Aware Geographical Forwarding Protocol for Real-Time Applications in Mobile Wireless Sensor Networks.
AINA
Gustavo Medeiros de Araújo, Leandro Buss Becker
2011 — conf
An Investigation about Real-Time Capacity of a Mobile Wireless Network.
SBESC
Marcelo Maia Sobral, Leandro Buss Becker
2011 — ed.
Brazilian Symposium on Computing System Engineering, SBESC 2011, Florianopolis, Brazil, November 7-11, 2011
SBESC
Antônio Augusto Fröhlich, Leandro Buss Becker
2011 — conf
Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.
SBESC
Rafael Garlet de Oliveira, Gabriel H. R. Santos, Jean-Marie Farines, Leandro Buss Becker
2011 J jnl
Evaluating the benefits and feasibility of coordinated medium access in MANETS.
SIGBED Rev.
Marcelo Maia Sobral, Leandro Buss Becker
2011 — conf
Framework for Estimating Energy Consumption in Embedded Systems.
SBESC
Elisabete Nakoneczny Moraes, Leandro Buss Becker
2011 J jnl
RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks.
Ad Hoc Networks
Nouha Baccour, Anis Koubaa, Maissa Ben Jamâa, Denis do Rosário, Habib Youssef, Mário Alves, Leandro Buss Becker
2011 — conf
Tutorial 1: Mobile Robotics.
SBESC
Guilherme Vianna Raffo, Jean-Marie Farines, Leandro Buss Becker, Ubirajara Franco Moreno
2010 C conf
A testbed for the evaluation of link quality estimators in wireless sensor networks.
AICCSA
Nouha Baccour, Maissa Ben Jamâa, Denis do Rosário, Anis Koubaa, Habib Youssef, Mário Alves, Leandro Buss Becker
2010 B conf
F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks.
EWSN
Nouha Baccour, Anis Koubaa, Habib Youssef, Maissa Ben Jamâa, Denis do Rosário, Mário Alves, Leandro Buss Becker
2010 B conf
Supporting the Design of Safety Critical Systems Using AADL.
ICECCS
T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat
2009 J jnl
A Predictive Controller for Autonomous Vehicle Path Tracking.
IEEE Trans. Intell. Transp. Syst.
Guilherme V. Raffo, Guilherme K. Gomes, Julio E. Normey-Rico, Christian Roberto Kelber, Leandro Buss Becker
2009 C conf
Supporting independent development, deployment and co-operation of autonomous objects in distributed control systems.
ISADS
Jörg Kaiser, Sebastian Zug, Michael Schulze, Leandro Buss Becker
2009 — conf
Towards Safe Design of Synchronous Bus Protocols in Event-B.
SBMF
Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali
2008 Misc conf
A wireless hybrid contention/TDMA-based MAC for real-time mobile application.
SAC
Marcelo Maia Sobral, Leandro Buss Becker
2008 Misc conf
Special track on Real-Time Systems: editorial message.
SAC
Paulo Martins, Leandro Buss Becker
2007 B conf
An Integrated Scheduling and Retransmission Proposal for Firm Real-Time Traffic in IEEE 802.11e.
ECRTS
Douglas Dimi Demarch, Leandro Buss Becker
2007 C conf
Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload.
ISORC
Crineu Tres, Leandro Buss Becker, Edgar Nett
2007 — conf
Uma Solução para Reuso e Manutenção de Transformadores de Modelos Usando a Abordagem FOMDA.
SBES
Fábio Paulo Basso, Leandro Buss Becker, Toacy Cavalcante de Oliveira
2006 A conf
Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java.
DATE
Marco A. Wehrmeister, Carlos Eduardo Pereira, Leandro Buss Becker
2006 C conf
Using the FOMDA Approach to Support Object-Oriented Real-Time Systems Development.
ISORC
Fábio Paulo Basso, Toacy Cavalcante de Oliveira, Leandro Buss Becker
2005 C conf
An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems.
ISORC
Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira
2005 — conf
Comparing high-level modeling approaches for embedded system design.
ASP-DAC
Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira, Ricardo Reis
2005 — conf
Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object.
WORDS
Elias Teodoro Silva Jr., Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira
2005 — conf
Latin-American Workshop on Dependable Automation Systems.
LADC
Herman Augusto Lepikson, Leandro Buss Becker
2005 J jnl
Robust scheduling in team-robotics.
J. Syst. Softw.
Leandro Buss Becker, Edgar Nett, Stefan Schemmer, Martin Gergeleit
2004 — conf
Evaluating High-Level Models for Real-Time Embedded Systems Design.
DIPES
Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira
2004 — conf
Optimizing Real-Time Embedded Systems Development Using a RTSJ-Based API.
OTM Workshops
Marco A. Wehrmeister, Leandro Buss Becker, Carlos Eduardo Pereira
2004 — conf
Power and performance tuning in the synthesis of real-time scheduling algorithms for embedded applications.
SBCCI
Leandro Buss Becker, Marco A. Wehrmeister, Carlos Eduardo Pereira
2003 — conf
On the suitability of the RT-UML profile for modeling distributed real-time systems.
ETFA (2)
Leandro Buss Becker, Carlos Eduardo Pereira
2003 A conf
Robust Scheduling in Team-Robotics .
IPDPS
Martin Gergeleit, Leandro Buss Becker, Edgar Nett
2003 — conf
Using a flexible real-time scheduling strategy in a distributed embedded application.
ETFA (2)
Leandro Buss Becker, Martin Gergeleit, Stefan Schemmer, Edgar Nett
2002 — conf
On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap.
Symposium on Object-Oriented Real-Time Distributed Computing
Leandro Buss Becker, R. H. Höltz, Carlos Eduardo Pereira
2002 J jnl
SIMOO-RT-an object-oriented framework for the development of real-time industrial automation systems.
IEEE Trans. Robotics Autom.
Leandro Buss Becker, Carlos Eduardo Pereira
2001 J jnl
An integrated environment for the complete development cycle of an object-oriented distributed real-time system.
Comput. Syst. Sci. Eng.
Leandro Buss Becker, Martin Gergeleit, Edgar Nett, Carlos Eduardo Pereira
2001 — conf
Framework for Component-Based Development of Distributed Real-Time Systems.
WORDS
Claudio Villela, Leandro Buss Becker, Carlos Eduardo Pereira
2001 C conf
On Evaluating Interaction and Communication Schemes for Automation Applications Based on Real-Time Distributed Objects.
ISORC
Carlos Eduardo Pereira, Jörg Kaiser, Carlos Mitidieri, Claudio Villela, Leandro Buss Becker
2000 B conf
From design to implementation: tool support for the development of object-oriented distributed real-time systems.
ECRTS
Leandro Buss Becker, Carlos Eduardo Pereira
2000 C conf
MOSYS A Methodology for Automatic Object Identification from System Specification.
ISORC
Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira
2000 — conf
Optimizing Functional distribution in Complex System Design.
DIPES
Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira
1999 C conf
An Integrated Environment for the Complete Development Cycle of an Object-Oriented Distributed Real-Time System.
ISORC
Carlos Eduardo Pereira, Leandro Buss Becker, Martin Gergeleit, Edgar Nett
1999 — conf
Proposal of an integrated object-oriented environment for the design of supervisory software for real-time industrial automation systems.
WORDS (Jan.)
Leandro Buss Becker, Wilson Pardi Junior, Carlos Eduardo Pereira