Leandro Buss Becker

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 25

Top Topics

Data Collection

Embedded Systems

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

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