Corina Cîrstea

According to our database, Corina Cîrstea authored at least 53 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Linear-time logics - a coalgebraic perspective.

Corina Cîrstea

Log. Methods Comput. Sci., 2024

Formal Specification of Actual Trust in Multiagent Systems.

Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau

Proceedings of the HHAI 2024: Hybrid Human AI Systems for the Social Good, 2024

Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.

Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Actual Trust in Multiagent Systems.

Michael Akintunde, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Corina Cîrstea, Mehdi Dastani, Luc Moreau

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

A fairness-based refinement strategy to transform liveness properties in Event-B models.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang

Sci. Comput. Program., 2023

Using Enriched Category Theory to Construct the Nearest Neighbour Classification Algorithm.

Matthew Pugh, Jo Grundy, Corina Cîrstea, Nick Harris

CoRR, 2023

Measure-Theoretic Semantics for Quantitative Parity Automata.

Corina Cîrstea, Clemens Kupke

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2021

Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements.

Vahid Yazdanpanah, Enrico H. Gerding, Sebastian Stein, Corina Cîrstea, m. c. schraefel, Timothy J. Norman, Nicholas R. Jennings

IEEE Internet Comput., 2021

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020

Formalizing hierarchical scheduling for refinement of real-time systems.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Sci. Comput. Program., 2020

Trace semantics and refinement patterns for real-time properties in event-B models.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Sci. Comput. Program., 2020

Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

Resource-Aware Automata and Games for Optimal Synthesis.

Corina Cîrstea

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Model Checking Human-Agent Collectives for Responsible AI.

Dhaminda B. Abeywickrama, Corina Cîrstea, Sarvapali D. Ramchurn

Proceedings of the 28th IEEE International Conference on Robot and Human Interactive Communication, 2019

2018

Semantics of Real-Time Trigger-Response Properties in Event-B.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Refinement of Timing Constraints for Concurrent Tasks with Scheduling.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

From Branching to Linear Time, Coalgebraically.

Corina Cîrstea

Fundam. Informaticae, 2017

Parity Automata for Quantitative Linear Time Logics.

Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

A Coalgebraic Approach to Quantitative Linear Time Logics.

Corina Cîrstea

CoRR, 2016

Lattice-theoretic progress measures and coalgebraic model checking.

Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

2015

Building traceable Event-B models from requirements.

Eman H. Alkhammash, Michael J. Butler, Asieh Salehi Fathabadi, Corina Cîrstea

Sci. Comput. Program., 2015

Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices).

Ichiro Hasuo, Shunsuke Shimizu, Corina Cîrstea

CoRR, 2015

Canonical Coalgebraic Linear Time Logics.

Corina Cîrstea

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

A Coalgebraic Approach to Linear-Time Logics.

Corina Cîrstea

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2011

Maximal traces and path-based coalgebraic temporal logics.

Corina Cîrstea

Theor. Comput. Sci., 2011

EXPTIME Tableaux for the Coalgebraic mu-Calculus

Corina Cîrstea, Clemens Kupke, Dirk Pattinson

Log. Methods Comput. Sci., 2011

Modal Logics are Coalgebraic.

Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema

Comput. J., 2011

Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach.

Corina Cîrstea

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.

Corina Cîrstea

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

2009

EXPTIME Tableaux for the Coalgebraic <i>µ</i>-Calculus.

Corina Cîrstea, Clemens Kupke, Dirk Pattinson

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Modular Games for Coalgebraic Fixed Point Logics.

Corina Cîrstea, Mehrnoosh Sadrzadeh

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

2007

Modular construction of complete coalgebraic logics.

Corina Cîrstea, Dirk Pattinson

Theor. Comput. Sci., 2007

Coalgebraic Epistemic Update Without Change of Model.

Corina Cîrstea, Mehrnoosh Sadrzadeh

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

An institution of modal logics for coalgebras.

Corina Cîrstea

J. Log. Algebraic Methods Program., 2006

A modular approach to defining and characterising notions of simulation.

Corina Cîrstea

Inf. Comput., 2006

Modularity in Coalgebra.

Corina Cîrstea

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006

Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach.

Corina Cîrstea, Vicentiu D. Radulescu

Asymptot. Anal., 2006

2005

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.

Jingtao Yang, Corina Cîrstea, Peter Henderson

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition.

Jingtao Yang, Corina Cîrstea, Peter Henderson

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

2004

A compositional approach to defining logics for coalgebras.

Corina Cîrstea

Theor. Comput. Sci., 2004

On Logics for Coalgebraic Simulation.

Corina Cîrstea

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Modular Construction of Modal Logics.

Corina Cîrstea, Dirk Pattinson

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

On Expressivity and Compositionality in Logics for Coalgebras.

Corina Cîrstea

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002

A coalgebraic equational approach to specifying observational structures.

Corina Cîrstea

Theor. Comput. Sci., 2002

Institutionalizing Coalgebraic Modal Logic.

Corina Cîrstea

Proceedings of the Coalgebraic Methods in Computer Science, 2002

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability.

Corina Cîrstea

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

Semantic constructions for the specification of objects.

Corina Cîrstea

Theor. Comput. Sci., 2001

Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems.

Corina Cîrstea

RAIRO Theor. Informatics Appl., 2001

2000

An Algebra-Coalgebra Framework for System Specification.

Corina Cîrstea

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999

A Coequational Approach to Specifying Behaviours.

Corina Cîrstea

Proceedings of the Coalgebraic Methods in Computer Science, 1999

1998

Semantic Constructions for Hidden Algebra.

Corina Cîrstea

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997

Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.

Corina Cîrstea

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997