Human-in-the-Loop Interaction: Application of Machine Learning and Intelligent Virtual Assistant in a Smart Home to Reduce Electric Water Heater Consumption

2026 | book-chapter

Crisis Response Modes in Collaborative Business Ecosystems: A Mathematical Framework from Plasticity to Antifragility

Mathematics

2025 | journal-article

Hardware Communications: An Open-Source Ethernet Switch Implementing the Parallel Redundancy Protocol

Applied Sciences

2025 | journal-article

Co-Creation Method for Fostering Cultural Tourism Impact

2025 | book-chapter

Specification of Complex Events and Their Integration in the IOPT-Tools Development Environment

YEF-ECE 2024 - 8th International Young Engineers Forum on Electrical and Computer Engineering

2024 | conference-paper

Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study

Petri Nets 2024 - 45th International Conference on Application and Theory of Petri Nets and Concurrency

2024 | conference-paper

Event-Based Modeling of Input Signal Behaviors for Discrete-Event Controllers

Applied Sciences

2024 | journal-article

Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers

2024 | book-chapter

A syntax-independent code generation tool for IOPT-Petri nets

CEUR Workshop Proceedings

2023 | conference-paper

Analysing navigation paths in constrained graphs using Petri nets

IEEE International Symposium on Industrial Electronics

2023 | conference-paper

Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25–30, 2023, Proceedings

Springer Nature Switzerland

2023 | edited-book

Integrated Development of Embedded Systems With Remote Graphical User Interfaces

IEEE Access

2023 | journal-article

Model-driven development in hardware-software co-design of controllers for cyber-physical systems

2023 IEEE 10th International Conference on E-Learning in Industrial Electronics, ICELIE 2023

2023 | conference-paper

Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange

IFIP Advances in Information and Communication Technology

2023 | conference-paper

Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model

Computers

2022 | journal-article

Towards an Integrated Tool Support for the Analysis of IOPT Nets Using the Spin Model Checker

2022 IEEE 31st International Symposium on Industrial Electronics (ISIE)

2022 | conference-paper

Intelligent Scheduling Method for Bulk Cargo Terminal Loading Process Based on Deep Reinforcement Learning

Electronics

2022 | journal-article

Robot Grasping Based on Stacked Object Classification Network and Grasping Order Planning

Electronics

2022 | journal-article

Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets

IECON Proceedings (Industrial Electronics Conference)

2022 | conference-paper

CONTROLO 2022 Proceedings of the 15th APCA International Conference on Automatic Control and Soft Computing, July 6-8, 2022, Caparica, Portugal

Springer International Publishing

2022 | edited-book

Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities

IEEE Access

2022 | journal-article

IOPT-Tools – From Executable Models to Automatic Code Generation for Embedded Controllers Development

2022 | book-chapter

Input Event Modeling for Discrete-Event Controllers: A Petri Net Approach

2022 | book-chapter

Integrating different modelling formalisms supporting co-design development of controllers for cyber-physical systems - A case study

Proceedings - 2022 9th IEEE International Conference on e-Learning in Industrial Electronics, ICELIE 2022

2022 | conference-paper

Preface

Lecture Notes in Electrical Engineering

2022 | book

ROS-Based Digital Twin for Power Wheelchair

1st IEEE Industrial Electronics Society Annual On-Line Conference, ONCON 2022

2022 | conference-paper

Towards Digital Twin in the Context of Power Wheelchairs Provision and Support

Technological Innovation for Digitalization and Virtualization

2022 | conference-paper

Adaptive Robust Control for Networked Strict-Feedback Nonlinear Systems with State and Input Quantization

Electronics

2021 | journal-article

Ferramenta de edição e configuração de código VHDL

XVII Jornadas sobre Sistemas Reconfiguráveis - REC2021

2021 | conference-paper

Industrial Electronics Education: Past, Present, and Future Perspectives

IEEE Industrial Electronics Magazine

2021 | journal-article

A survey of static formal methods for building dependable industrial automation systems

arXiv

2021 | other

Describing Structure and Complex Interactions in Multi-Agent-Based Industrial Cyber-Physical Systems

IEEE Access

2021 | journal-article

Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event Hybrid Systems

