Open menu
View all research projects
Research project

Modular approach to model based verification

Staff

Lead researcher

Dr Corina Cirstea

Associate Professor
Connect with Corina

Email: cc2@ecs.soton.ac.uk

Research outputs

Maximal traces and path-based coalgebraic temporal logics
Corina Cirstea, 2011, Theoretical Computer Science, 412(38), 5025-5042
DOI: 10.1016/j.tcs.2011.04.025
Type: article
Modular Games for Coalgebraic Fixed Point Logics
Corina Cirstea, Mehrnoosh Sadrzadeh, Jiri Adámek & Clemens Kupke, 2008
Type: conference
Aximo: automated axiomatic reasoning for information update
2007
Type: conference
Coalgebraic Epistemic Update without Change of Model
Corina Cirstea, Mehrnoosh Sadrzadeh & T. Mossakowski, 2007
Type: conference
Relating Algebraic and Coalgebraic Logics of Knowledge and Update
Mehrnoosh Sadrzadeh, Corina Cirstea, Wiebe van der Hoek, Michael Wooldridge & Giacomo Bonanno, 2006
Type: conference