David Pereira
发表
David Pereira,
2002
.
Geoffrey Nelissen,
Luís Miguel Pinho,
David Pereira,
2015,
Ada-Europe.
David Pereira,
António Câmara,
Alexandra Fonseca,
1987
.
Nelma Moreira,
Eugénio C. Oliveira,
David Pereira,
2008,
CLIMA.
Geoffrey Nelissen,
David Pereira,
Luis Miguel Pinho,
2015
.
Nelma Moreira,
David Pereira,
Simão Melo de Sousa,
2015,
J. Log. Algebraic Methods Program..
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2015,
RV.
Geoffrey Nelissen,
David Pereira,
Rahul Purandare,
2016,
RTSS 2016.
John Aycock,
David Pereira,
2002
.
Marcus Lindner,
Andreas Lindner,
Emil Fresk,
2016,
SIGBED.
Nelma Moreira,
David Pereira,
Simão Melo de Sousa,
2013
.
Luis Miguel Pinho,
Jorge Sousa Pinto,
David Pereira,
2015
.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2014,
Ada-Europe.
Per Lindgren,
Marcus Lindner,
Luís Miguel Pinho,
2015,
2015 IEEE Trustcom/BigDataSE/ISPA.
Eduardo Tovar,
Leandro Buss Becker,
David Pereira,
2017,
2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC).
Luis Miguel Pinho,
David Pereira,
André de Matos Pedro,
2013
.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2014,
NASA Formal Methods.
John Aycock,
David Pereira,
John Aycock,
2002
.
Per Lindgren,
Marcus Lindner,
Luís Miguel Pinho,
2016,
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).
David Pereira,
António Câmara,
João Joanaz de Melo,
1987
.
Eduardo Tovar,
Geoffrey Nelissen,
David Pereira,
2016,
RTAS 2016.
Per Lindgren,
Marcus Lindner,
Andreas Lindner,
2017,
IEEE Transactions on Industrial Informatics.
Valeriy Vyatkin,
Alois Zoitl,
Per Lindgren,
2016,
2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).
Nelma Moreira,
David Pereira,
Simão Melo de Sousa,
2012,
RAMiCS.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2017,
SIGBED.
Leonel Sousa,
Aleksandar Ilic,
David Pereira,
2017,
PARMA-DITAM '17.
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2015,
SIGBED.
Eduardo Tovar,
Geoffrey Nelissen,
David Pereira,
2016,
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Luis Miguel Pinho,
Jorge Sousa Pinto,
David Pereira,
2012
.
Inês Lynce,
Steven David Prestwich,
David Pereira,
2009,
LSCS.
Per Lindgren,
Marcus Lindner,
Andreas Lindner,
2015,
2015 IEEE 13th International Conference on Industrial Informatics (INDIN).
João F. Ferreira,
Alexandra Mendes,
David Pereira,
2020,
2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).
Geoffrey Nelissen,
David Pereira,
Luis Miguel Pinho,
2015
.
Geoffrey Nelissen,
David Pereira,
Luis Miguel Pinho,
2015
.
Design and Implementation of Secret Key Agreement for Platoon-based Vehicular Cyber-physical Systems
Eduardo Tovar,
Wei Ni,
Kai Li,
2019,
ACM Trans. Cyber Phys. Syst..
Per Lindgren,
Marcus Lindner,
Andreas Lindner,
2015,
2015 IEEE 13th International Conference on Industrial Informatics (INDIN).
Per Lindgren,
Marcus Lindner,
Luís Miguel Pinho,
2016,
2016 IEEE 14th International Conference on Industrial Informatics (INDIN).
Hakim Maalioune,
David Pereira,
2008
.
Valeriy Vyatkin,
Per Lindgren,
Marcus Lindner,
2015,
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).
Marcus Lindner,
Johan Eriksson,
Luis Miguel Pinho,
2014
.
Nelma Moreira,
David Pereira,
José Bacelar Almeida,
2010,
CIAA.
David Pereira,
António Câmara,
1988
.
Nelma Moreira,
David Pereira,
Nelma Moreira,
2008,
Comput. Sci. Inf. Syst..
Jorge Sousa Pinto,
Luís Miguel Pinho,
David Pereira,
2017,
International Journal on Software Tools for Technology Transfer.