IEEE Transactions on Systems, Man, and Cybernetics: Systems

2020 | journal-article

Soft and Transferable Skills Acquisition through Organizing a Doctoral Conference

Education Sciences

2020 | journal-article

NOVA Mobility Assistive System: Developed and Remotely Controlled with IOPT-Tools

Electronics

2020 | journal-article

Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application

IFIP Advances in Information and Communication Technology

2020 | conference-paper

Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society

2019 | conference-paper

GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models

IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society

2019 | conference-paper

A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

IEEE Transactions on Industrial Informatics

2019 | journal-article

From non-autonomous Petri net models to executable state machines

2019 IEEE 28th International Symposium on Industrial Electronics (ISIE)

2019 | conference-paper

Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks

2019 IEEE 28th International Symposium on Industrial Electronics (ISIE)

2019 | conference-paper

Foreword

PECCS 2019 - Proceedings of the 9th International Conference on Pervasive and Embedded Computing and Communication Systems

2019 | conference-paper

Graphical Formalism for Signal Interpretation Modeling

Topics in Intelligent Engineering and Informatics

2019 | book-chapter

IEEE Access Special Section: Cyber-Physical Systems

IEEE Access

2019 | journal-article

Welcome from the ICIT-2019 Technical Program Chairs

Proceedings of the IEEE International Conference on Industrial Technology

2019 | conference-paper

Improving Synchronous Dataflow Analysis Supported by Petri Net Mappings

Electronics

2018 | journal-article

Bibliometric Analysis of 50 Years of IEEE Industrial Electronics Society Publications

IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society

2018 | conference-paper

Refining IOPT Petri Nets Class for Embedded System Controller Modeling

IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society

2018 | conference-paper

A JSON/HTTP communication protocol to support the development of distributed cyber-physical systems

2018 IEEE 16th International Conference on Industrial Informatics (INDIN)

2018 | conference-paper

R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node

IEEE Transactions on Systems, Man, and Cybernetics: Systems

2018 | journal-article

Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets

2018 | book-chapter

Performance Optimization of Reconfigurable Real-Time Wireless Sensor Networks

IEEE Transactions on Systems, Man, and Cybernetics: Systems

2018 | journal-article

Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs

IEEE Transactions on Control Systems Technology

2018 | journal-article

Welcome address from the Technical Programme Chairs

Proceedings of the IEEE International Conference on Industrial Technology

2018 | conference-paper

Welcome message

Proceedings - 2018 11th International Conference on Human System Interaction, HSI 2018

2018 | conference-paper

Collision avoidance system for an autonomous sailboat

IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society

2017 | conference-paper

Towards automatic code generation for distributed cyber-physical systems: A first prototype for Arduino boards

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

2017 | conference-paper

Reconfigurable devices based experimentation supporting teaching introductory digital systems

2017 IEEE 15th International Conference on Industrial Informatics (INDIN)

2017 | conference-paper

Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented in FPGA Devices

IEEE Transactions on Industrial Informatics

2017 | journal-article

Emulation of electronic instrumentation devices supporting sailboat's autonomous navigation

IEEE International Symposium on Industrial Electronics

2017 | conference-paper

The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers

IEEE Transactions on Industrial Electronics

2017 | journal-article

Translating IOPT Petri net models into PLC ladder diagrams

Proceedings of the IEEE International Conference on Industrial Technology

2017 | conference-paper

Welcome address from the technical programme co-chairs

IEEE International Symposium on Industrial Electronics

2017 | conference-paper

Welcome message

Proceedings - 2017 10th International Conference on Human System Interactions, HSI 2017

2017 | conference-paper

Wind speed and direction measurement based on time of flight ultrasonic anemometer

IEEE International Symposium on Industrial Electronics

2017 | conference-paper

Combining data-flows and petri nets for cyber-physical systems specification

IFIP Advances in Information and Communication Technology

2016 | conference-paper

Distributed Embedded Controller Development with Petri Nets

Springer

2016 | book

Extending IOPT nets with a module construct

IFIP Advances in Information and Communication Technology

2016 | book

From requirements to code (Re2Code) - A model-based approach for controller implementation

IEEE International Conference on Industrial Informatics (INDIN)

2016 | conference-paper

