Leandro Buss Becker

Affiliations:
  • Federal University of Santa Catarina


According to our database1, Leandro Buss Becker authored at least 89 papers between 1999 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Graphical DSL Devoted to Ease the Application of Model-Driven Engineering in Petrochemical Industry Automation.
Proceedings of the Anais do WER23, 2023

UAV Swarm Control and Coordination Using Jason BDI Agents on Top of ROS.
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.
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022
Applying Runtime Verification in Real-Time Systems with FreeRTOS.
Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

2021
Communication Interface Manager for Improving Performance of Heterogeneous UAV Networks.
Sensors, 2021

Using gem5 Simulator to Support Design Space Exploration Targeting ARM Architecture.
Proceedings of the XI Brazilian Symposium on Computing Systems Engineering, 2021

Approach for Evolving Sensing and Actuation Devices in Cyberphysical Systems Architectures.
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

Active Perception within BDI Agents Reasoning Cycle.
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.
Proceedings of the X Brazilian Symposium on Computing Systems Engineering, 2020

2019
Applying Integrated Formal Methods on CPS Design.
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.
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.
Proceedings of the VIII Brazilian Symposium on Computing Systems Engineering, 2018

Coordinated UAV Search and Rescue Application with JaCaMo.
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.
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.
Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Experimenting Sensor Nodes Localization in WSN with UAV Acting as Mobile Agent.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Model- Driven Engineering for Petrochemical Industry Automation.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017
6th Brazilian Symposium on Computing System Engineering.
ACM SIGOPS Oper. Syst. Rev., 2017

EGL: efficient geometry-based localisation in wireless sensor networks.
Int. J. Sens. Networks, 2017

Building the foundations for 'MDE as Service'.
IET Softw., 2017

Formal Verification of AADL Models Using UPPAAL.
Proceedings of the VII Brazilian Symposium on Computing Systems Engineering, 2017

2016
5th Brazilian Symposium on Computing System Engineering.
ACM SIGOPS Oper. Syst. Rev., 2016

Smart data collection in large scale sparse WSNs.
Proceedings of the 9th IFIP Wireless and Mobile Networking Conference, 2016

Model driven engineering approach to design sensing and actuation subsystems.
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).
Proceedings of the Cooperative Robots and Sensor Networks 2015, 2015

Brazilian Symposium on Computing System Engineering.
ACM SIGOPS Oper. Syst. Rev., 2015

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

Wireless Coexistence and Spectrum Sensing in Industrial Internet of Things: An Experimental Study.
Int. J. Distributed Sens. Networks, 2015

Network design and planning of wireless embedded systems for industrial automation - Applications and case studies in oil refineries.
Des. Autom. Embed. Syst., 2015

Cyber-physical systems design: transition from functional to architectural models.
Des. Autom. Embed. Syst., 2015

Preparing Cyber-physical Systems Functional Models for Implementation.
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.
Proceedings of the Cooperative Robots and Sensor Networks, 2014

Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems.
Proceedings of the 2014 Brazilian Symposium on Computing Systems Engineering, 2014

Coexistence issues in wireless networks for factory automation.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Wireless sensor network UML profile to support model-driven development.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

RBESP: Reliable and best effort stack protocol for UAV collaboration with WSN.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Wireless Communication Infrastructure for a Short-Range Unmanned Aerial.
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.
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.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Analyzing the Use of Anytime Algorithms on an Unmanned Aerial Vehicle.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Model-Driven Development of WSN Applications.
Proceedings of the III Brazilian Symposium on Computing Systems Engineering, 2013

Supporting large scale model transformation reuse.
Proceedings of the Generative Programming: Concepts and Experiences, 2013

2012
Brazilian symposium on computing system engineering.
ACM SIGOPS Oper. Syst. Rev., 2012

Remaining Battery Lifetime Determination in Cyber-Physical Systems.
Proceedings of the 3rd International Conference on Ambient Systems, 2012

An Evolutionary Approach to Improve Connectivity Prediction in Mobile Wireless Sensor Networks.
Proceedings of the 3rd International Conference on Ambient Systems, 2012

Energy Profile Evaluation of a Cyber-Physical System.
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.
Proceedings of the 26th Brazilian Symposium on Software Engineering, 2012

An optimized Markov model to predict link quality in mobile wireless sensor networks.
Proceedings of the 2012 IEEE Symposium on Computers and Communications, 2012

Using multiple channels to improve SDR flexibility and performance.
Proceedings of the International Conference on Computing, Networking and Communications, 2012

2011
Evaluating the benefits and feasibility of coordinated medium access in MANETS.
SIGBED Rev., 2011

RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks.
Ad Hoc Networks, 2011

An Investigation about Real-Time Capacity of a Mobile Wireless Network.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Tutorial 1: Mobile Robotics.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Contributions to Improvement of the Formal Properties Verification Process in AADL Programs.
Proceedings of the Brazilian Symposium on Computing System Engineering, 2011

Framework for Estimating Energy Consumption in Embedded Systems.
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.
Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

2010
Supporting the Design of Safety Critical Systems Using AADL.
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.
Proceedings of the Wireless Sensor Networks, 7th European Conference, 2010

A testbed for the evaluation of link quality estimators in wireless sensor networks.
Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009
A Predictive Controller for Autonomous Vehicle Path Tracking.
IEEE Trans. Intell. Transp. Syst., 2009

Towards Safe Design of Synchronous Bus Protocols in Event-B.
Proceedings of the Formal Methods: Foundations and Applications, 2009

Supporting independent development, deployment and co-operation of autonomous objects in distributed control systems.
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.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Special track on Real-Time Systems: editorial message.
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.
Proceedings of the 21st Brazilian Symposium on Software Engineering, 2007

Real-Time Tasks Scheduling with Value Control to Predict Timing Faults During Overload.
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.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006
Using the FOMDA Approach to Support Object-Oriented Real-Time Systems Development.
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.
Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005
Robust scheduling in team-robotics.
J. Syst. Softw., 2005

Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Latin-American Workshop on Dependable Automation Systems.
Proceedings of the Dependable Computing, Second Latin-American Symposium, 2005

An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems.
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.
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.
Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

Optimizing Real-Time Embedded Systems Development Using a RTSJ-Based API.
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.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

2003
Robust Scheduling in Team-Robotics .
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.
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.
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.
IEEE Trans. Robotics Autom., 2002

On Mapping RT-UML Specifications to RT-Java API: Bridging the Gap.
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.
Comput. Syst. Sci. Eng., 2001

Framework for Component-Based Development of Distributed Real-Time Systems.
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.
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.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Optimizing Functional distribution in Complex System Design.
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.
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.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999


  Loading...