Universidad de Cantabria — Spain
Computer Science · Physical Sciences
13h-index600citations60works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(34), Software Testing and Debugging Techniques(27), Software Reliability and Analysis Research(20), Petri Nets in System Modeling(13), Logic, programming, and type systems(11)
Publications60 total
Communications in computer and information science·2016· 5 cited
An approach to static-dynamic software security analysis
2015
Lecture notes in computer science·2015· 2 cited
IoT: The internet of threats and static program analysis defense
2015· 11 cited
Science of Computer Programming·2014· 4 cited
2013· 8 citedOpen Access
Lecture notes in computer science·2013· 4 cited
2013· 3 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2012· 3 citedOpen Access
Electronic Notes in Theoretical Computer Science·2012· 10 citedOpen Access
Electronic Proceedings in Theoretical Computer Science·2012Open Access
Electronic Proceedings in Theoretical Computer Science·2012· 1 citedOpen Access
Innovations in Systems and Software Engineering·2012· 14 cited
GoannaSMT – A Static Analyzer with SMT-based Refinement [Abstract]
2012
FEBS Letters·2012· 2 cited
Lecture notes in computer science·2012· 36 cited
Goanna static analysis at the NIST static analysis tool exposition
2011· 1 cited
2011· 4 cited
2011· 1 cited
page 1 of 3Next →
Frequent Co-authors
Ansgar Fehnker(18), Ben Lukoschus(13), Sebastian Engell(10), Yassine Lakhnech(7), Bastian Schlich(6), Nanette Bauer(5), Sean Seefried(5), Gerwin Klein(4), Mark Bradley(4), Franck Cassez(4), Stefan Kowalewski(4), Luis Urbina(4), Olaf Stursberg(3), Felix Rauch(3), Goran Frehse(3), Jörg Preußig(3), Sébastien Bornot(2), Patrick Jayet(2), Michel Lussenburg(2), Jörg Bräuer(2)