Message from the Technical Program Chair

IEEE International Symposium on Industrial Electronics

2016 | conference-paper

Model-based development of distributed embedded controllers - Rapid prototyping using IOPT-tools and FPGAs - Rapid p

2016 International Conference on FPGA Reconfiguration for General-Purpose Computing, FPGA4GPC 2016

2016 | conference-paper

Semantic annotation of data in schemas to support data translations

IECON Proceedings (Industrial Electronics Conference)

2016 | conference-paper

Semi-formal method design using synchronous dataflows and Petri nets

IECON Proceedings (Industrial Electronics Conference)

2016 | conference-paper

The IOPT-Flow framework pairing Petri nets and data-flows for embedded controller development

IECON Proceedings (Industrial Electronics Conference)

2016 | conference-paper

Welcome Message from the IECON2016 Technical Program Chairs

IECON Proceedings (Industrial Electronics Conference)

2016 | conference-paper

Welcome to IEEE IES ICIT 2016

Proceedings of the IEEE International Conference on Industrial Technology

2016 | conference-paper

Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”

Journal of Signal Processing Systems

2015 | journal-article

A current-mode VCO-based amplifier-less 2^nd-order ΔΣ modulator with over 85dB SNDR

Proceedings - IEEE International Symposium on Circuits and Systems

2015 | conference-paper

A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS and body-biasing techniques

Proceedings - IEEE International Symposium on Circuits and Systems

2015 | conference-paper

A model-based approach for resource constrained devices energy test and simulation

IFIP Advances in Information and Communication Technology

2015 | book

Analysis and generation of logical signals for discrete events behavioral modeling

IFIP Advances in Information and Communication Technology

2015 | book

Attracting students to engineering through autonomous sailing yacht development

Proceedings of the IEEE International Conference on Industrial Technology

2015 | conference-paper

Cloud based IOPT petri net simulator to test and debug embedded system controllers

IFIP Advances in Information and Communication Technology

2015 | book

Comments on “Minimizing Buffer Requirements Under Rate-Optimal Schedule in Regular Dataflow Networks”: Comments on Paper from R. Govindarajan, Guang R. Gao and Palash Desai Published in Journal of VLSI Signal Processing, Volume n. 31, pp 207–229, 2002

Journal of Signal Processing Systems

2015 | journal-article

Controller design and implementation: An approach based on problem frames and Petri Net models

Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015

2015 | conference-paper

Distributed controllers modeling through Petri nets with multi-asynchronous-channels

Proceedings of the IEEE International Conference on Industrial Technology

2015 | conference-paper

Event life time in detection of sequences of events

Proceedings of the IEEE International Conference on Industrial Technology

2015 | conference-paper

Executable models for embedded controllers development - A cloud based development framework

CEUR Workshop Proceedings

2015 | conference-paper

Extending input-output place-transition Petri nets for distributed controller systems development

Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014

2015 | conference-paper

High-level Petri nets modules for embedded controllers design

Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015

2015 | conference-paper

IOPT-tools-Towards cloud design automation of digital controllers with Petri nets

Proceedings - 2014 International Conference on Mechatronics and Control, ICMC 2014

2015 | conference-paper

Message from the INDIN 2015 General Co-Chairs

Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015

2015 | conference-paper

Model-based development of an autonomous sailing yacht controller

Proceedings - 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2015

2015 | conference-paper

PEDASA: Priority, energy and deadline aware scheduling algorithm

Communications in Computer and Information Science

2015 | conference-paper

Reconfigurable priority ceiling protocol: A safeway to real-time reconfiguration

Lecture Notes in Electrical Engineering

2015 | conference-paper

Remote operation of embedded controllers designed using IOPT Petri-nets

Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015

2015 | conference-paper

Simulated and real sheet-of-light 3D object scanning using a-Si: H thin film PSD arrays

Sensors (Switzerland)

2015 | journal-article

Towards cloud-based engineering systems

IFIP Advances in Information and Communication Technology

2015 | conference-paper

Asynchronous-channels within Petri net based GALS distributed embedded systems modeling

IEEE Transactions on Industrial Informatics

2014 | journal-article

Multifunctional Controller Architecture for Solid-State Marx modulator based on FPGA

