| A survey of active object languages FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017 | 88 | 2017 |
| KeY-ABS: A deductive verification tool for the concurrent modelling language ABS CC Din, R Bubel, R Hähnle International Conference on Automated Deduction, 517-526, 2015 | 63 | 2015 |
| Observable behavior of distributed systems: Component reasoning for concurrent objects CC Din, J Dovland, EB Johnsen, O Owe The Journal of Logic and Algebraic Programming 81 (3), 227-256, 2012 | 45 | 2012 |
| Compositional reasoning about active objects with shared futures CC Din, O Owe Formal Aspects of Computing 27 (3), 551-572, 2015 | 36 | 2015 |
| A sound and complete reasoning system for asynchronous communication with shared futures CC Din, O Owe Journal of Logical and Algebraic Methods in Programming 83 (5-6), 360-383, 2014 | 28 | 2014 |
| History-based specification and verification of scalable concurrent and distributed systems CC Din, SL Tapia Tarifa, R Hähnle, EB Johnsen International Conference on Formal Engineering Methods, 217-233, 2015 | 25 | 2015 |
| Compositional reasoning about shared futures CC Din, J Dovland, O Owe International Conference on Software Engineering and Formal Methods, 94-108, 2012 | 17 | 2012 |
| Session-based compositional analysis for actor-based languages using futures E Kamburjan, CC Din, TC Chen International Conference on Formal Engineering Methods, 296-312, 2016 | 15 | 2016 |
| Locally abstract, globally concrete semantics of concurrent programming languages CC Din, R Hähnle, EB Johnsen, KI Pun, SL Tapia Tarifa International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 14 | 2017 |
| A dynamic logic with traces and coinduction R Bubel, CC Din, R Hähnle, K Nakata International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 8 | 2015 |
| Runtime assertion checking and theorem proving for concurrent and distributed systems CC Din, O Owe, R Bubel 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 8 | 2014 |
| An approach to compositional reasoning about concurrent objects and futures CC Din, J Dovland, O Owe Research report http://urn. nb. no/URN: NBN: no-35645, 2012 | 8 | 2012 |
| Translating active objects into colored petri nets for communication analysis A Gkolfi, CC Din, EB Johnsen, LM Kristensen, M Steffen, IC Yu Science of Computer Programming 181, 1-26, 2019 | 7 | 2019 |
| A modular reasoning system using uninterpreted predicates for code reuse CC Din, EB Johnsen, O Owe, IC Yu Journal of logical and algebraic methods in programming 95, 82-102, 2018 | 7 | 2018 |
| Consistency-preserving evolution planning on feature models A Hoff, M Nieke, C Seidl, EH Sæther, IS Motzfeldt, CC Din, IC Yu, ... Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020 | 5 | 2020 |
| Geological multi-scenario reasoning CC Din, LH Karlsen, I Pene, O Stahl, IC Yu, T Østerlie NIK: Norsk Informatikkonferanse, 2019 | 5 | 2019 |
| Verification Of Asynchronously Communicating Objects CC Din | 5 | 2014 |
| Asynchronous cooperative contracts for cooperative scheduling E Kamburjan, CC Din, R Hähnle, EB Johnsen International Conference on Software Engineering and Formal Methods, 48-66, 2019 | 4 | 2019 |
| Verification of variable software: an experience report R Bubel, C Din, R Hähnle Formal Verification of Object-Oriented Software, 220, 2010 | 4 | 2010 |
| Compositional and sound seasoning about active objects with shared futures CC Din, O Owe Research report http://urn. nb. no/URN: NBN: no-35645, 2014 | 3 | 2014 |
