Claudia Elena Chirita

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 4

Top Topics

Dynamic Reconfiguration

Intermediate Representations

Primary Purpose

Top Venues

Publications

Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro
Dynamic Reconfiguration via Typed Modalities. FM (2021)
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro
Logical Support for Bike-Sharing System Design. From Software Engineering to Formal Methods and Tools, and Back (2019)
Claudia Elena Chirita, José Luiz Fiadeiro, Fernando Orejas
Many-Valued Institutions for Constraint Specification. FASE (2016)
Claudia Elena Chirita, José Luiz Fiadeiro
Free Jazz in the Land of Algebraic Improvisation. ICCC (2016)
Claudia Elena Chirita, Traian-Florin Serbanuta
An Institutional Foundation for the K Semantic Framework. WADT (2014)