IEEE Transactions on Plasma Science

2014 | journal-article

Suporte de Comunicação para Controladores Distribuídos Desenvolvidos em Redes de Petri

REC’2014 –X Jornadas sobre Sistemas Reconfiguráveis

2014 | conference-paper

A platform independent communication support for distributed controller systems modelled by Petri nets

Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014

2014 | conference-paper

Asynchronous-channels within petri net-based GALS distributed embedded systems modeling

IEEE Transactions on Industrial Informatics

2014 | journal-article

Cloud based development framework using IOPT Petri nets for embedded systems teaching

IEEE International Symposium on Industrial Electronics

2014 | conference-paper

Color sensing ability of an amorphous silicon position sensitive detector array system

Sensors and Actuators, A: Physical

2014 | journal-article

Communication support for Petri nets based distributed controllers

IEEE International Symposium on Industrial Electronics

2014 | conference-paper

Elementary Events for Modeling of Human-System Interactions with Petri Net Models

IFIP Advances in Information and Communication Technology

2014 | book

Enhanced Event Modeling for Human-System Interactions Using IOPT Petri Nets

Advances in Intelligent Systems and Computing

2014 | book

From SysML State Machines to Petri Nets Using ATL Transformations

IFIP Advances in Information and Communication Technology

2014 | book

Multifunctional controller architecture for solid-state Marx modulator based on FPGA

IEEE Transactions on Plasma Science

2014 | journal-article

New pipelined-based solutions for optimal reconfigurations of real-time systems

Modelling and Simulation 2014 - European Simulation and Modelling Conference, ESM 2014

2014 | conference-paper

Optimizing urban traffic flow using Genetic Algorithm with Petri net analysis as fitness function

Neurocomputing

2014 | journal-article

Output events for human-system interaction modeling

Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014

2014 | conference-paper

Reconfigurable priority ceiling protocol: Under rate monotonic based real-time scheduling

ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics

2014 | conference-paper

Requirements specification for controller design - From use cases to IOPT net models

Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014

2014 | conference-paper

Strategies to Improve Synchronous Dataflows Analysis Using Mappings between Petri Nets and Dataflows

IFIP Advances in Information and Communication Technology

2014 | book

Towards Collective Awareness Systems

IFIP Advances in Information and Communication Technology

2014 | conference-paper

Towards the use of Place/Transition net tools for analysis of IOPT models

IEEE International Symposium on Industrial Electronics

2014 | conference-paper

Welcome to HSI'2014

Proceedings - 2014 7th International Conference on Human System Interactions, HSI 2014

2014 | conference-paper

Welcome to INDIN 2014

Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014

2014 | conference-paper

A Proposal for the Description of Individual Course Units

International Journal of Engineering Pedagogy (iJEP)

2013 | journal-article

Augmenting high-level petri nets to support GALS distributed embedded systems specification

IFIP Advances in Information and Communication Technology

2013 | book

Automatic synthesis of VHDL hardware components from IOPT Petri net models

IECON Proceedings (Industrial Electronics Conference)

2013 | conference-paper

Configuring communication nodes for networked embedded systems specified by Petri nets

IEEE International Symposium on Industrial Electronics

2013 | conference-paper

Contributing to the Internet of Things

DoCEIS'13 - 2013 4th Doctoral Conference on Computing, Electrical and Industrial Systems

2013 | conference-paper

Contributing to the internet of things

2013 | book

Distributed embedded systems design using Petri nets

2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings

2013 | conference-paper

Events for human-system interaction modeling with IOPT Petri nets

2013 6th International Conference on Human System Interactions, HSI 2013

2013 | conference-paper

Exploiting dataflows and Petri nets mappings

IEEE International Conference on Industrial Informatics (INDIN)

2013 | conference-paper

FPGA based speed control of Brushless DC Motors using IOPT Petri Net models

Proceedings of the IEEE International Conference on Industrial Technology

2013 | conference-paper

Guest editorial special section on embedded and reconfigurable systems

IEEE Transactions on Industrial Informatics

2013 | journal-article

Guest editorial special section on information technologies within engineering education

IEEE Transactions on Industrial Informatics

2013 | journal-article

IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets

2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings

2013 | conference-paper

