yusuke1997/dblp-id-title huggingface dataset:
2014 Brazilian Symposium on Computing Systems Engineering, SBESC 2014, Manaus, Amazonas, Brazil, November 3-7, 2014
Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models
Study of the Efficiency of Electronic Postural Corrector in the Treatment and Prevention of Thoracic Hyperkyphosis in Children and Teenagers
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context
A Decision-Tree Solution for the Outdated CQI Feedback Problem in 5G Networks
Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies
On the Impact of Dynamic Routing Metrics on a Geographic Protocol for WSNs
DANDi: Dynamic Asynchronous Neighbor Discovery Protocol for Directional Antennas
Mobile Nodes as a Dynamic Management Strategy to Improve Coverage in Wireless Sensor Networks
Mapping Computations in Heterogeneous Multicore Systems with Statistical Regression on Inputs
Transistor-Level Logic Gates Ranking Strategy for Selective Hardening
Trusted Monitor: TEE-Based System Monitoring
Evaluating Resources Cost of a Convolutional Neural Network Aiming an Embedded System
A Study of Bluetooth Application for Remote Controlling of Mobile Embedded Systems
Tutorial 1: Mobile Robotics
Integrating Real-Time Main Controller with Power Prediction Interface and State Classifier in Energy Harvesting Systems: An Approach
Distributed Learning using Consensus on Edge AI
Notification-Oriented Programming Language and Compiler
An Environment for Design Space Exploration Using gem5-McPAT
EAVIRA: Energy-Aware Virtual Infrastructure Reallocation Algorithm
Dealing with Soft Aperiodic Tasks in RUN
Virtualizing Mixed-Criticality Operating Systems
Request Batching Self-Configuration in Byzantine Fault-Tolerant Replication
RDSF: Everything at Same Place All at Once - A Random Decision Single Forest
Tutorial 2: Wireless Sensor Networks
TRIPP: Transparent Resource Provisioning for Multi-Tenant CPU-GPU based Cloud Environments
Applying Runtime Verification in Real-Time Systems with FreeRTOS
An Exploratory Study on Patterns in Dynamic Memory Allocations
Reducing Computational Costs of an Embedded Classifier to Determine Leather Quality
Portable Device for Faster Tire Tread Depth Estimation Using Linear CCD Sensors
Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems
Allowing Large-Scale Systems Evaluation with Ptolemy through Distributed Simulation
Gravitational Task Model Based Bandwidth Compression Algorithm for Adaptive Resource Management
Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations
Time Synchronization at OS Level Using the IEEE 1588 Protocol
TinyML Applied in Hyperspectral Image Classification on COTS Microcontroller
A Model for Reconfiguration of Multi-Modal Real-Time Systems under Energy Constraints
Using Bioinspired Meta-heuristics to Solve Reward-Based Energy-Aware Mandatory/Optional Real-Time Tasks Scheduling
Possible risks with EVT-based timing analysis: an experimental study on a multi-core platform
LLVM-ACT: Profiling Based Tool for Approximate Computing Technique Selection
Potential Gains in EDP by Dynamically Adapting the Number of Threads for OpenMP Applications in Embedded Systems
FLEA - FIT-Aware Heuristic for Application Allocation in Many-Cores based on Q-Learning
Evaluating Dead Line Predictors Efficiency with Drowsy Technique
Methods for Comparing Execution Times of Different Input Data when Real-Time Tasks Run on Complex Computer Architectures
Runtime Vectorization of Conditional Code and Dynamic Range Loops to ARM NEON Engine
Predicting Thread Profiles across Core Types via Machine Learning on Heterogeneous Multiprocessors
Comparing TinyML Models and Libraries for On-Device Water Potability Classification
EMPC-SA: Error Correction Scheme using Modified Product Code for Space Applications
A LLVM Based Development Environment for Embedded Systems Software Targeting the RISCO Processor
Model-Driven Development of WSN Applications
Systematic Literature Review of System Engineering Design Methods
A Model Driven Approach for Android Applications Development
Enabling Water Management System for Agriculture Using a Low Cost Approach
Imbalance fault detection in BLDC motors through audio signals using the density of maxima and CNN
Development of a Low Cost Programmable Logic Controller
Designing a Novel Dataset for Non-intrusive Load Monitoring
Exploration Tool for Collaborative Provisioning and DVFS in Heterogeneous Cloud Environments
A Model-Based Approach to Support the Automatic Safety Analysis of Multiple Product Line Products
Design Space Exploration Using UTNoCs and Genetic Algorithm
Performance Evaluation of Android Applications: A Case Study
Isolated Words Recognition Using a Low Cost Microcontroller
Early Estimation of NFRs for Embedded System Using Design Metrics
An Investigation about Real-Time Capacity of a Mobile Wireless Network
UAVs as Data Collectors in the WSNs: Investigating the Effects of Back-and-Forth and Spiral Coverage Paths in the Network Lifetime
Device Driver Generation and Checking Approach
Evaluation of Compound System Calls in the Linux Kernel
Contributions to Improvement of the Formal Properties Verification Process in AADL Programs
A Model to Calculate Exact End-to-End Delay of Sporadic Flows on AFDX Network Using Mathematical Programming
System for Measurement and Control of Water Consumption Using Wireless Sensor Network
An Embedded Automatic License Plate Recognition System Using Deep Learning
A Routing based Genetic Algorithm for Task Mapping on MPSoC
Toward the Design of a Novel Wearable System for Field Research in Ecology
Experimental analysis of the symmetry of approximate adder designs in FPGA and ASIC
Preparing Cyber-physical Systems Functional Models for Implementation
A Multisite Characterization Study on Failure Causes in System and Applications Software
Analysis of Multi-Hop Strategies in LEACH Protocol
Using Machine Learning to Estimate Latency and Delivered Packets in Hybrids NoCs
High Availability for Critical Services Using Open Software and Virtualization
Data-Centric Design for Formal Verification of Vehicle Monitoring
Wearable Sensors: Improving AI for Walking Activities Through GAN-Based Data Augmentation
Systematic Literature Review on Automotive Diagnostics
Offload Debugging for Java Programmed Embedded Systems
Evaluating the CCSDS 123 Compressor Running on RISC-V and ARM Architectures
An Approach Based on Ford-Fulkerson Algorithm to Optimize Network Bandwidth Usage
Extended Abstract: File Transfer in Vehicular Ad-Hoc Networks
Analysis of the Impact of Refactorings on the Performance of Embedded Systems
Building a Node for Wireless Sensor Network Based on Open Source Platform Arduino
Comparison of Different Adaptable Cache Bypassing Approaches
JingleOS: An Operating System to Embedded Devices with Language-Based Protection
Time Synchronization under Temperature and Distance Variations
A Context Manager for General-Purpose Operating Systems
Reaching Optimum Solutions for the Low Power Hard Real-Time Task Allocation on Multiple Heterogeneous Processors Problem
EnergyBudgets: Integrating Physical Energy Measurement Devices into Systems Software
A Runtime Mapping Algorithm to Tolerate Permanent Faults in a CGRA
A Framework for the Analysis of UAV Strategies Using Co-simulation
Label-affinity-Scheduler: Considering Business Requirements in Container Scheduling for Multi-Cloud and Multi-Tenant Environments
Multi-Node Allocation Heuristics for IoT Applications
Using gem5 Simulator to Support Design Space Exploration Targeting ARM Architecture
Applying Non-destructive Testing and Machine Learning to Ceramic Tile Quality Control
Formal Verification of AADL Models Using UPPAAL
Analysis of Path Planning Algorithms Based on Travelling Salesman Problem Embedded in UAVs
A Multi-UAV Co-Simulation Environment for Safety and Performance Analysis
An Efficient Mutual Exclusion Algorithm for Redundant Resources in Distributed Operating Systems
Bears: Building Energy-Aware Reconfigurable Systems
Automatic Classification of Processes in a General-Purpose Operating System
Designing a Multiple-User Wearable Edge AI system towards Human Activity Recognition
A Fault Injection Framework for Real-time Multicore Embedded Systems
Characterizing Interoperability in Context-Aware Software Systems
Evaluation of TDMA Robustness in WirelessHART Networks
Analysis and Evaluation of the Android Best Practices Impact on the Efficiency of Mobile Applications
VII Brazilian Symposium on Computing Systems Engineering, SBESC 2017, Curitiba, PR, Brazil, November 6-10, 2017
Cache-Aware Task Partitioning for Multicore Real-Time Systems
How Programming Languages and Paradigms Affect Performance and Energy in Multithreaded Applications
Planning and Evaluation of UAV Mission Planner for Intralogistics Problems
Assessing the Use of Continuous-Time and Timed-Triggered Models for Designing Cyber-Physical Systems
A Comparative Analysis of HDL and HLS for Accelerating Machine Learning based Strain Estimation with Ultrasonic Guided Waves
A Predictive Actuator for IoT-based Air Conditioner Unit
Evaluating the Effect of Audio Feedback on the Behavior of Automotive Fatigue and Distraction Detection System Users
JFORTES: Java Formal Unit TESt Generation
Energy Profile Evaluation of a Cyber-Physical System
Calibration of a metal oxide sensor for ammonia detection targeting IoT solutions
Analysis of Real-Time Scheduling Problems by Single Step and Maximal Step Semantics for Time Petri Net Models
WirelessHART Routing Analysis Software
Sufficient Schedulability Tests for EDF-Scheduled Real-Time Systems under Interference of a High Priority Task
Interfacing Hardware Devices to Embedded Java
Verification of Delta Form Realization in Fixed-Point Digital Controllers Using Bounded Model Checking
Evaluating Dalvik Instructions through Dynamic Analysis of Bytecodes
Use of Neural Networks in the Management of Virtual Web Servers
On the Influence of Shared Memory Contention in Real-Time Multicore Applications
WSN Experiment and a Grid-Based Network Architecture Proposal
Real-Time Dynamic Voltage Scaling for the EPOS Operating System
Natural Landmark Tracking Method to Support UAV Navigation over Rain Forest Areas
An Optimization Approach for Emergency Vehicles Dispatching and Traffic Lights Adjustments in Response to Emergencies in Smart Cities
Mutant Components: Efficiently Managing Multiple Implementations
A Low-Cost Chlorophyll Fluorescence Sensor System
Decreasing Spill Code to Decrease Energy Consumption
A Cache Design Assessment Approach for Embedded Real-Time Systems Based on Execution Time Measurement
Generation of Application Specific Fault Tolerant Irregular NoC Topologies Using Tabu Search
Multi-objective Tuning of Generalized Predictive Controller: A Trade-Off Between Performance and Robustness
On the Effect of Heterogeneous Robot Fleets on Smart Warehouses' Order Time, Energy, and Operating Costs
Cryptographic API for Embedded Applications
Energy Saving in Server Clusters
A Constraint-Driven Assessment of Operating Systems for Wearable Devices
A Simultaneous Multithreading Processor Architecture with Predictable Timing Behavior
Reconfigurable Agents for Heterogeneous Wireless Sensor Networks
The Impact of Different Multi-Threading Interfaces on Embedded Systems
A Solution for Vegetation Analysis, Separation and Geolocation of Management Zones using Aerial Images by UAVs
Design and Implementation of a Network Centric Appliance Platform
Impact of Temporal and Spatial Application Modeling on Event-Triggered Wireless Sensor Network Evaluation
Reliability Assessment of Commercial Off-the-Shelf Operating System Software: An Empirical Study
A Linked Data-Based Semantic Information Model for Smart Cities
Implementing object tracking for seeding quality on Android devices
2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015, Foz do Iguacu, Brazil, November 3-6, 2015
Byzantine Fault Tolerance in the Partitioned Synchronous System Model
Wireless Network Planning and Optimization in Oil and Gas Refineries
Automated Generation of HDL Implementations of Dadda and Wallace Tree Multipliers
Implementation and Evaluation of Adaptive Cache Insertion Policies for Real-Time Systems
Machine Learning for Identification and Classification of Crops and Weeds
Specification and Verification of a Multi-agent Coordination Protocol with TLA+
ARTERIAL: A Natural Language Processing Model for Prevention of Information Leakage from Electronic Health Records
Early Verification of Embedded Systems: Testing Automation for UML Models
Assisted Counterexample-Guided Inductive Optimization for Robot Path Planning
Towards a Wearable Device for Monitoring Ecological Environments
A Machine Learning-Based Approach to Calibrate Low-Cost Particulate Matter Sensors
Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms
Non-intrusive Monitoring Framework for NoC-based Many-Cores
Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker
Hardware Virtualization on Coarse-Grained Reconfigurable Architectures
Hardware-in-the-Loop Simulation Low-Cost Platform
AttEAGNN: Attention Based Edge-Aware GNN Applied to Network Load Prediction
IoT sensors integrated with the distributed protocol IOTA/Tangle: Bosch XDK110 use case
Brazilian Mercosur License Plate Detection: a Deep Learning Approach Relying on Synthetic Imagery
SCProcessor Builder: A Tool to Create and Simulate Processors in SystemC
Comparative Performance Evaluation of CMSIS-RTOS
A Tool to Support Model-Based Testing Activities
Energy-Aware Technology-Based DVFS Mechanism for the Android Operating System
Development of an air quality station using low-cost sensors
Using deep-learning to automatically detect epileptic seizure in a wearable device
Searching for the Ideal Number of Threads on Asymmetric Multiprocessors
Cryptography on Untrustworthy Cloud Storage for Healthcare Applications: A Performance Analysis
Integration of Wireless Sensor Networks to the Internet of Things Using a 6LoWPAN Gateway
Screen Scratch Detection on Credit Card Payment Terminals for Logistics Optimization
Embedded System for Visual Odometry and Localization of Moving Objects in Images Acquired by Unmanned Aerial Vehicles
Communication Latency Evaluation on a Software-Defined Network-on-Chip
RedScarf: A User-Friendly Multi-Platform Network-on-Chip Simulator
A Predictable Execution Model for Digital TV Java Applications in Conformance with GEM Standard
Using TinyML to Classify the Flight Phases of an Unmanned Aerial Vehicle
Impact of Alien Networks on Consensus in a Team of Cooperative Mobile Robots
An Empirical Exploratory Analysis of Failure Sequences in a Commodity Operating System
Evaluation of the Huffman Encoding for Memory Optimization on Hardware Network Intrusion Detection
2012 Brazilian Symposium on Computing System Engineering, Natal, Brazil, November 5-7, 2012
Schedulability Analysis of Sporadic Messages in the FlexRay Dynamic Segment
Model Checking Embedded C Software Using k-Induction and Invariants
Device to Assist the Visually Impaired in Reading Printed or Scanned Documents
ETCF - Energy-Aware CPU Thread Throttling and Workload Balancing Framework for CPU-FPGA Collaborative Environments
On the Selection of Relevant Hardware Events for Explaining Execution Time Behavior
Automatic Tuning TLP and DVFS for EDP with a Non-intrusive Genetic Algorithm Framework
Discussion on the Usage of Real-Time Calculus to Model the FlexRay-Bus
Simple Area Coverage by a Dynamic Set of Unmanned Aerial Vehicles
Embedding a Neural Classifier to Detect Faults in a Three-Phase Induction Motor
Mapping Wired Links in a Hybrid Wired-Wireless Network-on-Chip
Potential of Using a Reconfigurable System on a Superscalar Core for ILP Improvements
Conceptual Data Modeling with Constraints in Maude
Forward and Backward Steps in a Fibration
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics
Minimality Notions via Factorization Systems ((Co)algebraic pearls)
Behavioral Extensions of Institutions
Traces, Executions and Schedulers, Coalgebraically
Amortized Analysis via Coinduction (Early Ideas)
Distributive Laws of Monadic Containers
Weak Bisimilarity Coalgebraically
A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity
Graphical Encoding of a Spatial Logic for the pi -Calculus
A Semantical Approach to Equilibria and Rationality
Coalgebraic Up-to Techniques
Non-strongly Stable Orders Also Define Interesting Simulation Relations
Stream Processors and Comodels
Pushdown Automata and Context-Free Grammars in Bisimulation Semantics
The Positivication of Coalgebraic Logics
Expressivity of Bisimulation Pseudometrics over Analytic State Spaces
Coinductive Control of Inductive Data Types
Bisimulation for Neighbourhood Structures
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
Parity Automata for Quantitative Linear Time Logics
Safety and Strong Completeness via Reducibility for Many-Valued Coalgebraic Dynamic Logics
Termination in Convex Sets of Distributions
Causal Unfoldings
Which Categories Are Varieties? ((Co)algebraic pearls)
CRDTs, Coalgebraically (Early Ideas)
A Tour on Ecumenical Systems (Invited Talk)
On the Fusion of Coalgebraic Logics
Labels from Reductions: Towards a General Theory
A 2-Categorical Approach to Composing Quantum Structures
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, Salzburg, Austria, August 31 - September 3, 2021
Positive Fragments of Coalgebraic Logics
The HI-Maude Tool
Datatypes in Memory
Parametrized Exceptions
Initial Algebras Without Iteration ((Co)algebraic pearls)
Stone Duality and the Recognisable Languages over an Algebra
Constraint-Muse: A Soft-Constraint Based System for Music Therapy
Active Learning of Upward-Closed Sets of Words ((Co)algebraic pearl)
Free Modal Algebras: A Coalgebraic Perspective
Quantitative Polynomial Functors (Early Ideas)
Constructor-Based Institutions
Coalgebraic Components in a Many-Sorted Microcosm
Trace Semantics via Generic Observations
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes
Circular Coinduction: A Proof Theoretical Foundation
Complete Axioms for Stateless Connectors
Views on Behaviour Protocols and Their Semantic Foundation
A Universal Construction for (Co)Relations
Extensions of Functors From Set to V-cat
A Categorical Semantics for Inductive-Inductive Definitions
Free Constructions and Coproducts of d-Frames
Strongly Finitary Monads for Varieties of Quantitative Algebras
Automata and Algebras for Infinite Words and Trees
The Category Theoretic Solution of Recursive Program Schemes
Quasitoposes, Quasiadhesive Categories and Artin Glueing
Automata Minimization: a Functorial Approach
Constructor-Based Inductive Theorem Prover
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Checking Conservativity with Hets
Hybridisation at Work
Property Preserving Redesign of Specifications
A Counterexample to Tensorability of Effects
Nawrotzki's Algorithm for the Countable Splitting Lemma, Constructively ((Co)algebraic pearls)
A Timed CTL Model Checker for Real-Time Maude
Uniform Interpolation in Coalgebraic Modal Logic
Equational Logic of Recursive Program Schemes
Linear-Time Graph Algorithms in GP 2
Presenting Morphisms of Distributive Laws
Local Completeness for Program Correctness and Incorrectness (Invited Talk)
String Diagrams for Graded Monoidal Theories, with an Application to Imprecise Probability
A Fibrational Approach to Automata Theory
11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, University of Strathclyde, UK, June 16-18, 2025
Penrose: Putting Compositionality to Work for Petri Net Reachability
A Tool Proving Well-Definedness of Streams Using Termination Tools
Coderelictions for Free Exponential Modalities
Distributive Lattice-Structured Ontologies
On the Semantics of Coinductive Types in Martin-Löf Type Theory
Kleene Monads: Handling Iteration in a Framework of Generic Effects
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Indiana University Bloomington, IN, USA, June 19-21, 2023
Higher Dimensional Trees, Algebraically
Van Kampen Colimits as Bicolimits in Span
Nabla Algebras and Chu Spaces
From Operational Chu Duality to Coalgebraic Quantum Symmetry
Dialectica Comonads (Invited Talk)
Nets, Relations and Linking Diagrams
Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra
Adequacy for Infinitary Algebraic Effects (Abstract)
Finitary Corecursion for the Infinitary Lambda Calculus
Codensity Liftings of Monads
Using Proofs by Coinduction to Find "Traditional" Proofs
Probability Sheaves and the Giry Monad
Aczel-Mendler Bisimulations in a Regular Category
A Coalgebraic Perspective on Probabilistic Logic Programming
On Doctrines and Cartesian Bicategories
Tool Interoperability in the Maude Formal Environment
Bisimulation for Weakly Expressive Coalgebraic Modal Logics
Distributive-Law Semantics for Cellular Automata and Agent-Based Models
Drawing and Recolouring
Shacc: A Functional Prototyper for a Component Calculus
An Intensionally Fully-abstract Sheaf Model for pi
A Simple Case of Rationality of Escalation
Final Semantics for Event-Pattern Reactive Programs
Weakly Markov Categories and Weakly Affine Monads
Relating Coalgebraic Notions of Bisimulation
An Effect System for Algebraic Effects and Handlers
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
Structured Co-spans: An Algebra of Interaction Protocols
Ready to Preorder: Get Your BCCSP Axiomatization for Free!
Modules Over Monads and Their Algebras
Presenting Distributive Laws
Nominal String Diagrams
On the Statistical Thermodynamics of Reversible Communicating Processes
A Category for Unifying Gaussian Probability and Nondeterminism
CIRC : A Circular Coinductive Prover
Characterising Behavioural Equivalence: Three Sides of One Coin
Modelling Fusion Calculus using HD-Automata
A Categorical Approach to Simulations
Effectful Mealy Machines: Coalgebraic and Causal Traces (Invited Talk)
Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence
Simulations and Bisimulations for Coalgebraic Modal Logics
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks
From T -Coalgebras to Filter Structures and Transition Systems
The Axiom of Choice in Cartesian Bicategories
Interpolation Is (Not Always) Easy to Spoil
Uniform Interpolation for Coalgebraic Fixpoint Logic
Cancellative Convex Semilattices
Higher-Order Mathematical Operational Semantics (Early Ideas)
A Coalgebraic View of ε-Transitions
Presenting Convex Sets of Probability Distributions by Convex Semilattices and Unique Bases ((Co)algebraic pearls)
Hybridisation of Institutions in HETS (Tool Paper)
Stone Duality for Nominal Boolean Algebras with И
Discrete Lawvere Theories
Adequacy for Algebraic Effects with State
Integrating Cost and Behavior in Type Theory (Invited Talk)
A Classical Groupoid Model for Quantum Networks
Symmetry and Concurrency
Positive Inductive-Recursive Definitions
Composition and Recursion for Causal Structures
Machine-Checked Computational Mathematics (Invited Talk)
Preface to CALCO-Tools
On Path-Based Coalgebras and Weak Notions of Bisimulation
Coinduction in Flow: The Later Modality in Fibrations
Coalgebraic Geometric Logic
Monads on Categories of Relational Structures
Trees in Coalgebra from Generalized Reachability ((Co)algebraic pearl)
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi
A Duality Theorem for Real C * Algebras
Coalgebraic Semantics for Derivations in Logic Programming
The Central Valuations Monad (Early Ideas)
Generic Trace Semantics and Graded Monads
Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)
String Diagram Rewriting Modulo Commutative (Co)Monoid Structure
Proper Functors and their Rational Fixed Point
Model Constructions for Moss' Coalgebraic Logic