- E-mailCrystal.Din@uib.no
- Phone+47 944 83 808
- Visitor AddressHIB - Thormøhlensgt. 55
- Postal AddressPostboks 78035020 Bergen
My research interests lie in the areas of formal methods and software verification.
I am a member of ECOOP 2021 Artifact Evaluation Committee
INF113 Introduction to Operating Systems
Academic article
- 2020. Behavioral Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS). 85-121.
- 2019. Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming. 1-26.
- 2019. Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning. 12 pages.
- 2019. Asynchronous Cooperative Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS). 48-66.
- 2018. Program Verification for Exception Handling on Active Objects Using Futures. Lecture Notes in Computer Science (LNCS). 73-88.
- 2018. A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming. 82-102.
- 2017. Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS). 84-99.
- 2017. Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS). 22-43.
- 2017. A Survey of Active Object Languages. ACM Computing Surveys. 39 pages.
- 2016. Session-based compositional analysis for actor-based languages using futures. Lecture Notes in Computer Science (LNCS). 296-312.
- 2015. History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Lecture Notes in Computer Science (LNCS). 217-233.
- 2015. Compositional reasoning about active objects with shared futures. Formal Aspects of Computing. 551-572.
- 2014. A sound and complete reasoning system for asynchronous communication with shared futures. Journal of Logic and Algebraic Programming. 360-383.
- 2012. Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming. 227-256.
- 2012. Compositional Reasoning about Shared Futures. Lecture Notes in Computer Science (LNCS). 94-108.
- 2010. Verification of Variable Software: an Experience Report. Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France.
Academic lecture
- 2015. KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
- 2015. A Dynamic Logic with Traces and Coinduction.
- 2013. Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13.
- 2010. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects.
Academic chapter/article/Conference paper
- 2020. Consistency-Preserving Evolution Planning on Feature Models. 12 pages.
- 2014. Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. 8 pages.
- 2013. A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems. 3 pages.
- 2012. Soundness of a Reasoning System for Asynchronous Communication with Futures. 3 pages.
- 2010. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 2 pages.
- 2010. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 2 pages.
More information in national current research information system (CRIStin)