Industrial electronic control: FPGAs and embedded systems solutions

IECON Proceedings (Industrial Electronics Conference)

2013 | conference-paper

International workshop on Cyber-Physical Systems

2013 Federated Conference on Computer Science and Information Systems, FedCSIS 2013

2013 | conference-paper

MDA-based methodology for verifying distributed execution of embedded systems models

Formal Methods in Manufacturing Systems: Recent Advances

2013 | book-chapter

Merging and splitting petri net models within distributed embedded controller design

Embedded Computing Systems: Applications, Optimization, and Advanced Design

2013 | book-chapter

Minimalist architecture to generate embedded system web user interfaces

IFIP Advances in Information and Communication Technology

2013 | book

On structuring events for IOPT net models

IFIP Advances in Information and Communication Technology

2013 | book

Towards distributed execution of Petri net conflicts through model transformation

Proceedings of the IEEE International Conference on Industrial Technology

2013 | conference-paper

Towards medical device behavioural validation using Petri nets

Proceedings - IEEE Symposium on Computer-Based Medical Systems

2013 | conference-paper

Welcome message of the IECON 2013 chairs

IECON Proceedings (Industrial Electronics Conference)

2013 | conference-paper

Welcome to INDIN 2013

IEEE International Conference on Industrial Informatics (INDIN)

2013 | conference-paper

3D scanning characteristics of an amorphous silicon position sensitive detector array system

Optics Express

2012 | journal-article

A state-space based model-checking framework for embedded system controllers specified using IOPT Petri nets

IFIP Advances in Information and Communication Technology

2012 | book

Analysing storage resources on Synchronous Dataflows using Petri net verification techniques

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Asynchronous wrappers configuration within GALS systems specified by Petri nets

IEEE International Symposium on Industrial Electronics

2012 | conference-paper

Asynchronous-channels and time-domains extending Petri nets for GALS systems

IFIP Advances in Information and Communication Technology

2012 | book

Controlling traffic jams on urban roads modeled in Coloured Petri net using Genetic Algorithm

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Extending a net splitting operation for decomposition of high-level Petri nets

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Finding best urban routes based on analyses of high level and IOPT Petri net models

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Finding learning paths using Petri nets modeling applicable to e-learning platforms

IFIP Advances in Information and Communication Technology

2012 | conference-paper

Low phase-noise temperature compensated self-biased ring oscillator

ISCAS 2012 - 2012 IEEE International Symposium on Circuits and Systems

2012 | conference-paper

Message from the IECON 2012 technical program chairs

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Model composition by reusing Petri net based modules

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Model-checking framework for embedded systems controllers development using IOPT Petri nets

IEEE International Symposium on Industrial Electronics

2012 | conference-paper

On the verification of non-autonomous Petri net models using autonomous petri net tools

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Petri nets based study plan construction supporting student's evolution monitoring

Proceedings - 2012 6th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2012

2012 | conference-paper

Raising awareness for value creation potential in engineering research

IFIP Advances in Information and Communication Technology

2012 | book

State space generation for Petri nets-based GALS systems

2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings

2012 | conference-paper

Towards a complete description for individual course units: A follow-up to the Bologna proposals

2012 15th International Conference on Interactive Collaborative Learning, ICL 2012

2012 | conference-paper

Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations

IECON Proceedings (Industrial Electronics Conference)

2012 | conference-paper

Welcome message from the general chairs

INES 2012 - IEEE 16th International Conference on Intelligent Engineering Systems, Proceedings

2012 | conference-paper

Welcome to ICIT'2012

2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings

2012 | conference-paper

A polyphase comb filter using interlaying multiplexers for high-speed single-bit sigma-delta modulators

Proceedings of the 18th International Conference - Mixed Design of Integrated Circuits and Systems, MIXDES 2011

2011 | journal-article

An Ecore based Petri net type definition for PNML IOPT models

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

An IOPT-net state-space generator tool

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

Automatic generation of graphical user interfaces for VHDL based controllers

Proceedings - ISIE 2011: 2011 IEEE International Symposium on Industrial Electronics

2011 | conference-paper

Automatic generation of run-time monitoring capabilities to petri nets based controllers with graphical user interfaces

