E-LIB Suche - Ergebnisse für: Cirstea, Corina

1

A fairness-based refinement strategy to transform liveness ..:

Zhu, Chenyang ; Butler, Michael ; Cirstea, Corina.
Science of Computer Programming. 225 (2023) - p. 102907 , 2023

Link: https://doi.org/10.1016/..

2

Different Forms of Responsibility in Multiagent Systems: So..:

Yazdanpanah, Vahid ; Gerding, Enrico H. ; Stein, Sebastian...
IEEE Internet Computing. 25 (2021) 6 - p. 15-22 , 2021

Link: https://doi.org/10.1109/..

3

Formalizing hierarchical scheduling for refinement of real-..:

Zhu, Chenyang ; Butler, Michael ; Cirstea, Corina
Science of Computer Programming. 189 (2020) - p. 102390 , 2020

Link: https://doi.org/10.1016/..

4

Trace semantics and refinement patterns for real-time prope..:

Zhu, Chenyang ; Butler, Michael ; Cirstea, Corina
Science of Computer Programming. 197 (2020) - p. 102513 , 2020

Link: https://doi.org/10.1016/..

5

Towards Refinement Semantics of Real-Time Trigger-Response ..:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),

Zhu, Chenyang ; Butler, Michael ; Cirstea, Corina - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

6

Model Checking Human-Agent Collectives for Responsible AI:

, In: 2019 28th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN),

Abeywickrama, Dhaminda B. ; Cirstea, Corina ; Ramchurn, Sarvapali D. - p. 1-8 , 2019

Link: https://doi.org/10.1109/..

7

Coalgebraic Methods in Computer Science

14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocat... Theoretical Computer Science and General Issues ; 11202;SpringerLink, Bücher

Cîrstea, Corina , 2018

Link: https://doi.org/10.1007/..

8

Lattice-theoretic progress measures and coalgebraic model c..:

Hasuo, Ichiro ; Shimizu, Shunsuke ; Cîrstea, Corina
ACM SIGPLAN Notices. 51 (2016) 1 - p. 718-732 , 2016

Link: https://doi.org/10.1145/..

9

Lattice-theoretic progress measures and coalgebraic model c..:

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

Hasuo, Ichiro ; Shimizu, Shunsuke ; Cîrstea, Corina - p. 718-732 , 2016

Link: https://dl.acm.org/doi/1..

10

Building traceable Event-B models from requirements:

Alkhammash, Eman ; Butler, Michael ; Fathabadi, Asieh Salehi.
Science of Computer Programming. 111 (2015) - p. 318-338 , 2015

Link: https://doi.org/10.1016/..

11

Algebra and coalgebra in computer science

4th international conference, CALCO 2011, Winchester, UK, A... Lecture notes in computer science ; 6859

Corradini, Andrea ; Klin, Bartek ; Cîrstea, Corina , 2011

Link: http://dx.doi.org/10.100..

12

Maximal traces and path-based coalgebraic temporal logics:

Cîrstea, Corina
Theoretical Computer Science. 412 (2011) 38 - p. 5025-5042 , 2011

Link: https://doi.org/10.1016/..

13

Generic Infinite Traces and Path-Based Coalgebraic Temporal..:

Cîrstea, Corina
Electronic Notes in Theoretical Computer Science. 264 (2010) 2 - p. 83-103 , 2010

Link: https://doi.org/10.1016/..

14

Modular Games for Coalgebraic Fixed Point Logics:

Cîrstea, Corina ; Sadrzadeh, Mehrnoosh
Electronic Notes in Theoretical Computer Science. 203 (2008) 5 - p. 71-92 , 2008

Link: https://doi.org/10.1016/..

15

Modular construction of complete coalgebraic logics:

Cǐrstea, Corina ; Pattinson, Dirk
Theoretical Computer Science. 388 (2007) 1-3 - p. 83-108 , 2007

Link: https://doi.org/10.1016/..