Carolina Dania
Affiliations:- IMDEA Software Institute, Madrid, Spain
According to our database1,
Carolina Dania
authored at least 13 papers
between 2010 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
4
5
6
1
1
1
1
1
2
3
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2019
Softw. Syst. Model., 2019
2016
OCL2MSFOL: a mapping to many-sorted first-order logic for efficiently checking the satisfiability of OCL constraints.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
2015
Proceedings of the Fundamental Approaches to Software Engineering, 2015
Proceedings of the 11th Asia-Pacific Conference on Conceptual Modelling, 2015
2014
Proceedings of the Engineering Secure Future Internet Services and Systems, 2014
IEEE Trans. Software Eng., 2014
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
2013
Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013
2011
Proceedings of the Foundations of Security Analysis and Design VI, 2011
2010
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010