Erik Ramsgaard Wognsen
According to our database1,
Erik Ramsgaard Wognsen
authored at least 7 papers
between 2014 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
0
1
2
3
4
1
1
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Inf. Syst. Frontiers, 2016
Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016
2015
Model checking of finite-state machine-based scenario-aware dataflow using timed automata.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015
Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014