Corina Cîrstea

Orcid: 0000-0003-3165-5678

According to our database1, Corina Cîrstea authored at least 49 papers between 1997 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A fairness-based refinement strategy to transform liveness properties in Event-B models.
Sci. Comput. Program., 2023

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

Measure-Theoretic Semantics for Quantitative Parity Automata.
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2021
Different Forms of Responsibility in Multiagent Systems: Sociotechnical Characteristics and Requirements.
IEEE Internet Comput., 2021

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020
Formalizing hierarchical scheduling for refinement of real-time systems.
Sci. Comput. Program., 2020

Trace semantics and refinement patterns for real-time properties in event-B models.
Sci. Comput. Program., 2020

Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019
Resource-Aware Automata and Games for Optimal Synthesis.
Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Model Checking Human-Agent Collectives for Responsible AI.
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.
Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Refinement of Timing Constraints for Concurrent Tasks with Scheduling.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
From Branching to Linear Time, Coalgebraically.
Fundam. Informaticae, 2017

Parity Automata for Quantitative Linear Time Logics.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
A Coalgebraic Approach to Quantitative Linear Time Logics.
CoRR, 2016

Lattice-theoretic progress measures and coalgebraic model checking.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

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

Canonical Coalgebraic Linear Time Logics.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014
A Coalgebraic Approach to Linear-Time Logics.
Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013
Building Traceable Event-B Models from Requirements.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2011
Maximal traces and path-based coalgebraic temporal logics.
Theor. Comput. Sci., 2011

EXPTIME Tableaux for the Coalgebraic mu-Calculus
Log. Methods Comput. Sci., 2011

Modal Logics are Coalgebraic.
Comput. J., 2011

Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

2009
EXPTIME Tableaux for the Coalgebraic <i>µ</i>-Calculus.
Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008
Modular Games for Coalgebraic Fixed Point Logics.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

2007
Modular construction of complete coalgebraic logics.
Theor. Comput. Sci., 2007

Coalgebraic Epistemic Update Without Change of Model.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
An institution of modal logics for coalgebras.
J. Log. Algebraic Methods Program., 2006

A modular approach to defining and characterising notions of simulation.
Inf. Comput., 2006

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

Nonlinear problems with boundary blow-up: a Karamata regular variation theory approach.
Asymptot. Anal., 2006

2005
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition.
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005

2004
A compositional approach to defining logics for coalgebras.
Theor. Comput. Sci., 2004

On Logics for Coalgebraic Simulation.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Modular Construction of Modal Logics.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
On Expressivity and Compositionality in Logics for Coalgebras.
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2002
A coalgebraic equational approach to specifying observational structures.
Theor. Comput. Sci., 2002

Institutionalizing Coalgebraic Modal Logic.
Proceedings of the Coalgebraic Methods in Computer Science, 2002

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Semantic constructions for the specification of objects.
Theor. Comput. Sci., 2001

Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems.
RAIRO Theor. Informatics Appl., 2001

2000
An Algebra-Coalgebra Framework for System Specification.
Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999
A Coequational Approach to Specifying Behaviours.
Proceedings of the Coalgebraic Methods in Computer Science, 1999

1998
Semantic Constructions for Hidden Algebra.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

1997
Coalgebra semantics for hidden algebra: Parameterised objects an inheritance.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997


  Loading...