Corina Cîrstea

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 21

Top Topics

Top Venues

Sci. Comput. Program.

Publications

Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau
Actual Trust in Multiagent Systems. AAMAS (2024)
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS (2024)
Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau
Formal Specification of Actual Trust in Multiagent Systems. HHAI (2024)
Corina Cîrstea
Linear-time logics - a coalgebraic perspective. Log. Methods Comput. Sci. 20 (2) (2024)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
A fairness-based refinement strategy to transform liveness properties in Event-B models. Sci. Comput. Program. 225 (2023)
Corina Cîrstea, Clemens Kupke
Measure-Theoretic Semantics for Quantitative Parity Automata. CSL (2023)
Matthew Pugh, Jo Grundy, Corina Cîrstea, Nick Harris
Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm. CoRR (2023)
Vahid Yazdanpanah, Enrico H. Gerding, Sebastian Stein, Corina Cîrstea, m. c. schraefel, Timothy J. Norman, Nicholas R. Jennings
Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements. IEEE Internet Comput. 25 (6) (2021)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. TASE (2021)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. TASE (2020)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Formalizing hierarchical scheduling for refinement of real-time systems. Sci. Comput. Program. 189 (2020)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Trace semantics and refinement patterns for real-time properties in event-B models. Sci. Comput. Program. 197 (2020)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. TASE (2019)
Dhaminda B. Abeywickrama, Corina Cîrstea, Sarvapali D. Ramchurn
Model Checking Human-Agent Collectives for Responsible AI. RO-MAN (2019)
Corina Cîrstea
Resource-Aware Automata and Games for Optimal Synthesis. GandALF (2019)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Semantics of Real-Time Trigger-Response Properties in Event-B. TASE (2018)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. ABZ (2018)
Corina Cîrstea
From Branching to Linear Time, Coalgebraically. Fundam. Informaticae 150 (3-4) (2017)
Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo
Parity Automata for Quantitative Linear Time Logics. CALCO (2017)
Corina Cîrstea
A Coalgebraic Approach to Quantitative Linear Time Logics. CoRR (2016)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
Lattice-theoretic progress measures and coalgebraic model checking. POPL (2016)
Eman H. Alkhammash, Michael J. Butler, Asieh Salehi Fathabadi, Corina Cîrstea
Building traceable Event-B models from requirements. Sci. Comput. Program. 111 (2015)
Corina Cîrstea
Canonical Coalgebraic Linear Time Logics. CALCO (2015)
Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea
Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices). CoRR (2015)
Corina Cîrstea
A Coalgebraic Approach to Linear-Time Logics. FoSSaCS (2014)
Corina Cîrstea
From Branching to Linear Time, Coalgebraically. FICS (2013)
Eman H. Alkhammash, Asieh Salehi Fathabadi, Michael J. Butler, Corina Cîrstea
Building Traceable Event-B Models from Requirements. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Corina Cîrstea
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. CALCO (2011)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. Comput. J. 54 (1) (2011)
Corina Cîrstea
Maximal traces and path-based coalgebraic temporal logics. Theor. Comput. Sci. 412 (38) (2011)
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
EXPTIME Tableaux for the Coalgebraic mu-Calculus Log. Methods Comput. Sci. 7 (3) (2011)
Corina Cîrstea
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics. CMCS (2010)
Corina Cîrstea, Clemens Kupke, Dirk Pattinson
-Calculus. CSL (2009)
Corina Cîrstea, Mehrnoosh Sadrzadeh
Modular Games for Coalgebraic Fixed Point Logics. CMCS (2008)
Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Modal Logics are Coalgebraic. BCS Int. Acad. Conf. (2008)
Corina Cîrstea, Dirk Pattinson
Modular construction of complete coalgebraic logics. Theor. Comput. Sci. 388 (1-3) (2007)
Corina Cîrstea, Mehrnoosh Sadrzadeh
Coalgebraic Epistemic Update Without Change of Model. CALCO (2007)
Corina Cîrstea
An institution of modal logics for coalgebras. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Corina Cîrstea
A modular approach to defining and characterising notions of simulation. Inf. Comput. 204 (4) (2006)
Corina Cîrstea, Vicentiu D. Radulescu
Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach. Asymptot. Anal. 46 (3-4) (2006)
Corina Cîrstea
Modularity in Coalgebra. CMCS (2006)
Jingtao Yang, Corina Cîrstea, Peter Henderson
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition. OTM Workshops (2005)
Jingtao Yang, Corina Cîrstea, Peter Henderson
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination. QSIC (2005)
Corina Cîrstea, Dirk Pattinson
Modular Construction of Modal Logics. CONCUR (2004)
Corina Cîrstea
On Logics for Coalgebraic Simulation. CMCS (2004)
Corina Cîrstea
A compositional approach to defining logics for coalgebras. Theor. Comput. Sci. 327 (1-2) (2004)
Corina Cîrstea
On Expressivity and Compositionality in Logics for Coalgebras. CMCS (2003)
Corina Cîrstea
Institutionalizing Coalgebraic Modal Logic. CMCS (2002)
Corina Cîrstea
A coalgebraic equational approach to specifying observational structures. Theor. Comput. Sci. 280 (1-2) (2002)
Corina Cîrstea
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability. FoSSaCS (2002)
Corina Cîrstea
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems. RAIRO Theor. Informatics Appl. 35 (1) (2001)
Corina Cîrstea
Semantic constructions for the specification of objects. Theor. Comput. Sci. 260 (1-2) (2001)
Corina Cîrstea
An Algebra-Coalgebra Framework for System Specification. CMCS (2000)
Corina Cîrstea
A Coequational Approach to Specifying Behaviours. CMCS (1999)
Corina Cîrstea
Semantic Constructions for Hidden Algebra. WADT (1998)
Corina Cîrstea
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance. WADT (1997)