Ivo Krka
According to our database1,
Ivo Krka
authored at least 22 papers
between 2008 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
0
1
2
3
4
5
1
1
1
1
1
1
3
3
3
3
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the 26th International Conference on World Wide Web, 2017
2016
Proceedings of the Ninth ACM International Conference on Web Search and Data Mining, 2016
2015
2014
IEEE Trans. Serv. Comput., 2014
Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014
Proceedings of the FM 2014: Formal Methods, 2014
2013
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013
Proceedings of the 35th International Conference on Software Engineering, 2013
How software architects collaborate: Insights from collaborative software design in practice.
Proceedings of the 6th International Workshop on Cooperative and Human Aspects of Software Engineering, 2013
2012
Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
2011
Computer, 2011
2010
From requirements to partial behavior models: an iterative approach to incremental specification refinement.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010
Using dynamic execution traces and program invariants to enhance behavioral model inference.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2008
A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation.
Proceedings of the Architecting Dependable Systems VI, 2008