Leandro Buss Becker

According to our database, Leandro Buss Becker authored at least 90 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition.

Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher

J. Intell. Robotic Syst., September, 2024

2023

Graphical DSL Devoted to Ease the Application of Model-Driven Engineering in Petrochemical Industry Automation.

Fábio Basso, Jaqueline de Souza Moura, Carlos Eduardo Xavier Correia, Karina Casola, Leandro Buss Becker

Proceedings of the Anais do WER23, 2023

UAV Swarm Control and Coordination Using Jason BDI Agents on Top of ROS.

Iago de Oliveira Silvestre, Bruno de Lima, Pedro Henrique Dias, Leandro Buss Becker, Jomi Fred Hübner, Maiquel de Brito

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition.

Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Applying Runtime Verification in Real-Time Systems with FreeRTOS.

Elton Ferreira Broering, Leandro Buss Becker

Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

2021

Communication Interface Manager for Improving Performance of Heterogeneous UAV Networks.

Laura Michaella B. Ribeiro, Ivan Müller, Leandro Buss Becker

Sensors, 2021

Using gem5 Simulator to Support Design Space Exploration Targeting ARM Architecture.

Iago de Oliveira Silvestre, Antonio Carlos Schneider Beck Filho, Leandro Buss Becker

Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

Approach for Evolving Sensing and Actuation Devices in Cyberphysical Systems Architectures.

Diego C. Sales, Leandro Buss Becker

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Active Perception within BDI Agents Reasoning Cycle.

Gustavo R. Silva, Jomi F. Hübner, Leandro Buss Becker

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Ontology and Rules for Characterization of Sensors and Actuators Devices in AADL Models.

Diego Camara Sales, Cristian Koliver, Leandro Buss Becker

Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

2019

Applying Integrated Formal Methods on CPS Design.

Henrique Amaral Misson, Fernando Silvano Gonçalves, Leandro Buss Becker

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

Performance Analysis of IEEE 802.11p and IEEE 802.11n based on QoS for UAV networks.

Laura Michaella B. Ribeiro, Leandro Buss Becker

Proceedings of the 9th ACM Symposium on Design and Analysis of Intelligent Vehicular Networks and Applications, 2019

2018

Systematic Literature Review of System Engineering Design Methods.

Diego C. Sales, Leandro Buss Becker

Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018

Coordinated UAV Search and Rescue Application with JaCaMo.

Marcelo S. Menegol, Jomi Fred Hübner, Leandro Buss Becker

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Evaluation of Multi-agent Coordination on Embedded Systems.

Marcelo S. Menegol, Jomi Fred Hübner, Leandro Buss Becker

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection, 2018

Multi-Factor Dynamic Channel Assignment approach for Wi-Fi networks.

Laura Michaella B. Ribeiro, Eduardo Souto, Leandro Buss Becker

Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Experimenting Sensor Nodes Localization in WSN with UAV Acting as Mobile Agent.

Juliano Grigulo, Leandro Buss Becker

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Model- Driven Engineering for Petrochemical Industry Automation.

Thaise Poerschke Damo, Leandro Buss Becker

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

6th Brazilian Symposium on Computing System Engineering.

Alisson V. Brito, Rivalino Matias Jr., Leandro Buss Becker

ACM SIGOPS Oper. Syst. Rev., 2017

EGL: efficient geometry-based localisation in wireless sensor networks.

Ali Sayyed, Gustavo Medeiros de Araújo, Leandro Buss Becker

Int. J. Sens. Networks, 2017

Building the foundations for 'MDE as Service'.

Fábio Paulo Basso, Toacy Cavalcante de Oliveira, Cláudia Maria Lima Werner, Leandro Buss Becker

IET Softw., 2017

Formal Verification of AADL Models Using UPPAAL.

Fernando Silvano Goncalves, David Pereira, Eduardo Tovar, Leandro Buss Becker

Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017

2016

5th Brazilian Symposium on Computing System Engineering.

Márcio Oyamada, Antônio Augusto Fröhlich, Leandro Buss Becker