IFIP Advances in Information and Communication Technology

2011 | book

Bridge expansion joints monitoring system

INES 2011 - 15th International Conference on Intelligent Engineering Systems, Proceedings

2011 | conference-paper

Dataflow model property verification using Petri net translation techniques

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

FPGA controller for power converters with integrated oscilloscope and graphical user interface

International Conference on Power Engineering, Energy and Electrical Drives

2011 | conference-paper

From IOPT Petri nets to C: An automatic code generator tool

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

From UML state machines to Petri nets: History attribute translation strategies

IECON Proceedings (Industrial Electronics Conference)

2011 | conference-paper

IEEE transactions on industrial electronics: Guest editorial

IEEE Transactions on Industrial Electronics

2011 | journal-article

IOPT Petri net state space generation algorithm with maximal-step execution semantics

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

Intra- and inter-circuit network for Petri nets based components

Proceedings - ISIE 2011: 2011 IEEE International Symposium on Industrial Electronics

2011 | conference-paper

Introducing model-based development within the reengineering of a Smart House controllers system

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

Petri net based specification and verification of globally-asynchronous- locally-synchronous system

IFIP Advances in Information and Communication Technology

2011 | book

Petri net verification techniques on Synchronous Dataflow models

IECON Proceedings (Industrial Electronics Conference)

2011 | conference-paper

Selected papers from the 10th International Conference on Application of Concurrency to System Design (ACSD 2010)

2011 | journal-article

State space generation algorithm for gals systems modeled by IOPT Petri nets

IECON Proceedings (Industrial Electronics Conference)

2011 | conference-paper

SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design

IFIP Advances in Information and Communication Technology

2011 | book

System development using Petri net based modules

IEEE International Conference on Industrial Informatics (INDIN)

2011 | conference-paper

Towards Statecharts to Input-Output Place Transition Nets Transformations

DoCEIS'11 - 2011 2nd Doctoral Conference on Computing, Electrical and Industrial Systems

2011 | conference-paper

Towards statecharts to input-output place transition nets transformations

IFIP Advances in Information and Communication Technology

2011 | conference-paper

Interligação intra- e inter-circuito de componentes especificados com Redes de Petri

REC’2010 – VI Jornadas sobre Sistemas Reconfiguráveis

2010 | conference-paper

A MDA-based contribution for integrating web services within embedded system's design

IEEE International Conference on Industrial Informatics (INDIN)

2010 | conference-paper

Current Trends in Industrial Electronics Education

2010 | journal-article

Ecore representation for extending pnml for Input-Output Place-Transition nets

IECON Proceedings (Industrial Electronics Conference)

2010 | conference-paper

Energy consumption monitoring system for large complexes

IFIP Advances in Information and Communication Technology

2010 | book

From Petri net models to C implementation of digital controllers

IEEE International Symposium on Industrial Electronics

2010 | conference-paper

IN MEMORIAM: PROF. CARL ADAM PETRI

2010 | journal-article

Message from the ACSD 2010 conference chairs

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

2010 | conference-paper

Nanostructured silicon based thin film transistors processed in the plasma dark region

Journal of Nanoscience and Nanotechnology

2010 | conference-paper

Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010)

IEEE Computer Society Press

2010 | edited-book

Properties preservation in distributed execution of petri nets models

IFIP Advances in Information and Communication Technology

2010 | book

Rapid prototyping of graphical user interfaces for petri-net-based controllers

IEEE Transactions on Industrial Electronics

2010 | journal-article

SPECIAL SECTION ON CURRENT TRENDS IN INDUSTRIAL ELECTRONICS EDUCATION

2010 | journal-article

Scenario-based modeling in industrial information systems

IFIP Advances in Information and Communication Technology

2010 | conference-paper

Semantic equations for formal models in the model-driven architecture

IFIP Advances in Information and Communication Technology

2010 | book

Configurador de plataformas específicas em Co-design de Sistemas Embutidos

REC’2009 – V Jornadas sobre Sistemas Reconfiguráveis

2009 | conference-paper

Architecture for remote laboratories based on REST web services

Proceedings - ICELIE 2009, 3rd IEEE International Conference on e-Learning in Industrial Electronics

2009 | conference-paper

