Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Luís Gomes 0001
@article{DBLP:journals/corr/abs-2402-18766,
author = {Rodrigo Santos and
Jo{\~{a}}o Silva and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Rodrigues and
Ant{\'{o}}nio Branco},
title = {Advancing Generative {AI} for Portuguese with Open Decoder Gerv{\'{a}}sio
{PT}},
journal = {CoRR},
volume = {abs/2402.18766},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.18766},
doi = {10.48550/ARXIV.2402.18766},
eprinttype = {arXiv},
eprint = {2402.18766},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-18766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-01897,
author = {Rodrigo Santos and
Jo{\~{a}}o Rodrigues and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Silva and
Ant{\'{o}}nio Branco and
Henrique Lopes Cardoso and
Tom{\'{a}}s Freitas Os{\'{o}}rio and
Bernardo Leite},
title = {Fostering the Ecosystem of Open Neural Encoders for Portuguese with
Albertina PT* Family},
journal = {CoRR},
volume = {abs/2403.01897},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.01897},
doi = {10.48550/ARXIV.2403.01897},
eprinttype = {arXiv},
eprint = {2403.01897},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-01897.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/LagartinhoOliveiraPMCG23,
author = {Carolina Lagartinho{-}Oliveira and
Fernando Pereira and
Filipe Moutinho and
Rog{\'{e}}rio Campos{-}Rebelo and
Lu{\'{\i}}s Gomes},
title = {Integrated Development of Embedded Systems With Remote Graphical User
Interfaces},
journal = {{IEEE} Access},
volume = {11},
pages = {63795--63807},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2023.3287198},
doi = {10.1109/ACCESS.2023.3287198},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/LagartinhoOliveiraPMCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PereiraM023,
author = {Fernando Pereira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Lu{\'{\i}}s Gomes and
Paulo Leit{\~{a}}o and
Robert Lorenz and
Jan Martijn E. M. van der Werf and
Sebastiaan J. van Zelst},
title = {A Syntax-Independent Code Generation Tool for IOPT-Petri Nets},
booktitle = {Joint Proceedings of the Workshop on Algorithms {\&} Theories
for the Analysis of Event Data and the International Workshop on Petri
Nets for Twin Transition co-located with the 44th International Conference
on Application and Theory of Petri Nets and Concurrency (Petri Nets
2023), Caparica, Portugal, June 25-30, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3424},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3424/paper6.pdf},
timestamp = {Wed, 05 Jul 2023 16:52:15 +0200},
biburl = {https://dblp.org/rec/conf/apn/PereiraM023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceis/Lagartinho-Oliveira23,
author = {Carolina Lagartinho{-}Oliveira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Filipa Ferrada},
title = {Support Operation and Maintenance of Power Wheelchairs with Digital
Twins: The IoT and Cloud-Based Data Exchange},
booktitle = {Technological Innovation for Connected Cyber Physical Spaces - 14th
{IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2023, Caparica, Portugal, July 5-7,
2023, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {678},
pages = {191--202},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36007-7\_14},
doi = {10.1007/978-3-031-36007-7\_14},
timestamp = {Wed, 28 Jun 2023 12:33:55 +0200},
biburl = {https://dblp.org/rec/conf/doceis/Lagartinho-Oliveira23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/GomesR23,
author = {Lu{\'{\i}}s Gomes and
Jos{\'{e}} Ribeiro{-}Gomes},
title = {Analysing navigation paths in constrained graphs using Petri nets},
booktitle = {32nd {IEEE} International Symposium on Industrial Electronics, {ISIE}
2023, Helsinki, Finland, June 19-21, 2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISIE51358.2023.10228055},
doi = {10.1109/ISIE51358.2023.10228055},
timestamp = {Wed, 27 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/GomesR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2023,
editor = {Lu{\'{\i}}s Gomes and
Robert Lorenz},
title = {Application and Theory of Petri Nets and Concurrency - 44th International
Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13929},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33620-1},
doi = {10.1007/978-3-031-33620-1},
isbn = {978-3-031-33619-5},
timestamp = {Wed, 31 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/PasandidehPG22,
author = {Shabnam Pasandideh and
Pedro Pereira and
Lu{\'{\i}}s Gomes},
title = {Cyber-Physical-Social Systems: Taxonomy, Challenges, and Opportunities},
journal = {{IEEE} Access},
volume = {10},
pages = {42404--42419},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3167441},
doi = {10.1109/ACCESS.2022.3167441},
timestamp = {Wed, 21 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/PasandidehPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/Lagartinho-Oliveira22,
author = {Carolina Lagartinho{-}Oliveira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
title = {Digital Twin in the Provision of Power Wheelchairs Context: Support
for Technical Phases and Conceptual Model},
journal = {Comput.},
volume = {11},
number = {11},
pages = {166},
year = {2022},
url = {https://doi.org/10.3390/computers11110166},
doi = {10.3390/COMPUTERS11110166},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/Lagartinho-Oliveira22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PereiraMCBCG22,
author = {Fernando Pereira and
Filipe Moutinho and
Anik{\'{o}} Costa and
Jo{\~{a}}o{-}Paulo Barros and
Rog{\'{e}}rio Campos{-}Rebelo and
Lu{\'{\i}}s Gomes},
editor = {Luca Bernardinello and
Laure Petrucci},
title = {IOPT-Tools - From Executable Models to Automatic Code Generation for
Embedded Controllers Development},
booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International
Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13288},
pages = {127--138},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06653-5\_7},
doi = {10.1007/978-3-031-06653-5\_7},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PereiraMCBCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceis/Lagartinho-Oliveira22,
author = {Carolina Lagartinho{-}Oliveira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos},
title = {Towards Digital Twin in the Context of Power Wheelchairs Provision
and Support},
booktitle = {Technological Innovation for Digitalization and Virtualization - 13th
{IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2022, Caparica, Portugal, June 29 -
July 1, 2022, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {649},
pages = {95--102},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-07520-9\_9},
doi = {10.1007/978-3-031-07520-9\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/doceis/Lagartinho-Oliveira22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/PasandidehPG22,
author = {Shabnam Pasandideh and
Pedro Pereira and
Lu{\'{\i}}s Gomes},
title = {Attack Tree Refinements Analysis and Verification by applying Coloured
Petri Nets},
booktitle = {{IECON} 2022 - 48th Annual Conference of the {IEEE} Industrial Electronics
Society, Brussels, Belgium, October 17-20, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IECON49645.2022.9968328},
doi = {10.1109/IECON49645.2022.9968328},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/PasandidehPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/BarrosG22,
author = {Jo{\~{a}}o{-}Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Towards an Integrated Tool Support for the Analysis of {IOPT} Nets
Using the Spin Model Checker},
booktitle = {31st {IEEE} International Symposium on Industrial Electronics, {ISIE}
2022, Anchorage, AK, USA, June 1-3, 2022},
pages = {239--244},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISIE51582.2022.9831529},
doi = {10.1109/ISIE51582.2022.9831529},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/BarrosG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2023ataed,
editor = {Lu{\'{\i}}s Gomes and
Paulo Leit{\~{a}}o and
Robert Lorenz and
Jan Martijn E. M. van der Werf and
Sebastiaan J. van Zelst},
title = {Joint Proceedings of the Workshop on Algorithms {\&} Theories
for the Analysis of Event Data and the International Workshop on Petri
Nets for Twin Transition co-located with the 44th International Conference
on Application and Theory of Petri Nets and Concurrency (Petri Nets
2023), Caparica, Portugal, June 25-30, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3424},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3424},
urn = {urn:nbn:de:0074-3424-0},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2023ataed.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/RibeiroG21,
author = {Luis Ribeiro and
Lu{\'{\i}}s Gomes},
title = {Describing Structure and Complex Interactions in Multi-Agent-Based
Industrial Cyber-Physical Systems},
journal = {{IEEE} Access},
volume = {9},
pages = {153126--153141},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3127344},
doi = {10.1109/ACCESS.2021.3127344},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/RibeiroG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-05556,
author = {Roopak Sinha and
Sandeep Patil and
Lu{\'{\i}}s Gomes and
Valeriy Vyatkin},
title = {A Survey of Static Formal Methods for Building Dependable Industrial
Automation Systems},
journal = {CoRR},
volume = {abs/2108.05556},
year = {2021},
url = {https://arxiv.org/abs/2108.05556},
eprinttype = {arXiv},
eprint = {2108.05556},
timestamp = {Fri, 28 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-05556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GasmiMKGL20,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes and
Zhiwu Li},
title = {Performance Optimization of Reconfigurable Real-Time Wireless Sensor
Networks},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {50},
number = {7},
pages = {2623--2637},
year = {2020},
url = {https://doi.org/10.1109/TSMC.2018.2824900},
doi = {10.1109/TSMC.2018.2824900},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/GasmiMKGL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WisniewskiZGFK20,
author = {Remigiusz Wisniewski and
Mengchu Zhou and
Lu{\'{\i}}s Gomes and
Maria Pia Fanti and
Ratnesh Kumar},
title = {Special Issue on Recent Advances in Petri Nets, Automata, and Discrete-Event
Hybrid Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {50},
number = {10},
pages = {3484--3487},
year = {2020},
url = {https://doi.org/10.1109/TSMC.2020.3020588},
doi = {10.1109/TSMC.2020.3020588},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/WisniewskiZGFK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Lagartinho-Oliveira20,
author = {Carolina Lagartinho{-}Oliveira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Nastaran Farhadi and
F{\'{a}}bio Lopes and
Helena Pereira},
title = {Reachability Graph of {IOPT} Petri Net Models Using {CUDA} {C++} Parallel
Application},
booktitle = {Technological Innovation for Life Improvement - 11th {IFIP} {WG} 5.5/SOCOLNET
Advanced Doctoral Conference on Computing, Electrical and Industrial
Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1-3, 2020,
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {577},
pages = {93--100},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45124-0\_8},
doi = {10.1007/978-3-030-45124-0\_8},
timestamp = {Tue, 14 Mar 2023 15:35:31 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/Lagartinho-Oliveira20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WisniewskiBGKSZ19,
author = {Remigiusz Wisniewski and
Grzegorz Benysek and
Lu{\'{\i}}s Gomes and
Dariusz Kania and
Theodore E. Simos and
Mengchu Zhou},
title = {{IEEE} Access Special Section: Cyber-Physical Systems},
journal = {{IEEE} Access},
volume = {7},
pages = {157688--157692},
year = {2019},
url = {https://doi.org/10.1109/ACCESS.2019.2949898},
doi = {10.1109/ACCESS.2019.2949898},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/WisniewskiBGKSZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/SinhaPGV19,
author = {Roopak Sinha and
Sandeep Patil and
Lu{\'{\i}}s Gomes and
Valeriy Vyatkin},
title = {A Survey of Static Formal Methods for Building Dependable Industrial
Automation Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {15},
number = {7},
pages = {3772--3783},
year = {2019},
url = {https://doi.org/10.1109/TII.2019.2908665},
doi = {10.1109/TII.2019.2908665},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/SinhaPGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/expat/RamosNB019,
author = {Carlos Ramos and
Leonel N{\'{o}}brega and
Karolina Baras and
Lu{\'{\i}}s Gomes},
title = {Experimental {NFT} hydroponics system with lower energy consumption},
booktitle = {2019 5th Experiment International Conference (exp.at'19), Funchal
(Madeira Island), Portugal, June 12-14, 2019},
pages = {102--106},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EXPAT.2019.8876479},
doi = {10.1109/EXPAT.2019.8876479},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/expat/RamosNB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/WisniewskiB0CW19,
author = {Remigiusz Wisniewski and
Grzegorz Bazydlo and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa and
Marcin Wojnakowski},
title = {Analysis and Design Automation of Cyber-Physical System with Hippo
and IOPT-Tools},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {5843--5848},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8926692},
doi = {10.1109/IECON.2019.8926692},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/WisniewskiB0CW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Lagartinho-Oliveira19,
author = {Carolina Lagartinho{-}Oliveira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
title = {{GPGPU} applied to support the construction of the state-space graphs
of {IOPT} Petri net models},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {5862--5867},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927556},
doi = {10.1109/IECON.2019.8927556},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/Lagartinho-Oliveira19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/Barros019,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {From non-autonomous Petri net models to executable state machines},
booktitle = {28th {IEEE} International Symposium on Industrial Electronics, {ISIE}
2019, Vancouver, BC, Canada, June 12-14, 2019},
pages = {1638--1643},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISIE.2019.8781246},
doi = {10.1109/ISIE.2019.8781246},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isie/Barros019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/Pasandideh0M19,
author = {Shabnam Pasandideh and
Lu{\'{\i}}s Gomes and
Pedro Mal{\'{o}}},
title = {Improving Attack Trees Analysis using Petri Net modeling of Cyber-Attacks},
booktitle = {28th {IEEE} International Symposium on Industrial Electronics, {ISIE}
2019, Vancouver, BC, Canada, June 12-14, 2019},
pages = {1644--1649},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISIE.2019.8781238},
doi = {10.1109/ISIE.2019.8781238},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isie/Pasandideh0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/WisniewskiKACG18,
author = {Remigiusz Wisniewski and
Andrei Karatkevich and
Marian Adamski and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Prototyping of Concurrent Control Systems With Application of Petri
Nets and Comparability Graphs},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {26},
number = {2},
pages = {575--586},
year = {2018},
url = {https://doi.org/10.1109/TCST.2017.2692204},
doi = {10.1109/TCST.2017.2692204},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/WisniewskiKACG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/GasmiMKGL18,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes and
Zhiwu Li},
title = {R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless
Sensor Node},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {48},
number = {6},
pages = {892--905},
year = {2018},
url = {https://doi.org/10.1109/TSMC.2016.2625817},
doi = {10.1109/TSMC.2016.2625817},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/GasmiMKGL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/FernandesBG18,
author = {Jo{\~{a}}o M. Fernandes and
Jo{\~{a}}o{-}Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Bibliometric Analysis of 50 Years of {IEEE} Industrial Electronics
Society Publications},
booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics
Society, Washington, DC, USA, October 21-23, 2018},
pages = {3013--3020},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IECON.2018.8591317},
doi = {10.1109/IECON.2018.8591317},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/FernandesBG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/GomesB18,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o{-}Paulo Barros},
title = {Refining {IOPT} Petri Nets Class for Embedded System Controller Modeling},
booktitle = {{IECON} 2018 - 44th Annual Conference of the {IEEE} Industrial Electronics
Society, Washington, DC, USA, October 21-23, 2018},
pages = {4720--4725},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IECON.2018.8592921},
doi = {10.1109/IECON.2018.8592921},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/GomesB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Pasandideh0M18,
author = {Shabnam Pasandideh and
Lu{\'{\i}}s Gomes and
Pedro Mal{\'{o}}},
editor = {Luis M. Camarinha{-}Matos and
Kankam O. Adu{-}Kankam and
Mohammad Julashokri},
title = {Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets},
booktitle = {Technological Innovation for Resilient Systems - 9th {IFIP} {WG} 5.5/SOCOLNET
Advanced Doctoral Conference on Computing, Electrical and Industrial
Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018,
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {521},
pages = {81--89},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-78574-5\_8},
doi = {10.1007/978-3-319-78574-5\_8},
timestamp = {Mon, 05 Feb 2024 20:34:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/Pasandideh0M18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/Pereira018,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes},
title = {A {JSON/HTTP} communication protocol to support the development of
distributed cyber-physical systems},
booktitle = {16th {IEEE} International Conference on Industrial Informatics, {INDIN}
2018, Porto, Portugal, July 18-20, 2018},
pages = {23--30},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/INDIN.2018.8472084},
doi = {10.1109/INDIN.2018.8472084},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/Pereira018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/Pereira017,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes},
title = {The IOPT-Flow Modeling Framework Applied to Power Electronics Controllers},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {64},
number = {3},
pages = {2363--2372},
year = {2017},
url = {https://doi.org/10.1109/TIE.2016.2620101},
doi = {10.1109/TIE.2016.2620101},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/Pereira017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/WisniewskiBGC17,
author = {Remigiusz Wisniewski and
Grzegorz Bazydlo and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Dynamic Partial Reconfiguration of Concurrent Control Systems Implemented
in {FPGA} Devices},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {13},
number = {4},
pages = {1734--1741},
year = {2017},
url = {https://doi.org/10.1109/TII.2017.2702564},
doi = {10.1109/TII.2017.2702564},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/WisniewskiBGC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/AtaideBB017,
author = {Artur Ataide and
Jo{\~{a}}o Paulo Barros and
Isabel Sofia Brito and
Lu{\'{\i}}s Gomes},
title = {Towards automatic code generation for distributed cyber-physical systems:
{A} first prototype for Arduino boards},
booktitle = {22nd {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2017, Limassol, Cyprus, September 12-15,
2017},
pages = {1--4},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ETFA.2017.8247737},
doi = {10.1109/ETFA.2017.8247737},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/AtaideBB017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsi/JoGMRS17,
author = {Kang{-}Hyun Jo and
Lu{\'{\i}}s Gomes and
Milos Manic and
Jacek Ruminski and
Young Soo Suh},
title = {Welcome message},
booktitle = {10th International Conference on Human System Interactions, {HSI}
2017, Ulsan, South Korea, July 17-19, 2017},
pages = {1},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/HSI.2017.8004983},
doi = {10.1109/HSI.2017.8004983},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hsi/JoGMRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/FeioRG17,
author = {Ricardo Feio and
Jo{\~{a}}o Rosas and
Lu{\'{\i}}s Gomes},
title = {Translating {IOPT} Petri net models into {PLC} ladder diagrams},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2017,
Toronto, ON, Canada, March 22-25, 2017},
pages = {1211--1216},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICIT.2017.7915535},
doi = {10.1109/ICIT.2017.7915535},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/icit2/FeioRG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/EstevesGC17,
author = {Jo{\~{a}}o Esteves and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Collision avoidance system for an autonomous sailboat},
booktitle = {{IECON} 2017 - 43rd Annual Conference of the {IEEE} Industrial Electronics
Society, Beijing, China, October 29 - November 1, 2017},
pages = {3539--3544},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IECON.2017.8216599},
doi = {10.1109/IECON.2017.8216599},
timestamp = {Mon, 23 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/EstevesGC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/0001CMM17,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa and
Filipe Moutinho and
Pedro Mal{\'{o}}},
title = {Reconfigurable devices based experimentation supporting teaching introductory
digital systems},
booktitle = {15th {IEEE} International Conference on Industrial Informatics, {INDIN}
2017, Emden, Germany, July 24-26, 2017},
pages = {539--543},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/INDIN.2017.8104829},
doi = {10.1109/INDIN.2017.8104829},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/0001CMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/MarquesGC17,
author = {Hugo Marques and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Emulation of electronic instrumentation devices supporting sailboat's
autonomous navigation},
booktitle = {26th {IEEE} International Symposium on Industrial Electronics, {ISIE}
2017, Edinburgh, United Kingdom, June 19-21, 2017},
pages = {1255--1260},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISIE.2017.8001425},
doi = {10.1109/ISIE.2017.8001425},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/isie/MarquesGC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/FernandesGC17,
author = {David Fernandes and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Wind speed and direction measurement based on time of flight ultrasonic
anemometer},
booktitle = {26th {IEEE} International Symposium on Industrial Electronics, {ISIE}
2017, Edinburgh, United Kingdom, June 19-21, 2017},
pages = {1417--1422},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ISIE.2017.8001453},
doi = {10.1109/ISIE.2017.8001453},
timestamp = {Sun, 04 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/FernandesGC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/RochaDG16,
author = {Jos{\'{e}}{-}In{\'{a}}cio Rocha and
Oct{\'{a}}vio P{\'{a}}scoa Dias and
Lu{\'{\i}}s Gomes},
title = {Semi-formal method design using synchronous dataflows and Petri nets},
booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics
Society, Florence, Italy, October 23-26, 2016},
pages = {1043--1048},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IECON.2016.7793262},
doi = {10.1109/IECON.2016.7793262},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iecon/RochaDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Pereira016,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes},
title = {The IOPT-Flow framework pairing Petri nets and data-flows for embedded
controller development},
booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics
Society, Florence, Italy, October 23-26, 2016},
pages = {4832--4837},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IECON.2016.7794152},
doi = {10.1109/IECON.2016.7794152},
timestamp = {Mon, 26 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/Pereira016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/MoutinhoPM016,
author = {Filipe Moutinho and
Luis Paiva and
Pedro Mal{\'{o}} and
Lu{\'{\i}}s Gomes},
title = {Semantic annotation of data in schemas to support data translations},
booktitle = {{IECON} 2016 - 42nd Annual Conference of the {IEEE} Industrial Electronics
Society, Florence, Italy, October 23-26, 2016},
pages = {5283--5288},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/IECON.2016.7793691},
doi = {10.1109/IECON.2016.7793691},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/MoutinhoPM016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Pereira016,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Ant{\'{o}}nio J. Falc{\~{a}}o and
Nazanin Vafaei and
Shirin Najdi},
title = {Combining Data-Flows and Petri Nets for Cyber-Physical Systems Specification},
booktitle = {Technological Innovation for Cyber-Physical Systems - 7th {IFIP} {WG}
5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal,
April 11-13, 2016, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {470},
pages = {65--76},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31165-4\_7},
doi = {10.1007/978-3-319-31165-4\_7},
timestamp = {Thu, 15 Jun 2017 21:45:08 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/Pereira016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/RibeiroMG16,
author = {Jos{\'{e}} Ribeiro and
Fernando Melicio and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Ant{\'{o}}nio J. Falc{\~{a}}o and
Nazanin Vafaei and
Shirin Najdi},
title = {Extending {IOPT} Nets with a Module Construct},
booktitle = {Technological Innovation for Cyber-Physical Systems - 7th {IFIP} {WG}
5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2016, Costa de Caparica, Portugal,
April 11-13, 2016, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {470},
pages = {86--95},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-31165-4\_9},
doi = {10.1007/978-3-319-31165-4\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/RibeiroMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BritoB016,
author = {Isabel Sofia Brito and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {From requirements to code (Re2Code) - {A} model-based approach for
controller implementation},
booktitle = {14th {IEEE} International Conference on Industrial Informatics, {INDIN}
2016, Poitiers, France, July 19-21, 2016},
pages = {1224--1230},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/INDIN.2016.7819354},
doi = {10.1109/INDIN.2016.7819354},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/BritoB016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ContrerasTFMGF15,
author = {Javier Contreras and
Josep Tornero and
Isabel Ferreira and
Rodrigo Martins and
Lu{\'{\i}}s Gomes and
Elvira Fortunato},
title = {Simulated and Real Sheet-of-Light 3D Object Scanning Using a-Si: {H}
Thin Film {PSD} Arrays},
journal = {Sensors},
volume = {15},
number = {12},
pages = {29938--29949},
year = {2015},
url = {https://doi.org/10.3390/s151229779},
doi = {10.3390/S151229779},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ContrerasTFMGF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/RochaDG15,
author = {Jos{\'{e}}{-}In{\'{a}}cio Rocha and
Oct{\'{a}}vio P{\'{a}}scoa Dias and
Lu{\'{\i}}s Gomes},
title = {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 = {J. Signal Process. Syst.},
volume = {81},
number = {1},
pages = {129--133},
year = {2015},
url = {https://doi.org/10.1007/s11265-015-0977-5},
doi = {10.1007/S11265-015-0977-5},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/RochaDG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icarsc/0001SPC15,
author = {Lu{\'{\i}}s Gomes and
Miguel Santos and
Thiago Pereira and
Anik{\'{o}} Costa},
title = {Model-Based Development of an Autonomous Sailing Yacht Controller},
booktitle = {2015 {IEEE} International Conference on Autonomous Robot Systems and
Competitions, {ICARSC} 2015, Vila Real, Portugal, April 8-10, 2015},
pages = {103--108},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICARSC.2015.20},
doi = {10.1109/ICARSC.2015.20},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/icarsc/0001SPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/MoutinhoR015,
author = {Filipe Moutinho and
Jos{\'{e}} Ribeiro and
Lu{\'{\i}}s Gomes},
title = {Distributed controllers modeling through Petri nets with multi-asynchronous-channels},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2015,
Seville, Spain, March 17-19, 2015},
pages = {1564--1569},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICIT.2015.7125319},
doi = {10.1109/ICIT.2015.7125319},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icit2/MoutinhoR015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/Campos-RebeloCG15,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Event life time in detection of sequences of events},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2015,
Seville, Spain, March 17-19, 2015},
pages = {3144--3149},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICIT.2015.7125562},
doi = {10.1109/ICIT.2015.7125562},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icit2/Campos-RebeloCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icit2/0001CMM15,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa and
Filipe Moutinho and
Ricardo Mota},
title = {Attracting students to engineering through autonomous sailing yacht
development},
booktitle = {{IEEE} International Conference on Industrial Technology, {ICIT} 2015,
Seville, Spain, March 17-19, 2015},
pages = {3252--3257},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ICIT.2015.7125579},
doi = {10.1109/ICIT.2015.7125579},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icit2/0001CMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/MartinsCGG15,
author = {Jo{\~{a}}o Martins and
Luis M. Camarinha{-}Matos and
Jo{\~{a}}o Goes and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Thais A. Baldissera and
Giovanni Di Orio and
Francisco Marques},
title = {Towards Cloud-Based Engineering Systems},
booktitle = {Technological Innovation for Cloud-Based Engineering Systems - 6th
{IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal,
April 13-15, 2015, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {450},
pages = {3--10},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16766-4\_1},
doi = {10.1007/978-3-319-16766-4\_1},
timestamp = {Tue, 21 Mar 2023 20:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/MartinsCGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Campos-RebeloCG15,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Thais A. Baldissera and
Giovanni Di Orio and
Francisco Marques},
title = {Analysis and Generation of Logical Signals for Discrete Events Behavioral
Modeling},
booktitle = {Technological Innovation for Cloud-Based Engineering Systems - 6th
{IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal,
April 13-15, 2015, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {450},
pages = {147--156},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16766-4\_16},
doi = {10.1007/978-3-319-16766-4\_16},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PereiraG15,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Thais A. Baldissera and
Giovanni Di Orio and
Francisco Marques},
title = {Cloud Based {IOPT} Petri Net Simulator to Test and Debug Embedded
System Controllers},
booktitle = {Technological Innovation for Cloud-Based Engineering Systems - 6th
{IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal,
April 13-15, 2015, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {450},
pages = {165--175},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16766-4\_18},
doi = {10.1007/978-3-319-16766-4\_18},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/PereiraG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/SilvaGRM15,
author = {Edgar M. Silva and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Rodrigues and
Pedro Mal{\'{o}}},
editor = {Luis M. Camarinha{-}Matos and
Thais A. Baldissera and
Giovanni Di Orio and
Francisco Marques},
title = {A Model-Based Approach for Resource Constrained Devices Energy Test
and Simulation},
booktitle = {Technological Innovation for Cloud-Based Engineering Systems - 6th
{IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical
and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal,
April 13-15, 2015, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {450},
pages = {345--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16766-4\_37},
doi = {10.1007/978-3-319-16766-4\_37},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/SilvaGRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/PereiraMG15,
author = {Fernando Pereira and
Arildo Melo and
Lu{\'{\i}}s Gomes},
title = {Remote operation of embedded controllers designed using {IOPT} Petri-nets},
booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN}
2015, Cambridge, United Kingdom, July 22-24, 2015},
pages = {572--579},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INDIN.2015.7281797},
doi = {10.1109/INDIN.2015.7281797},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/PereiraMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BritoBG15,
author = {Isabel Sofia Brito and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Controller design and implementation: An approach based on problem
frames and Petri Net models},
booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN}
2015, Cambridge, United Kingdom, July 22-24, 2015},
pages = {860--867},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INDIN.2015.7281849},
doi = {10.1109/INDIN.2015.7281849},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/BritoBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/RibeiroMG15,
author = {Jos{\'{e}} Ribeiro and
Fernando Melicio and
Lu{\'{\i}}s Gomes},
title = {High-level Petri nets modules for embedded controllers design},
booktitle = {13th {IEEE} International Conference on Industrial Informatics, {INDIN}
2015, Cambridge, United Kingdom, July 22-24, 2015},
pages = {876--882},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/INDIN.2015.7281851},
doi = {10.1109/INDIN.2015.7281851},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/RibeiroMG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/AbdollahvandOGG15,
author = {Somayeh Abdollahvand and
Lu{\'{\i}}s Bica Oliveira and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Goes},
title = {A low-voltage voltage-controlled ring-oscillator employing dynamic-threshold-MOS
and body-biasing techniques},
booktitle = {2015 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
2015, Lisbon, Portugal, May 24-27, 2015},
pages = {1294--1297},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISCAS.2015.7168878},
doi = {10.1109/ISCAS.2015.7168878},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/AbdollahvandOGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/AbdollahvandPGG15,
author = {Somayeh Abdollahvand and
Nuno Paulino and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Goes},
title = {A current-mode VCO-based amplifier-less 2\({}^{\mbox{nd}}\)-order
{\(\Delta\)}{\(\Sigma\)} modulator with over 85dB {SNDR}},
booktitle = {2015 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
2015, Lisbon, Portugal, May 24-27, 2015},
pages = {2037--2040},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISCAS.2015.7169077},
doi = {10.1109/ISCAS.2015.7169077},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iscas/AbdollahvandPGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PereiraMBC015,
author = {Fernando Pereira and
Filipe Moutinho and
Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Vinay Kulkarni and
Omar Badreddin},
title = {Executable models for Embedded Controllers Development - {A} Cloud
Based Development Framework},
booktitle = {Proceedings of the MoDELS 2015 Demo and Poster Session co-located
with {ACM/IEEE} 18th International Conference on Model Driven Engineering
Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27,
2015},
series = {{CEUR} Workshop Proceedings},
volume = {1554},
pages = {40--43},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1554/PD\_MoDELS\_2015\_paper\_13.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/models/PereiraMBC015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/GasmiMKG15,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes},
editor = {Hamido Fujita and
Guido Guizzi},
title = {{PEDASA:} Priority, Energy and Deadline Aware Scheduling Algorithm},
booktitle = {Intelligent Software Methodologies, Tools and Techniques - 14th International
Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings},
series = {Communications in Computer and Information Science},
volume = {532},
pages = {59--72},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22689-7\_5},
doi = {10.1007/978-3-319-22689-7\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/somet/GasmiMKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/DezaniBMGDS14,
author = {Henrique Dezani and
Regiane D. S. Bassi and
Norian Marranghello and
Lu{\'{\i}}s Gomes and
Furio Damiani and
Ivan Nunes da Silva},
title = {Optimizing urban traffic flow using Genetic Algorithm with Petri net
analysis as fitness function},
journal = {Neurocomputing},
volume = {124},
pages = {162--167},
year = {2014},
url = {https://doi.org/10.1016/j.neucom.2013.07.015},
doi = {10.1016/J.NEUCOM.2013.07.015},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijon/DezaniBMGDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/MoutinhoG14,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes},
title = {Asynchronous-Channels Within Petri Net-Based {GALS} Distributed Embedded
Systems Modeling},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {10},
number = {4},
pages = {2024--2033},
year = {2014},
url = {https://doi.org/10.1109/TII.2014.2341933},
doi = {10.1109/TII.2014.2341933},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/MoutinhoG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsi/Campos-RebeloCG14,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Output events for human-system interaction modeling},
booktitle = {7th International Conference on Human System Interactions, {HSI} 2014,
Costa da Caparica, Portugal, June 16-18, 2014},
pages = {261--266},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/HSI.2014.6860486},
doi = {10.1109/HSI.2014.6860486},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/hsi/Campos-RebeloCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GasmiMK014,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Reconfigurable Priority Ceiling Protocol: {A} Safe Way to Real-Time
Reconfiguration},
booktitle = {Informatics in Control, Automation and Robotics - 11th International
Conference, {ICINCO} 2014 Vienna, Austria, September 2-4, 2014 Revised
Selected Papers},
series = {Lecture Notes in Electrical Engineering},
volume = {370},
pages = {23--42},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-26453-0\_2},
doi = {10.1007/978-3-319-26453-0\_2},
timestamp = {Tue, 16 Aug 2022 23:04:41 +0200},
biburl = {https://dblp.org/rec/conf/icinco/GasmiMK014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/GasmiMKG14,
author = {Maroua Gasmi and
Olfa Mosbahi and
Mohamed Khalgui and
Lu{\'{\i}}s Gomes},
editor = {Joaquim Filipe and
Oleg Yu. Gusikhin and
Kurosh Madani and
Jurek Z. Sasiadek},
title = {Reconfigurable Priority Ceiling Protocol - Under Rate Monotonic Based
Real-time Scheduling},
booktitle = {{ICINCO} 2014 - Proceedings of the 11th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Vienna,
Austria, 1 - 3 September, 2014},
pages = {42--52},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0005060900420052},
doi = {10.5220/0005060900420052},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/GasmiMKG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Camarinha-MatosGGM14,
author = {Luis M. Camarinha{-}Matos and
Jo{\~{a}}o Goes and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Martins},
editor = {Luis M. Camarinha{-}Matos and
Nuno S. Barrento and
Ricardo Mendon{\c{c}}a},
title = {Towards Collective Awareness Systems},
booktitle = {Technological Innovation for Collective Awareness Systems - 5th {IFIP}
{WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and
Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April
7-9, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {423},
pages = {3--10},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54734-8\_1},
doi = {10.1007/978-3-642-54734-8\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/Camarinha-MatosGGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Campos-RebeloCG14,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Nuno S. Barrento and
Ricardo Mendon{\c{c}}a},
title = {Elementary Events for Modeling of Human-System Interactions with Petri
Net Models},
booktitle = {Technological Innovation for Collective Awareness Systems - 5th {IFIP}
{WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and
Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April
7-9, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {423},
pages = {219--226},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54734-8\_25},
doi = {10.1007/978-3-642-54734-8\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PaisBG14,
author = {Rui Pais and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Nuno S. Barrento and
Ricardo Mendon{\c{c}}a},
title = {From SysML State Machines to Petri Nets Using {ATL} Transformations},
booktitle = {Technological Innovation for Collective Awareness Systems - 5th {IFIP}
{WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and
Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April
7-9, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {423},
pages = {227--236},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54734-8\_26},
doi = {10.1007/978-3-642-54734-8\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/PaisBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/RochaDG14,
author = {Jos{\'{e}}{-}In{\'{a}}cio Rocha and
Oct{\'{a}}vio P{\'{a}}scoa Dias and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Nuno S. Barrento and
Ricardo Mendon{\c{c}}a},
title = {Strategies to Improve Synchronous Dataflows Analysis Using Mappings
between Petri Nets and Dataflows},
booktitle = {Technological Innovation for Collective Awareness Systems - 5th {IFIP}
{WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and
Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April
7-9, 2014. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {423},
pages = {237--248},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54734-8\_27},
doi = {10.1007/978-3-642-54734-8\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/RochaDG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/SilvaMG14,
author = {Edgar M. Silva and
Pedro Mal{\'{o}} and
Lu{\'{\i}}s Gomes},
title = {A platform independent communication support for distributed controller
systems modelled by Petri nets},
booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN}
2014, Porto Alegre, RS, Brazil, July 27-30, 2014},
pages = {88--93},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/INDIN.2014.6945489},
doi = {10.1109/INDIN.2014.6945489},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/SilvaMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/BarrosBG14,
author = {Jo{\~{a}}o Paulo Barros and
Isabel Sofia Brito and
Lu{\'{\i}}s Gomes},
title = {Requirements specification for controller design - From use cases
to {IOPT} net models},
booktitle = {12th {IEEE} International Conference on Industrial Informatics, {INDIN}
2014, Porto Alegre, RS, Brazil, July 27-30, 2014},
pages = {207--212},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/INDIN.2014.6945509},
doi = {10.1109/INDIN.2014.6945509},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/BarrosBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/SilvaCHMMC014,
author = {Edgar M. Silva and
Rog{\'{e}}rio Campos{-}Rebelo and
Takahiro Hirashima and
Filipe Moutinho and
Pedro Mal{\'{o}} and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Communication support for Petri nets based distributed controllers},
booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE}
2014, Istanbul, Turkey, June 1-4, 2014},
pages = {1111--1116},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISIE.2014.6864769},
doi = {10.1109/ISIE.2014.6864769},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isie/SilvaCHMMC014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/BarrosG14,
author = {Jo{\~{a}}o{-}Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Towards the use of Place/Transition net tools for analysis of {IOPT}
models},
booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE}
2014, Istanbul, Turkey, June 1-4, 2014},
pages = {1141--1146},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISIE.2014.6864774},
doi = {10.1109/ISIE.2014.6864774},
timestamp = {Sun, 04 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/BarrosG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/GomesC14,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Cloud based development framework using {IOPT} Petri nets for embedded
systems teaching},
booktitle = {23rd {IEEE} International Symposium on Industrial Electronics, {ISIE}
2014, Istanbul, Turkey, June 1-4, 2014},
pages = {2202--2206},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ISIE.2014.6864959},
doi = {10.1109/ISIE.2014.6864959},
timestamp = {Sun, 04 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/GomesC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/i-jep/BarrosGG13,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes and
Lu{\'{\i}}s Garcia},
title = {A Proposal for the Description of Individual Course Units},
journal = {Int. J. Eng. Pedagog.},
volume = {3},
number = {{S1}},
pages = {71--75},
year = {2013},
url = {https://doi.org/10.3991/ijep.v3is1.2420},
doi = {10.3991/IJEP.V3IS1.2420},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/i-jep/BarrosGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/Rodriguez-AndinaG13,
author = {Juan J. Rodr{\'{\i}}guez{-}Andina and
Lu{\'{\i}}s Gomes},
title = {Guest Editorial Special Section on Information Technologies Within
Engineering Education},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {9},
number = {1},
pages = {546},
year = {2013},
url = {https://doi.org/10.1109/TII.2012.2226185},
doi = {10.1109/TII.2012.2226185},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/Rodriguez-AndinaG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/BarbosaMGAGMF13,
author = {Paulo E. S. Barbosa and
Misael Morais and
Katia Elizabete Galdino and
Melquisedec Andrade and
Lu{\'{\i}}s Gomes and
Filipe Moutinho and
Jorge C. A. de Figueiredo},
editor = {Pedro Pereira Rodrigues and
Mykola Pechenizkiy and
Jo{\~{a}}o Gama and
Ricardo Cruz{-}Correia and
Jiming Liu and
Agma J. M. Traina and
Peter J. F. Lucas and
Paolo Soda},
title = {Towards medical device behavioural validation using Petri nets},
booktitle = {Proceedings of the 26th {IEEE} International Symposium on Computer-Based
Medical Systems, Porto, Portugal, June 20-22, 2013},
pages = {4--10},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CBMS.2013.6627756},
doi = {10.1109/CBMS.2013.6627756},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/BarbosaMGAGMF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/GomesMP13,
author = {Lu{\'{\i}}s Gomes and
Filipe Moutinho and
Fernando Pereira},
title = {IOPT-tools - {A} Web based tool framework for embedded systems controller
development using Petri nets},
booktitle = {23rd International Conference on Field programmable Logic and Applications,
{FPL} 2013, Porto, Portugal, September 2-4, 2013},
pages = {1},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FPL.2013.6645633},
doi = {10.1109/FPL.2013.6645633},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/fpl/GomesMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/MoutinhoG13,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes},
title = {Distributed embedded systems design using Petri nets},
booktitle = {23rd International Conference on Field programmable Logic and Applications,
{FPL} 2013, Porto, Portugal, September 2-4, 2013},
pages = {1--2},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/FPL.2013.6645617},
doi = {10.1109/FPL.2013.6645617},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fpl/MoutinhoG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsi/Campos-RebeloCG13,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Events for human-system interaction modeling with {IOPT} Petri nets},
booktitle = {6th International Conference on Human System Interactions, {HSI} 2013,
Sopot, Poland, June 6-8, 2013},
pages = {56--61},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/HSI.2013.6577802},
doi = {10.1109/HSI.2013.6577802},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsi/Campos-RebeloCG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/0001MCR13,
author = {Lu{\'{\i}}s Gomes and
Eric Monmasson and
Marcian N. Cirstea and
Juan J. Rodr{\'{\i}}guez{-}Andina},
title = {Industrial electronic control: FPGAs and embedded systems solutions},
booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics
Society, Vienna, Austria, November 10-13, 2013},
pages = {60--65},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IECON.2013.6699112},
doi = {10.1109/IECON.2013.6699112},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/0001MCR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Pereira013,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes},
title = {Automatic synthesis of {VHDL} hardware components from {IOPT} Petri
net models},
booktitle = {{IECON} 2013 - 39th Annual Conference of the {IEEE} Industrial Electronics
Society, Vienna, Austria, November 10-13, 2013},
pages = {2214--2219},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IECON.2013.6699475},
doi = {10.1109/IECON.2013.6699475},
timestamp = {Mon, 28 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/Pereira013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Camarinha-MatosGGM13,
author = {Luis M. Camarinha{-}Matos and
Jo{\~{a}}o Goes and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Martins},
editor = {Luis M. Camarinha{-}Matos and
Slavisa Tomic and
Paula Gra{\c{c}}a},
title = {Contributing to the Internet of Things},
booktitle = {Technological Innovation for the Internet of Things - 4th {IFIP} {WG}
5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial
Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013.
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {394},
pages = {3--12},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37291-9\_1},
doi = {10.1007/978-3-642-37291-9\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/Camarinha-MatosGGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/MoutinhoG13,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Slavisa Tomic and
Paula Gra{\c{c}}a},
title = {Augmenting High-Level Petri Nets to Support {GALS} Distributed Embedded
Systems Specification},
booktitle = {Technological Innovation for the Internet of Things - 4th {IFIP} {WG}
5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial
Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013.
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {394},
pages = {221--228},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37291-9\_24},
doi = {10.1007/978-3-642-37291-9\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/MoutinhoG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Campos-RebeloCG13,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Slavisa Tomic and
Paula Gra{\c{c}}a},
title = {On Structuring Events for {IOPT} Net Models},
booktitle = {Technological Innovation for the Internet of Things - 4th {IFIP} {WG}
5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial
Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013.
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {394},
pages = {229--238},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37291-9\_25},
doi = {10.1007/978-3-642-37291-9\_25},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PereiraG13,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Slavisa Tomic and
Paula Gra{\c{c}}a},
title = {Minimalist Architecture to Generate Embedded System Web User Interfaces},
booktitle = {Technological Innovation for the Internet of Things - 4th {IFIP} {WG}
5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial
Systems, DoCEIS 2013, Costa de Caparica, Portugal, April 15-17, 2013.
Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {394},
pages = {239--249},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37291-9\_26},
doi = {10.1007/978-3-642-37291-9\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/PereiraG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/RochaDG13,
author = {Jos{\'{e}}{-}In{\'{a}}cio Rocha and
Oct{\'{a}}vio P{\'{a}}scoa Dias and
Lu{\'{\i}}s Gomes},
title = {Exploiting dataflows and Petri nets mappings},
booktitle = {11th {IEEE} International Conference on Industrial Informatics, {INDIN}
2013, Bochum, Germany, July 29-31, 2013},
pages = {590--595},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/INDIN.2013.6622950},
doi = {10.1109/INDIN.2013.6622950},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/indin/RochaDG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/MoutinhoPG13,
author = {Filipe Moutinho and
Jos{\'{e}} Pimenta and
Lu{\'{\i}}s Gomes},
title = {Configuring communication nodes for networked embedded systems specified
by Petri nets},
booktitle = {22nd {IEEE} International Symposium on Industrial Electronics, {ISIE}
2013, Taipei, Taiwan, May 28-31, 2013},
pages = {1--6},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ISIE.2013.6563867},
doi = {10.1109/ISIE.2013.6563867},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/MoutinhoPG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Dezani0DM12,
author = {Henrique Dezani and
Lu{\'{\i}}s Gomes and
Furio Damiani and
Norian Marranghello},
title = {Controlling traffic jams on urban roads modeled in Coloured Petri
net using Genetic Algorithm},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {3043--3048},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389412},
doi = {10.1109/IECON.2012.6389412},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/iecon/Dezani0DM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/RochaGD12,
author = {Jos{\'{e}}{-}In{\'{a}}cio Rocha and
Lu{\'{\i}}s Gomes and
Oct{\'{a}}vio P{\'{a}}scoa Dias},
title = {Analysing storage resources on Synchronous Dataflows using Petri net
verification techniques},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {4676--4681},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389492},
doi = {10.1109/IECON.2012.6389492},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/RochaGD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Moutinho012,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes},
title = {Extending a net splitting operation for decomposition of high-level
Petri nets},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {6120--6125},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389080},
doi = {10.1109/IECON.2012.6389080},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/Moutinho012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Dezani0DM12a,
author = {Henrique Dezani and
Lu{\'{\i}}s Gomes and
Furio Damiani and
Norian Marranghello},
title = {Finding best urban routes based on analyses of high level and {IOPT}
Petri net models},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {6126--6131},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389079},
doi = {10.1109/IECON.2012.6389079},
timestamp = {Wed, 01 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/Dezani0DM12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Costa0B12,
author = {Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {Model composition by reusing Petri net based modules},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {6132--6137},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389078},
doi = {10.1109/IECON.2012.6389078},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/Costa0B12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Barros0C12,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {On the verification of non-autonomous Petri net models using autonomous
petri net tools},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {6138--6143},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389077},
doi = {10.1109/IECON.2012.6389077},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iecon/Barros0C12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/PereiraMR012,
author = {Fernando Pereira and
Filipe Moutinho and
Jos{\'{e}} Ribeiro and
Lu{\'{\i}}s Gomes},
title = {Web based {IOPT} Petri net Editor with an extensible plugin architecture
to support generic net operations},
booktitle = {38th Annual Conference on {IEEE} Industrial Electronics Society, {IECON}
2012, Montreal, QC, Canada, October 25-28, 2012},
pages = {6151--6156},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/IECON.2012.6389075},
doi = {10.1109/IECON.2012.6389075},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/PereiraMR012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Camarinha-MatosGGM12,
author = {Luis M. Camarinha{-}Matos and
Jo{\~{a}}o Goes and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Martins},
editor = {Luis M. Camarinha{-}Matos and
Ehsan Shahamatnia and
Gon{\c{c}}alo Nunes},
title = {Raising Awareness for Value Creation Potential in Engineering Research},
booktitle = {Technological Innovation for Value Creation - Third {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {372},
pages = {3--6},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28255-3\_1},
doi = {10.1007/978-3-642-28255-3\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/Camarinha-MatosGGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PereiraMG12,
author = {Fernando Pereira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Ehsan Shahamatnia and
Gon{\c{c}}alo Nunes},
title = {A State-Space Based Model-Checking Framework for Embedded System Controllers
Specified Using {IOPT} Petri Nets},
booktitle = {Technological Innovation for Value Creation - Third {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {372},
pages = {123--132},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28255-3\_14},
doi = {10.1007/978-3-642-28255-3\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/PereiraMG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/MoutinhoG12,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Ehsan Shahamatnia and
Gon{\c{c}}alo Nunes},
title = {Asynchronous-Channels and Time-Domains Extending Petri Nets for {GALS}
Systems},
booktitle = {Technological Innovation for Value Creation - Third {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {372},
pages = {143--150},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28255-3\_16},
doi = {10.1007/978-3-642-28255-3\_16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/MoutinhoG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/Campos-RebeloCG12,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Ehsan Shahamatnia and
Gon{\c{c}}alo Nunes},
title = {Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning
Platforms},
booktitle = {Technological Innovation for Value Creation - Third {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {372},
pages = {151--160},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28255-3\_17},
doi = {10.1007/978-3-642-28255-3\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/Campos-RebeloCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/AbdollahvandGOGP12,
author = {Somayeh Abdollahvand and
Jo{\~{a}}o Goes and
Lu{\'{\i}}s B. Oliveira and
Lu{\'{\i}}s Gomes and
Nuno Paulino},
title = {Low phase-noise temperature compensated self-biased ring oscillator},
booktitle = {2012 {IEEE} International Symposium on Circuits and Systems, {ISCAS}
2012, Seoul, Korea (South), May 20-23, 2012},
pages = {2489--2492},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISCAS.2012.6271805},
doi = {10.1109/ISCAS.2012.6271805},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/AbdollahvandGOGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/Moutinho0CP12,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa and
Jos{\'{e}} Pimenta},
title = {Asynchronous wrappers configuration within {GALS} systems specified
by Petri nets},
booktitle = {21st {IEEE} International Symposium on Industrial Electronics, {ISIE}
2012, Hangzhou, China, 28-31 May, 2012},
pages = {1357--1362},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISIE.2012.6237288},
doi = {10.1109/ISIE.2012.6237288},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/isie/Moutinho0CP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isie/PereiraM012,
author = {Fernando Pereira and
Filipe Moutinho and
Lu{\'{\i}}s Gomes},
title = {Model-checking framework for embedded systems controllers development
using {IOPT} Petri nets},
booktitle = {21st {IEEE} International Symposium on Industrial Electronics, {ISIE}
2012, Hangzhou, China, 28-31 May, 2012},
pages = {1399--1404},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ISIE.2012.6237295},
doi = {10.1109/ISIE.2012.6237295},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isie/PereiraM012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PaisGB11,
author = {Rui Pais and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
editor = {Luis M. Camarinha{-}Matos},
title = {Towards Statecharts to Input-Output Place Transition Nets Transformations},
booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {349},
pages = {227--236},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19170-1\_25},
doi = {10.1007/978-3-642-19170-1\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/PaisGB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/MoutinhoGBBRFCM11,
author = {Filipe Moutinho and
Lu{\'{\i}}s Gomes and
Paulo E. S. Barbosa and
Jo{\~{a}}o Paulo Barros and
Franklin Ramalho and
Jorge Figueiredo and
Anik{\'{o}} Costa and
Andr{\'{e}} Monteiro},
editor = {Luis M. Camarinha{-}Matos},
title = {Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous
System},
booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {349},
pages = {237--245},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19170-1\_26},
doi = {10.1007/978-3-642-19170-1\_26},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/MoutinhoGBBRFCM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/PereiraGM11,
author = {Fernando Pereira and
Lu{\'{\i}}s Gomes and
Filipe Moutinho},
editor = {Luis M. Camarinha{-}Matos},
title = {Automatic Generation of Run-Time Monitoring Capabilities to Petri
Nets Based Controllers with Graphical User Interfaces},
booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {349},
pages = {246--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19170-1\_27},
doi = {10.1007/978-3-642-19170-1\_27},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-5/PereiraGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/BarbosaBRGFMCA11,
author = {Paulo E. S. Barbosa and
Jo{\~{a}}o Paulo Barros and
Franklin Ramalho and
Lu{\'{\i}}s Gomes and
Jorge Figueiredo and
Filipe Moutinho and
Anik{\'{o}} Costa and
Andr{\'{e}} Aranha},
editor = {Luis M. Camarinha{-}Matos},
title = {SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution
Semantics within Embedded Systems Design},
booktitle = {Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {349},
pages = {256--265},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19170-1\_28},
doi = {10.1007/978-3-642-19170-1\_28},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/BarbosaBRGFMCA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/GomesL10,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Rapid Prototyping of Graphical User Interfaces for Petri-Net-Based
Controllers},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {57},
number = {5},
pages = {1806--1813},
year = {2010},
url = {https://doi.org/10.1109/TIE.2009.2031188},
doi = {10.1109/TIE.2009.2031188},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/GomesL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/Rodriguez-AndinaGB10,
author = {Juan J. Rodr{\'{\i}}guez{-}Andina and
Lu{\'{\i}}s Gomes and
Seta Bogosyan},
title = {Current Trends in Industrial Electronics Education},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {57},
number = {10},
pages = {3245--3252},
year = {2010},
url = {https://doi.org/10.1109/TIE.2010.2057235},
doi = {10.1109/TIE.2010.2057235},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/Rodriguez-AndinaGB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/MachadoFBG10,
author = {Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes and
Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Scenario-Based Modeling in Industrial Information Systems},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {19--30},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_4},
doi = {10.1007/978-3-642-15234-4\_4},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/MachadoFBG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/CostaBGRFJ10,
author = {Anik{\'{o}} Costa and
Paulo E. S. Barbosa and
Lu{\'{\i}}s Gomes and
Franklin Ramalho and
Jorge C. A. de Figueiredo and
Antonio D. dos S. Junior},
editor = {Luis M. Camarinha{-}Matos and
Pedro Pereira and
Luis Ribeiro},
title = {Properties Preservation in Distributed Execution of Petri Nets Models},
booktitle = {Emerging Trends in Technological Innovation, First {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {314},
pages = {241--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11628-5\_26},
doi = {10.1007/978-3-642-11628-5\_26},
timestamp = {Mon, 05 Feb 2024 20:34:01 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/CostaBGRFJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/BarbosaRFCGJ10,
author = {Paulo E. S. Barbosa and
Franklin Ramalho and
Jorge Figueiredo and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes and
Antonio D. dos S. Junior},
editor = {Luis M. Camarinha{-}Matos and
Pedro Pereira and
Luis Ribeiro},
title = {Semantic Equations for Formal Models in the Model-Driven Architecture},
booktitle = {Emerging Trends in Technological Innovation, First {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {314},
pages = {251--260},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11628-5\_27},
doi = {10.1007/978-3-642-11628-5\_27},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/BarbosaRFCGJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-5/JorgeGPMG10,
author = {Andr{\'{e}} Jorge and
Jo{\~{a}}o Guerreiro and
Pedro Pereira and
Jo{\~{a}}o Martins and
Lu{\'{\i}}s Gomes},
editor = {Luis M. Camarinha{-}Matos and
Pedro Pereira and
Luis Ribeiro},
title = {Energy Consumption Monitoring System for Large Complexes},
booktitle = {Emerging Trends in Technological Innovation, First {IFIP} {WG} 5.5/SOCOLNET
Doctoral Conference on Computing, Electrical and Industrial Systems,
DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {314},
pages = {419--426},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11628-5\_46},
doi = {10.1007/978-3-642-11628-5\_46},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip5-5/JorgeGPMG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2010,
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://ieeexplore.ieee.org/xpl/conhome/5552634/proceeding},
isbn = {978-0-7695-4066-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BarbosaRFJCG09,
author = {Paulo E. S. Barbosa and
Franklin Ramalho and
Jorge C. A. de Figueiredo and
Antonio D. dos S. Junior and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Checking Semantics Equivalence of {MDA} Transformations in Concurrent
Systems},
journal = {J. Univers. Comput. Sci.},
volume = {15},
number = {11},
pages = {2196--2224},
year = {2009},
url = {https://doi.org/10.3217/jucs-015-11-2196},
doi = {10.3217/JUCS-015-11-2196},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/BarbosaRFJCG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/GomesB09,
author = {Lu{\'{\i}}s Gomes and
Seta Bogosyan},
title = {Current Trends in Remote Laboratories},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {56},
number = {12},
pages = {4744--4756},
year = {2009},
url = {https://doi.org/10.1109/TIE.2009.2033293},
doi = {10.1109/TIE.2009.2033293},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tie/GomesB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/FigueiredoMGGS09,
author = {Michael Figueiredo and
Tomasz Michalak and
Jo{\~{a}}o Goes and
Lu{\'{\i}}s Gomes and
Pawel Sniatala},
title = {Improved clock-phase generator based on self-biased {CMOS} logic for
time-interleaved {SC} circuits},
booktitle = {16th {IEEE} International Conference on Electronics, Circuits, and
Systems, {ICECS} 2009, Yasmine Hammamet, Tunisia, 13-19 December,
2009},
pages = {763--766},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICECS.2009.5410771},
doi = {10.1109/ICECS.2009.5410771},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/FigueiredoMGGS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/Costa009,
author = {Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Petri net partitioning using net splitting operation},
booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN}
2009, Cardiff, UK, 23-26 June 2009},
pages = {204--209},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/INDIN.2009.5195804},
doi = {10.1109/INDIN.2009.5195804},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/Costa009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/PatricioG09,
author = {Gustavo Patricio and
Lu{\'{\i}}s Gomes},
title = {Smart house monitoring and actuating system development using automatic
code generation},
booktitle = {7th {IEEE} International Conference on Industrial Informatics, {INDIN}
2009, Cardiff, UK, 23-26 June 2009},
pages = {256--261},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/INDIN.2009.5195813},
doi = {10.1109/INDIN.2009.5195813},
timestamp = {Wed, 05 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/PatricioG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LourencoG08,
author = {Jo{\~{a}}o Louren{\c{c}}o and
Lu{\'{\i}}s Gomes},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Animated Graphical User Interface Generator Framework for Input-Output
Place-Transition Petri Net Models},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {409--418},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_27},
doi = {10.1007/978-3-540-68746-7\_27},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/LourencoG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/NunesGB07,
author = {Ricardo Nunes and
Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {A graphical editor for the input-output place-transition petri net
class},
booktitle = {Proceedings of 12th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2007, September 25-28, 2007, Patras,
Greece},
pages = {788--791},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/EFTA.2007.4416858},
doi = {10.1109/EFTA.2007.4416858},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/NunesGB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/CostaG07,
author = {Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Module Composition within Petri Nets Model-based Development},
booktitle = {{IEEE} Second International Symposium on Industrial Embedded Systems,
{SIES} 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6,
2007},
pages = {316--319},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/SIES.2007.4297351},
doi = {10.1109/SIES.2007.4297351},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/CostaG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/CostaG06,
author = {Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
title = {Partitioning of Petri net models amenable for Distributed Execution},
booktitle = {Proceedings of 11th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2006, September 20-22, 2006, Diplomat
Hotel Prague, Czech Republic},
pages = {1129--1132},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ETFA.2006.355253},
doi = {10.1109/ETFA.2006.355253},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/CostaG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GomesC06,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Removing ill-structured arcs in Hierarchical and Concurrent State
Diagrams},
booktitle = {Proceedings of 11th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2006, September 20-22, 2006, Diplomat
Hotel Prague, Czech Republic},
pages = {1230--1237},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ETFA.2006.355193},
doi = {10.1109/ETFA.2006.355193},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GomesC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/GomesC06,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Petri nets as supporting formalism within Embedded Systems Co-design},
booktitle = {International Symposium on Industrial Embedded Systems, {IES} 2006,
Antibes Juan-Les-Pins, France, October 18-20, 2006},
pages = {1--4},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IES.2006.357468},
doi = {10.1109/IES.2006.357468},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/GomesC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/GomesB05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {Structuring and composability issues in Petri nets modeling},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {1},
number = {2},
pages = {112--123},
year = {2005},
url = {https://doi.org/10.1109/TII.2005.844433},
doi = {10.1109/TII.2005.844433},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/GomesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GomesBCPM05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Rui Pais and
Filipe Moutinho},
title = {Towards usage of formal methods within embedded systems co-design},
booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
Italy},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ETFA.2005.1612535},
doi = {10.1109/ETFA.2005.1612535},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GomesBCPM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/PaisBG05,
author = {Rui Pais and
S. P. Barros and
Lu{\'{\i}}s Gomes},
title = {A tool for tailored code generation from Petri net models},
booktitle = {Proceedings of 10th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2005, September 19-22, 2005, Catania,
Italy},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/ETFA.2005.1612615},
doi = {10.1109/ETFA.2005.1612615},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/PaisBG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mse/GomesC05,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Remote Laboratory Support for an Introductory Microprocessor Course},
booktitle = {2005 International Conference on Microelectronics Systems Education,
{MSE} 2005, Anaheim, CA, USA, June 12-13, 2005},
pages = {21--22},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MSE.2005.47},
doi = {10.1109/MSE.2005.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mse/GomesC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mse/GomesC05a,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {Teaching Formal Methods Within System-on-a-Programmable-Chip Design},
booktitle = {2005 International Conference on Microelectronics Systems Education,
{MSE} 2005, Anaheim, CA, USA, June 12-13, 2005},
pages = {105--106},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MSE.2005.53},
doi = {10.1109/MSE.2005.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mse/GomesC05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recosoc/GomesBCPM05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Rui Pais and
Filipe Moutinho},
editor = {Gilles Sassatelli and
Manfred Glesner and
Lionel Torres and
Leandro Soares Indrusiak and
Thomas Hollstein},
title = {Formal methods for Embedded Systems Co-design: the {FORDESIGN} project},
booktitle = {Proceedings of the 1st International Workshop on Reconfigurable Communication-centric
Systems-on-Chip, ReCoSoC 2005, Montpellier, France, June 2005},
pages = {143--150},
publisher = {Univ. Montpellier {II}},
year = {2005},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/recosoc/GomesBCPM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/IIR2005/GomesB05,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
editor = {Richard Zurawski},
title = {Models of Computation for Embedded Systems},
booktitle = {The Industrial Information Technology Handbook},
pages = {1--17},
publisher = {{CRC} Press},
year = {2005},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/crc/IIR2005/GomesB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/IIR2005/GomesC05,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
editor = {Richard Zurawski},
title = {Hardware-level Design Languages},
booktitle = {The Industrial Information Technology Handbook},
pages = {1--18},
publisher = {{CRC} Press},
year = {2005},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/crc/IIR2005/GomesC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/BarrosCG05,
author = {Jo{\~{a}}o Paulo Barros and
Anik{\'{o}} Costa and
Lu{\'{\i}}s Gomes},
editor = {Richard Zurawski},
title = {Modeling Formalisms for Embedded System Design},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch5},
doi = {10.1201/9781420038163.CH5},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/BarrosCG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BarrosG04,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {On the Use of Coloured Petri Nets for Object-Oriented Design},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {117--136},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_8},
doi = {10.1007/978-3-540-27793-4\_8},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BarrosG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/BarrosGPD04,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes and
Rui Pais and
Rui Dias},
editor = {Helder Ara{\'{u}}jo and
Alves Vieira and
Jos{\'{e}} Braz and
Bruno Encarna{\c{c}}{\~{a}}o and
Marina Carvalho},
title = {From Petri Nets to Executable Systems: An Environment for Code Generation
and Analysis},
booktitle = {{ICINCO} 2004, Proceedings of the First International Conference on
Informatics in Control, Automation and Robotics, Set{\'{u}}bal,
Portugal, August 25-28, 2004},
pages = {464--467},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icinco/BarrosGPD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/virtual-lab/BorzaSGCL04,
author = {Paul Nicolae Borza and
Gheorghe Scutaru and
Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa and
Laszlo Lazar},
editor = {Paul Nicolae Borza and
Lu{\'{\i}}s Gomes and
Gheorghe Scutaru},
title = {Implementation of a remote and virtual laboratory in the field of
home appliance systems},
booktitle = {e-learning and Virtual and Remote Laboratories, Proceedings of the
1st International Workshop on e-learning and Virtual and Remote Laboratories,
{VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Set{\'{u}}bal,
Portugal, August 2004},
pages = {60--68},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Tue, 01 Mar 2016 11:42:39 +0100},
biburl = {https://dblp.org/rec/conf/virtual-lab/BorzaSGCL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/virtual-lab/GomesC04,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
editor = {Paul Nicolae Borza and
Lu{\'{\i}}s Gomes and
Gheorghe Scutaru},
title = {Embedded Systems Introductory Course supported by remote experiments},
booktitle = {e-learning and Virtual and Remote Laboratories, Proceedings of the
1st International Workshop on e-learning and Virtual and Remote Laboratories,
{VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Set{\'{u}}bal,
Portugal, August 2004},
pages = {89--98},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/virtual-lab/GomesC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/virtual-lab/2004,
editor = {Paul Nicolae Borza and
Lu{\'{\i}}s Gomes and
Gheorghe Scutaru},
title = {e-learning and Virtual and Remote Laboratories, Proceedings of the
1st International Workshop on e-learning and Virtual and Remote Laboratories,
{VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Set{\'{u}}bal,
Portugal, August 2004},
publisher = {{INSTICC} Press},
year = {2004},
isbn = {972-8865-14-7},
timestamp = {Tue, 01 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/virtual-lab/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BarrosG03,
author = {Jo{\~{a}}o Paulo Barros and
Lu{\'{\i}}s Gomes},
title = {Modifying Petri Net Models by Means of Crosscutting Operations},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207712},
doi = {10.1109/CSD.2003.1207712},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BarrosG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GomesC03,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {On Lifting of Statechart Structuring Mechanisms},
booktitle = {3rd International Conference on Application of Concurrency to System
Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal},
pages = {206--215},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSD.2003.1207715},
doi = {10.1109/CSD.2003.1207715},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GomesC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GomesB03,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o Paulo Barros},
title = {On structuring mechanisms for Petri nets based system design},
booktitle = {Proceedings of 9th {IEEE} International Conference on Emerging Technologies
and Factory Automation, {ETFA} 2003, September 16-19, 2003, Lisbon,
Portugal - Volume 2},
pages = {431--438},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/ETFA.2003.1248731},
doi = {10.1109/ETFA.2003.1248731},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GomesB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GomesC03,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {From Use Cases to System Implementation: Statechart Based Co-design},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {24--33},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210083},
doi = {10.1109/MEMCOD.2003.1210083},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/GomesC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mse/Gomes01,
author = {Lu{\'{\i}}s Gomes},
title = {Introducing Programmable Logic Devices into Digital Design},
booktitle = {2001 International Conference on Microelectronics Systems Education,
{MSE} 2001, Las Vegas, NV, USA, July 17-18, 2001},
pages = {73--74},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/MSE.2001.932420},
doi = {10.1109/MSE.2001.932420},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mse/Gomes01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/GomesBC01,
author = {Lu{\'{\i}}s Gomes and
Jo{\~{a}}o{-}Paulo Barros and
Anik{\'{o}} Costa},
title = {Man-machine interface for real-time telecontrol based onPetri nets
specification},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace",
Tucson, Arizona, USA, 7-10 October 2001},
pages = {1565--1570},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ICSMC.2001.973507},
doi = {10.1109/ICSMC.2001.973507},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/GomesBC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GomesS95,
author = {Lu{\'{\i}}s Gomes and
Adolfo Steiger{-}Gar{\c{c}}{\~{a}}o},
editor = {Giorgio De Michelis and
Michel Diaz},
title = {Programmable Controller Design based on a Synchronized Colored Petri
Net Model and Integrated Fuzzy Reasoning},
booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference,
Turin, Italy, June 26-30, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {935},
pages = {218--237},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60029-9\_42},
doi = {10.1007/3-540-60029-9\_42},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/GomesS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-03 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
