Mladen Skelin
Orcid: 0000-0003-1232-1015
According to our database1,
Mladen Skelin
authored at least 11 papers
between 2014 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
2014
2015
2016
2017
2018
0
1
2
3
4
5
2
2
1
4
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018
Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, 2018
2017
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
Microprocess. Microsystems, 2017
Towards Component-Based (max, +) Algebraic Throughput Analysis of Hierarchical Synchronous Data Flow Models.
Proceedings of the Computer Safety, Reliability, and Security, 2017
2016
PhD thesis, 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 International Conference on Embedded Software, 2015
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015
Proceedings of the 2015 Conference on Design and Architectures for Signal and Image Processing, 2015
2014
Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs.
Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014