dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Filipe Moutinho (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Pereira, Filipe Moutinho, Luís Gomes: A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. DoCEIS 2012: 123-132
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilipe Moutinho, Luís Gomes: Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS 2012: 143-150
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFilipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFernando Pereira, Luís Gomes, Filipe Moutinho: Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. DoCEIS 2011: 246-255
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Towards usage of formal methods within embedded systems co-design. ETFA 2005
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho: Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC 2005: 143-150

Selection of 7 from 7 records - Filipe Moutinho has 10 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page