Behavioral modeling for embedded systems and technologies: Applications for design and implementation

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation

2009 | book

Checking semantics equivalence of MDA transformations in concurrent systems

Journal of Universal Computer Science

2009 | journal-article

Current trends in remote laboratories

IEEE Transactions on Industrial Electronics

2009 | journal-article

Enhanced individualized learning environment's impact on the learning process

Proceedings - ICELIE 2009, 3rd IEEE International Conference on e-Learning in Industrial Electronics

2009 | conference-paper

From models to controllers integrating graphical animation in FPGA through automatic code generation

IEEE International Symposium on Industrial Electronics

2009 | conference-paper

Improved clock-phase generator based on self-biased CMOS logic for time-interleaved SC circuits

2009 16th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2009

2009 | conference-paper

Message from the general chairs

IECON Proceedings (Industrial Electronics Conference)

2009 | conference-paper

Message from the technical program chairs

Proceedings - ICELIE 2009, 3rd IEEE International Conference on e-Learning in Industrial Electronics

2009 | conference-paper

Modeling complex Petri nets operations in the model-driven architecture

IECON Proceedings (Industrial Electronics Conference)

2009 | conference-paper

PNML based composition in non-autonomous Petri net models

IECON Proceedings (Industrial Electronics Conference)

2009 | conference-paper

Partitioning of Mealy Finite State Machines

DESDes’09 –4th IFAC Workshop on Discrete-Event System Design

2009 | conference-paper

Partitioning of mealy finite state machines

IFAC Proceedings Volumes (IFAC-PapersOnline)

2009 | journal-article

Petri net partitioning using net splitting operation

IEEE International Conference on Industrial Informatics (INDIN)

2009 | conference-paper

Plug-in electric vehicles integration with renewable energy building facility - Building/vehicle interface

POWERENG 2009 - 2nd International Conference on Power Engineering, Energy and Electrical Drives Proceedings

2009 | conference-paper

Preface

Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation

2009 | book

Remote experimentation for introductory digital logic course

Proceedings - ICELIE 2009, 3rd IEEE International Conference on e-Learning in Industrial Electronics

2009 | conference-paper

SPECIAL SECTION ON e-LEARNING AND REMOTE LABORATORIES WITHIN ENGINEERING EDUCATION-PART III

2009 | journal-article

Smart house monitoring and actuating system development using automatic code generation

IEEE International Conference on Industrial Informatics (INDIN)

2009 | conference-paper

Animated graphical user interface generator framework for input-output place-transition petri net models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008 | conference-paper

Guest Editorial

IEEE Transactions on Industrial Electronics

2008 | journal-article

Low cost method to reproduce sound with FPGA

IEEE International Symposium on Industrial Electronics

2008 | conference-paper

Petri nets tools framework supporting FPGA-based controller implementations

Proceedings - 34th Annual Conference of the IEEE Industrial Electronics Society, IECON 2008

2008 | conference-paper

Petri nets-based automatic generation GUI tools for embedded systems

2008 Conference on Human System Interaction, HSI 2008

2008 | conference-paper

A Graphical editor for the input-output place-transition Petri net class

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

2007 | conference-paper

Advances on remote laboratories and e-learning experiences

University of Deusto, Bilbao

2007 | edited-book

From Petri net models to VHDL implementation of digital controllers

IECON Proceedings (Industrial Electronics Conference)

2007 | conference-paper

Guest editorial

IEEE Transactions on Industrial Electronics

2007 | journal-article

Message from general co-chairs

2007 Symposium on Industrial Embedded Systems Proceeedings, SIES'2007

2007 | conference-paper

Module composition within petri nets model-based development

2007 Symposium on Industrial Embedded Systems Proceeedings, SIES'2007

2007 | conference-paper

Petri net based building automation and monitoring system

IEEE International Conference on Industrial Informatics (INDIN)

2007 | conference-paper

Petri net splitting operation within embedded systems co-design

IEEE International Conference on Industrial Informatics (INDIN)

2007 | conference-paper

The input-output place-transition petri net class and associated tools

IEEE International Conference on Industrial Informatics (INDIN)

2007 | conference-paper

Emphasizing graphical modeling formalisms within digital systems design course

