Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Filipe Moutinho
@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}
}
@article{DBLP:journals/corr/abs-2309-01751,
author = {Afonso Oliveira and
Jo{\~{a}}o Pedro Matos{-}Carvalho and
Filipe Moutinho and
Nuno Fachada},
title = {Multispectral Indices for Wildfire Management},
journal = {CoRR},
volume = {abs/2309.01751},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01751},
doi = {10.48550/ARXIV.2309.01751},
eprinttype = {arXiv},
eprint = {2309.01751},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/SulemaneMPMC22,
author = {Shazia Sulemane and
Jo{\~{a}}o Pedro Matos{-}Carvalho and
D{\'{a}}rio Pedro and
Filipe Moutinho and
S{\'{e}}rgio D. Correia},
title = {Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral
Images},
journal = {Algorithms},
volume = {15},
number = {12},
pages = {440},
year = {2022},
url = {https://doi.org/10.3390/a15120440},
doi = {10.3390/A15120440},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/SulemaneMPMC22.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/icphys/AdelinoCMM22,
author = {Gon{\c{c}}alo Adelino and
Rog{\'{e}}rio Campos{-}Rebelo and
Filipe Moutinho and
Pedro Mal{\'{o}}},
title = {Management platform for data translators supported by semantic annotations},
booktitle = {5th {IEEE} International Conference on Industrial Cyber-Physical Systems,
{ICPS} 2022, Coventry, United Kingdom, May 24-26, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICPS51978.2022.9816969},
doi = {10.1109/ICPS51978.2022.9816969},
timestamp = {Mon, 06 Nov 2023 13:38:03 +0100},
biburl = {https://dblp.org/rec/conf/icphys/AdelinoCMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AlmeidaMM21,
author = {Tom{\'{a}}s Almeida and
Filipe Moutinho and
Jo{\~{a}}o Pedro Matos{-}Carvalho},
title = {Fabric Defect Detection With Deep Learning and False Negative Reduction},
journal = {{IEEE} Access},
volume = {9},
pages = {81936--81945},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3086028},
doi = {10.1109/ACCESS.2021.3086028},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AlmeidaMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/VongMTPAMGM21,
author = {Andr{\'{e}} Vong and
Jo{\~{a}}o Pedro Matos{-}Carvalho and
Piero Toffanin and
D{\'{a}}rio Pedro and
F{\'{a}}bio Azevedo and
Filipe Moutinho and
Nuno Cruz Garcia and
Andr{\'{e}} Mora},
title = {How to Build a 2D and 3D Aerial Multispectral Map? - All Steps Deeply
Explained},
journal = {Remote. Sens.},
volume = {13},
number = {16},
pages = {3227},
year = {2021},
url = {https://doi.org/10.3390/rs13163227},
doi = {10.3390/RS13163227},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/VongMTPAMGM21.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/remotesensing/Matos-CarvalhoM19,
author = {Jo{\~{a}}o Pedro Matos{-}Carvalho and
Filipe Moutinho and
Ana Beatriz Salvado and
Tiago Carrasqueira and
Rog{\'{e}}rio Campos{-}Rebelo and
D{\'{a}}rio Pedro and
Lu{\'{\i}}s Miguel Campos and
Jos{\'{e}} Manuel Fonseca and
Andr{\'{e}} Mora},
title = {Static and Dynamic Algorithms for Terrain Classification in {UAV}
Aerial Imagery},
journal = {Remote. Sens.},
volume = {11},
number = {21},
pages = {2501},
year = {2019},
url = {https://doi.org/10.3390/rs11212501},
doi = {10.3390/RS11212501},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/Matos-CarvalhoM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/AlmeidaMC19,
author = {Jo{\~{a}}o Almeida and
Filipe Moutinho and
Rog{\'{e}}rio Campos{-}Rebelo},
title = {Asynchronous Interfaces for IOPT-Flow to Support {GALS} Systems},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {3051--3056},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8926790},
doi = {10.1109/IECON.2019.8926790},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/AlmeidaMC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/Campos-RebeloMP19,
author = {Rog{\'{e}}rio Campos{-}Rebelo and
Filipe Moutinho and
Luis Paiva and
Pedro Mal{\'{o}}},
title = {Annotation Rules for {XML} Schemas with Grouped Semantic Annotations},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {5469--5474},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927005},
doi = {10.1109/IECON.2019.8927005},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/Campos-RebeloMP19.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/iecon/GomesCM19,
author = {Daniel Gomes and
Rog{\'{e}}rio Campos{-}Rebelo and
Filipe Moutinho},
title = {Web-based Editor for Signal Interpretation Models},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {5892--5897},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927437},
doi = {10.1109/IECON.2019.8927437},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/GomesCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/MoutinhoPKM18,
author = {Filipe Moutinho and
Luis Paiva and
Julius K{\"{o}}pke and
Pedro Mal{\'{o}}},
title = {Extended Semantic Annotations for Generating Translators in the Arrowhead
Framework},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {14},
number = {6},
pages = {2760--2769},
year = {2018},
url = {https://doi.org/10.1109/TII.2017.2780887},
doi = {10.1109/TII.2017.2780887},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/MoutinhoPKM18.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/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 = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iecon/MoutinhoPM016.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/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/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}
}
@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/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/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/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/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/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 = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/iecon/Moutinho012.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/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/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/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}
}
@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/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}
}
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-25 02:44 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:
