Hjem
Crystal Chang Dins bilde

Crystal Chang Din

Førsteamanuensis
  • E-postCrystal.Din@uib.no
  • Telefon+47 944 83 808
  • Besøksadresse
    HIB - Thormøhlens gate 55
  • Postadresse
    Postboks 7803
    5020 Bergen

Forskningsområdene mine er formelle metoder, programvareverifisering, og didaktikk.

Jeg er medlem av ECOOP 2021 Artifact Evaluation Committee og UDIT 2021 Program Committee.

 

INF113 Innføring i operativsystem

Vitenskapelig artikkel
  • Vis forfatter(e) 2020. Behavioral Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS). 85-121.
  • Vis forfatter(e) 2019. Translating active objects into colored Petri nets for communication analysis. Science of Computer Programming. 1-26.
  • Vis forfatter(e) 2019. Geological Multi-scenario Reasoning. NIKT: Norsk IKT-konferanse for forskning og utdanning. 12 sider.
  • Vis forfatter(e) 2019. Asynchronous Cooperative Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS). 48-66.
  • Vis forfatter(e) 2018. Program Verification for Exception Handling on Active Objects Using Futures. Lecture Notes in Computer Science (LNCS). 73-88.
  • Vis forfatter(e) 2018. A modular reasoning system using uninterpreted predicates for code reuse. Journal of Logical and Algebraic Methods in Programming. 82-102.
  • Vis forfatter(e) 2017. Translating Active Objects into Colored Petri Nets for Communication Analysis. Lecture Notes in Computer Science (LNCS). 84-99.
  • Vis forfatter(e) 2017. Locally abstract, globally concrete semantics of concurrent programming languages. Lecture Notes in Computer Science (LNCS). 22-43.
  • Vis forfatter(e) 2017. A Survey of Active Object Languages. ACM Computing Surveys. 39 sider.
  • Vis forfatter(e) 2016. Session-based compositional analysis for actor-based languages using futures. Lecture Notes in Computer Science (LNCS). 296-312.
  • Vis forfatter(e) 2015. History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. Lecture Notes in Computer Science (LNCS). 217-233.
  • Vis forfatter(e) 2015. Compositional reasoning about active objects with shared futures. Formal Aspects of Computing. 551-572.
  • Vis forfatter(e) 2014. A sound and complete reasoning system for asynchronous communication with shared futures. Journal of Logic and Algebraic Programming. 360-383.
  • Vis forfatter(e) 2012. Observable behavior of distributed systems: Component reasoning for concurrent objects. Journal of Logic and Algebraic Programming. 227-256.
  • Vis forfatter(e) 2012. Compositional Reasoning about Shared Futures. Lecture Notes in Computer Science (LNCS). 94-108.
  • Vis forfatter(e) 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.
Vitenskapelig foredrag
  • Vis forfatter(e) 2015. KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS.
  • Vis forfatter(e) 2015. A Dynamic Logic with Traces and Coinduction.
  • Vis forfatter(e) 2013. Comparison of Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. In proceedings of NWPT'13.
  • Vis forfatter(e) 2010. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects.
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
  • Vis forfatter(e) 2020. Consistency-Preserving Evolution Planning on Feature Models. 12 sider.
  • Vis forfatter(e) 2014. Runtime Assertion Checking and Theorem Proving for Concurrent and Distributed Systems. 8 sider.
  • Vis forfatter(e) 2013. A comparison of runtime assertion checking and theorem proving forconcurrent and distributed systems. 3 sider.
  • Vis forfatter(e) 2012. Soundness of a Reasoning System for Asynchronous Communication with Futures. 3 sider.
  • Vis forfatter(e) 2010. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 2 sider.
  • Vis forfatter(e) 2010. Observable Behavior of Dynamic Systems: Component Reasoning for Concurrenct Objects. 2 sider.

Se fullstendig oversikt over publikasjoner i CRIStin.