2006 1st IEEE International Conference on E-Learning in Industrial Electronics, ICELIE

2006 | conference-paper

Internal event removal in hierarchical and concurrent state diagrams

IFAC Proceedings Volumes (IFAC-PapersOnline)

2006 | journal-article

On exercising hardware-software logical equivalency using FPGAs

IEEE International Symposium on Industrial Electronics

2006 | conference-paper

Partitioning of petri net models amenable for distributed execution

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

2006 | conference-paper

Petri nets as supporting formalism within embedded systems co-design

Industrial Embedded Systems - IES'2006

2006 | conference-paper

Removing ill-structured arcs in hierarchical and concurrent state diagrams

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

2006 | conference-paper

A tool for tailored code generation from Petri net models

IEEE Symposium on Emerging Technologies and Factory Automation, ETFA

2005 | journal-article

From use cases to building monitoring systems through Petri nets

IEEE International Symposium on Industrial Electronics

2005 | conference-paper

Hardware-level Design Languages

The Industrial Information Technology Handbook

2005 | book-chapter

Modeling formalisms for embedded system design

Embedded Systems: Handbook

2005 | book-chapter

On conflict resolution in Petri nets models through model structuring and composition

2005 3rd IEEE International Conference on Industrial Informatics, INDIN

2005 | conference-paper

Programmable logic devices supporting embedded system design curriculum

IECON Proceedings (Industrial Electronics Conference)

2005 | conference-paper

Remote laboratory support for an introductory microprocessor course

Proceedings - 2005 IEEE International Conference on Microelectronic Systems Education, MSE '05 - Promoting Excellence and Innovation in Microelectronic Systems Education

2005 | journal-article

Structuring and composability issues in petri nets modeling

IEEE Transactions on Industrial Informatics

2005 | journal-article

Structuring mechanisms in Petri net models: From specification to FPGA-based implementations

Design of Embedded Control Systems

2005 | book-chapter

Teaching formal methods within system-on-a-programmable-chip design

Proceedings - 2005 IEEE International Conference on Microelectronic Systems Education, MSE '05 - Promoting Excellence and Innovation in Microelectronic Systems Education

2005 | conference-paper

Towards usage of formal methods within embedded systems co-design

IEEE Symposium on Emerging Technologies and Factory Automation, ETFA

2005 | journal-article

Addition of fault detection capabilities in automation applications using petri nets

IEEE International Symposium on Industrial Electronics

2004 | conference-paper

Net model composition and modification by net operations: A pragmatic approach

2nd IEEE International Conference on Industrial Informatics, INDIN'04

2004 | journal-article

On the use of coloured petri nets for object-oriented design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2004 | journal-article

From use cases to system implementation: Statechart based co-design

2003 | journal-article

Modifying Petri net models by means of crosscutting operations

2003 | journal-article

On lifting of Statechart structuring mechanisms

2003 | journal-article

On structuring mechanisms for Petri nets based system design

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

2003 | conference-paper

On structuring mechanisms for Petri nets based system design

2003 | journal-article

Corba-based interoperation in Substation Automation Systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

2002 | conference-paper

Introducing programmable logic devices into digital design

Proceedings - 2001 International Conference on Microelectronic Systems Education, MSE 2001: Designing Microsystems in the New Millennium

2001 | conference-paper

Man-machine interface for real-time telecontrol based on Petri nets specification

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

2001 | journal-article

Using hierarchical structuring mechanisms with Petri nets for PLD based system design

2001 | journal-article

Hardware Design and Petri Nets

Springer US

2000 | edited-book

Fuzzy modelling for reactive real-time systems control using Reactive Petri Nets

Fuzziness in Petri Nets

1999 | book-chapter

Implementation of a non-autonomous high-level Petri net model for reactive real-time systems

1997 | journal-article

Domots are coming! Or how to manage building automation in a balanced way?

1996 | journal-article

Petri net based programmable fuzzy controller targeted for distributed control environments

IEEE International Conference on Fuzzy Systems

1995 | journal-article

Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning

1995 | book-chapter

Programmable controller design based on a synchronized colored petri net model and integrating fuzzy reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

1995 | conference-paper

Front cover

| conference-paper