Jan Malburg

According to our database1, Jan Malburg authored at least 16 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Engineering of an Effective Automatic Dynamic Assertion Mining Platform.
Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019

Fault-Aware Performance Assessment Approach for Embedded Networks.
Proceedings of the 22nd IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2019

2018
Mining Latency Guarantees for RTL Designs.
Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

2017
Towards Making Fault Injection on Abstract Models a More Accurate Tool for Predicting RT-Level Effects.
Proceedings of the 2017 IEEE Computer Society Annual Symposium on VLSI, 2017

Property mining using dynamic dependency graphs.
Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016
Feature Localization and Design Understanding for Hardware Designs.
PhD thesis, 2016

Debugging hardware designs using dynamic dependency graphs.
Microprocess. Microsystems, 2016

Designing reliable cyber-physical systems overview associated to the special session at FDL'16.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2014
A Simulation-Based Approach for Automated Feature Localization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Search-based testing using constraint-based mutation.
Softw. Test. Verification Reliab., 2014

Mutation Based Feature Localization.
Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

Automatically connecting hardware blocks via light-weight matching techniques.
Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

2013
Tuning dynamic data flow analysis to support design understanding.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Automated Feature Localization for Hardware Designs using Coverage Metrics.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

2011
Combining search-based and constraint-based testing.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009
A Highly Scalable Rendering Framework for Arbitrary Display and Display-in-Display Configurations.
Proceedings of the 2009 International Conference on Computer Graphics & Virtual Reality, 2009


  Loading...