DICT audits use of 'unlicensed' computer software in gov't

by Magkilat, Bernie Cahiles
Published in Manila Bulletin (2021)

USTR clears PH from use of unlicensed software

by Magkilat, Bernie Cahiles
Published in Manila Bulletin (2021)

Platform and collective intelligence digital ecosystem of organizations

Published 2021

Technical debt in practice how to find it and fix it

by Ernst, Neil, Kazman, Rick, Delange, Julien
Published 2021

Asynchronous circuit applications

Published 2019

Many-core computing hardware and software

Published 2019

SysML for systems engineering a model-based approach

by Holt, Jon, Perry, Simon
Published 2018

Quality software through reuse and integration

Published 2018

Software engineering research, management and applications

Published 2018

Embedded system design embedded systems, foundations of cyber-physical systems, and the Internet of Things

by Marwedel, Peter
Published 2018

Formal system verification state-of-the-art and future trends

Published 2018

Languages, design methods, and tools for electronic system design selected contributions from FDL 2016

Published 2018

The hardware Trojan war attacks, myths, and defenses

Published 2018

Automated validation & verification of UML/OCL models using satisfiability solvers

by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published 2018

Safety-critical electrical drives topologies, reliability, performance

by Bolvashenkov, Igor, Herzog, Hans-Georg, Frenkel, Ilia, Khvatskin, Lev, Lisnianski, Anatoly
Published 2018

Trends and applications in software engineering proceedings of CIMPS 2016

Published 2017

Trends in software testing

Published 2017

Proceedings of the 2015 Federated Conference on Software Development and Object Technologies

Published 2017

Embedded software verification and debugging

Published 2017

Formal verification of Simulink/Stateflow diagrams a deductive approach

by Zhan, Naijun, Wang, Shuling, Zhao, Hengjun
Published 2017