ACM SIGOPS Oper. Syst. Rev., 2016

Smart data collection in large scale sparse WSNs.

Ali Sayyed, Gustavo Medeiros de Araújo, Leandro Buss Becker

Proceedings of the 9th IFIP Wireless and Mobile Networking Conference, 2016

Model driven engineering approach to design sensing and actuation subsystems.

Fernando Silvano Goncalves, Leandro Buss Becker

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

A Survey on Data Collection in Mobile Wireless Sensor Networks (MWSNs).

Ali Sayyed, Leandro Buss Becker

Proceedings of the Cooperative Robots and Sensor Networks 2015, 2015

Brazilian Symposium on Computing System Engineering.

Raimundo S. Barreto, Rafael R. Obelheiro, Leandro Buss Becker

ACM SIGOPS Oper. Syst. Rev., 2015

Dual-Stack Single-Radio Communication Architecture for UAV Acting As a Mobile Node to Collect Data in WSNs.

Ali Sayyed, Gustavo Medeiros de Araújo, João Paulo Bodanese, Leandro Buss Becker

Sensors, 2015

Wireless Coexistence and Spectrum Sensing in Industrial Internet of Things: An Experimental Study.

Jean Michel Winter, Ivan Müller, Gloria Soatti, Stefano Savazzi, Monica Nicoli, Leandro Buss Becker, João Cesar Netto, Carlos Eduardo Pereira

Int. J. Distributed Sens. Networks, 2015

Network design and planning of wireless embedded systems for industrial automation - Applications and case studies in oil refineries.

Ramon Hugo de Souza, Stefano Savazzi, Leandro Buss Becker

Des. Autom. Embed. Syst., 2015

Cyber-physical systems design: transition from functional to architectural models.

Rosane Fátima Passarini, Jean-Marie Farines, João M. Fernandes, Leandro Buss Becker

Des. Autom. Embed. Syst., 2015

Preparing Cyber-physical Systems Functional Models for Implementation.

Fernando Silvano Goncalves, Leandro Buss Becker

Proceedings of the 2015 Brazilian Symposium on Computing Systems Engineering, 2015

2014

Genetic Machine Learning Approach for Link Quality Prediction in Mobile Wireless Sensor Networks.

Gustavo Medeiros de Araújo, Alex R. Pinto, Jörg Kaiser, Leandro Buss Becker

Proceedings of the Cooperative Robots and Sensor Networks, 2014

Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems.

Fernando Silvano Goncalves, Leandro Buss Becker

Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Coexistence issues in wireless networks for factory automation.

Jean Michel Winter, Ivan Müller, Carlos Eduardo Pereira, Stefano Savazzi, Leandro Buss Becker, João Cesar Netto

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Wireless sensor network UML profile to support model-driven development.

A. R. Paulon, Antônio Augusto Fröhlich, Leandro Buss Becker, Fábio Paulo Basso

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

RBESP: Reliable and best effort stack protocol for UAV collaboration with WSN.

João Paulo Bodanese, Gustavo Medeiros de Araújo, Guilherme V. Raffo, Leandro Buss Becker

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Wireless Communication Infrastructure for a Short-Range Unmanned Aerial.

João Paulo Bodanese, Gustavo Medeiros de Araújo, Guilherme Steup, Guilherme V. Raffo, Leandro Buss Becker

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

Wireless Network Planning and Optimization in Oil and Gas Refineries.

Stefano Savazzi, Ramon Hugo de Souza, Leandro Buss Becker

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

The Assisted Transformation of Models: Supporting Cyber-Physical Systems Design by Extracting Architectural Aspects and Operating Modes from Simulink Functional Models.

Rosane Fátima Passarini, Leandro Buss Becker, Jean-Marie Farines

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle.

Leandro Buss Becker, Guilherme V. Raffo, Fernando Silvano Goncalves

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Model-Driven Development of WSN Applications.

Leandro Buss Becker, Fábio Paulo Basso, Antônio Augusto Fröhlich, A. R. Paulon

Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Supporting large scale model transformation reuse.

Fábio Paulo Basso, Raquel Mainardi Pillat, Toacy Cavalcante de Oliveira, Leandro Buss Becker

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012

Brazilian symposium on computing system engineering.

Antônio Augusto Fröhlich, Leandro Buss Becker, George Lima, Stefan Petters, Dilma M. Da Silva, Edna Natividade da Silva Barros

ACM SIGOPS Oper. Syst. Rev., 2012

Remaining Battery Lifetime Determination in Cyber-Physical Systems.

Elisabete Nakoneczny Moraes, Leandro Buss Becker

Proceedings of the 3rd International Conference on Ambient Systems, 2012

An Evolutionary Approach to Improve Connectivity Prediction in Mobile Wireless Sensor Networks.

Gustavo Medeiros de Araújo, Alex R. Pinto, Jörg Kaiser, Leandro Buss Becker

Proceedings of the 3rd International Conference on Ambient Systems, 2012

Energy Profile Evaluation of a Cyber-Physical System.

Elisabete Nakoneczny Moraes, Leandro Buss Becker

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Embedded Systems Design: Solution for Generating AADL Architectural Models from Functional Models in Simulink.

Rosane Fátima Passarini, Jean-Marie Farines, Leandro Buss Becker

Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

An optimized Markov model to predict link quality in mobile wireless sensor networks.

Gustavo Medeiros de Araújo, Jörg Kaiser, Leandro Buss Becker

Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Using multiple channels to improve SDR flexibility and performance.

Roberto de Matos, Antônio Augusto Fröhlich, Leandro Buss Becker

Proceedings of the International Conference on Computing, Networking and Communications, 2012

2011

Evaluating the benefits and feasibility of coordinated medium access in MANETS.

Marcelo Maia Sobral, Leandro Buss Becker

SIGBED Rev., 2011

RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks.

Nouha Baccour, Anis Koubaa, Maissa Ben Jamâa, Denis do Rosário, Habib Youssef, Mário Alves, Leandro Buss Becker

Ad Hoc Networks, 2011

An Investigation about Real-Time Capacity of a Mobile Wireless Network.

Marcelo Maia Sobral, Leandro Buss Becker

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Tutorial 1: Mobile Robotics.

Guilherme Vianna Raffo, Jean-Marie Farines, Leandro Buss Becker, Ubirajara Franco Moreno

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.

Rafael Garlet de Oliveira, Gabriel H. R. Santos, Jean-Marie Farines, Leandro Buss Becker

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Framework for Estimating Energy Consumption in Embedded Systems.

Elisabete Nakoneczny Moraes, Leandro Buss Becker

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

A Network Conditions Aware Geographical Forwarding Protocol for Real-Time Applications in Mobile Wireless Sensor Networks.

Gustavo Medeiros de Araújo, Leandro Buss Becker

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

2010

Supporting the Design of Safety Critical Systems Using AADL.

T. Correa, Leandro Buss Becker, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, François Vernadat

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks.

Nouha Baccour, Anis Koubaa, Habib Youssef, Maissa Ben Jamâa, Denis do Rosário, Mário Alves, Leandro Buss Becker

Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

A testbed for the evaluation of link quality estimators in wireless sensor networks.

Nouha Baccour, Maissa Ben Jamâa, Denis do Rosário, Anis Koubaa, Habib Youssef, Mário Alves, Leandro Buss Becker

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

A Predictive Controller for Autonomous Vehicle Path Tracking.

Guilherme V. Raffo, Guilherme K. Gomes, Julio E. Normey-Rico, Christian Roberto Kelber, Leandro Buss Becker

IEEE Trans. Intell. Transp. Syst., 2009

Towards Safe Design of Synchronous Bus Protocols in Event-B.

Ricardo Bedin França, Leandro Buss Becker, Jean-Paul Bodeveix, Jean-Marie Farines, Mamoun Filali

Proceedings of the Formal Methods: Foundations and Applications, 2009

Supporting independent development, deployment and co-operation of autonomous objects in distributed control systems.

Jörg Kaiser, Sebastian Zug, Michael Schulze, Leandro Buss Becker

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

2008

A wireless hybrid contention/TDMA-based MAC for real-time mobile application.

Marcelo Maia Sobral, Leandro Buss Becker

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Special track on Real-Time Systems: editorial message.

Paulo Martins, Leandro Buss Becker

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

Uma Solução para Reuso e Manutenção de Transformadores de Modelos Usando a Abordagem FOMDA.

Fábio Paulo Basso, Leandro Buss Becker, Toacy Cavalcante de Oliveira

Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload.

Crineu Tres, Leandro Buss Becker, Edgar Nett

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

An Integrated Scheduling and Retransmission Proposal for Firm Real-Time Traffic in IEEE 802.11e.

Douglas Dimi Demarch, Leandro Buss Becker

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006

Using the FOMDA Approach to Support Object-Oriented Real-Time Systems Development.

Fábio Paulo Basso, Toacy Cavalcante de Oliveira, Leandro Buss Becker

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java.

Marco A. Wehrmeister, Carlos Eduardo Pereira, Leandro Buss Becker

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Robust scheduling in team-robotics.

Leandro Buss Becker, Edgar Nett, Stefan Schemmer, Martin Gergeleit

J. Syst. Softw., 2005

Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object.

Elias Teodoro Silva Jr., Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Latin-American Workshop on Dependable Automation Systems.

Herman Augusto Lepikson, Leandro Buss Becker

Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems.

Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira

Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Comparing high-level modeling approaches for embedded system design.

Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira, Ricardo Reis

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

2004

Power and performance tuning in the synthesis of real-time scheduling algorithms for embedded applications.

Leandro Buss Becker, Marco A. Wehrmeister, Carlos Eduardo Pereira

Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

Optimizing Real-Time Embedded Systems Development Using a RTSJ-Based API.

Marco A. Wehrmeister, Leandro Buss Becker, Carlos Eduardo Pereira

Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Evaluating High-Level Models for Real-Time Embedded Systems Design.

Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

2003

Robust Scheduling in Team-Robotics .

Martin Gergeleit, Leandro Buss Becker, Edgar Nett

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

On the suitability of the RT-UML profile for modeling distributed real-time systems.

Leandro Buss Becker, Carlos Eduardo Pereira

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

Using a flexible real-time scheduling strategy in a distributed embedded application.

Leandro Buss Becker, Martin Gergeleit, Stefan Schemmer, Edgar Nett

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2002

SIMOO-RT-an object-oriented framework for the development of real-time industrial automation systems.

Leandro Buss Becker, Carlos Eduardo Pereira

IEEE Trans. Robotics Autom., 2002

On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap.

Leandro Buss Becker, R. H. Höltz, Carlos Eduardo Pereira

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

2001

An integrated environment for the complete development cycle of an object-oriented distributed real-time system.

Leandro Buss Becker, Martin Gergeleit, Edgar Nett, Carlos Eduardo Pereira

Comput. Syst. Sci. Eng., 2001

Framework for Component-Based Development of Distributed Real-Time Systems.

Claudio Villela, Leandro Buss Becker, Carlos Eduardo Pereira

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

On Evaluating Interaction and Communication Schemes for Automation Applications Based on Real-Time Distributed Objects.

Carlos Eduardo Pereira, Jörg Kaiser, Carlos Mitidieri, Claudio Villela, Leandro Buss Becker

Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

2000

MOSYS A Methodology for Automatic Object Identification from System Specification.

Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Optimizing Functional distribution in Complex System Design.

Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira, Leandro Buss Becker, Carlos Eduardo Pereira

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

From design to implementation: tool support for the development of object-oriented distributed real-time systems.

Leandro Buss Becker, Carlos Eduardo Pereira

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999

Proposal of an integrated object-oriented environment for the design of supervisory software for real-time industrial automation systems.

Leandro Buss Becker, Wilson Pardi Junior, Carlos Eduardo Pereira

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999