Ionut Tutu

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 11

Top Topics

Logic Programming

Operational Semantics

Invariant Properties

Formal Specification

Top Venues

J. Log. Algebraic Methods Program.

Publications

Hashimoto Go, Daniel Gaina, Ionut Tutu
Forcing, Transition Algebras, and Calculi. ICALP (2024)
Hashimoto Go, Daniel Gaina, Ionut Tutu
Forcing, Transition Algebras, and Calculi. CoRR (2024)
Ionut Tutu
SpeX: A Rewriting-Based Formal Specification Environment. WADT (2022)
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)
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106 (2019)
Daniel Gâinâ, Ionut Tutu
Horn Clauses in Hybrid-Dynamic First-Order Logic. CoRR (2019)
Daniel Gâinâ, Ionut Tutu
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. TABLEAUX (2019)
Daniel Gâinâ, Ionut Tutu, Adrián Riesco
Specification and Verification of Invariant Properties of Transition Systems. APSEC (2018)
Ionut Tutu, José Luiz Fiadeiro
From conventional to institution-independent logic programming. J. Log. Comput. 27 (6) (2017)
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX (2017)
Ionut Tutu, José Luiz Fiadeiro
Service-Oriented Logic Programming. Log. Methods Comput. Sci. 11 (3) (2015)
Ionut Tutu, José Luiz Fiadeiro
Revisiting the Institutional Approach to Herbrand's Theorem. CALCO (2015)
Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro
A Full Operational Semantics for Asynchronous Relational Networks. WADT (2014)
Razvan Diaconescu, Ionut Tutu
Foundations for structuring behavioural specifications. J. Log. Algebraic Methods Program. 83 (3-4) (2014)
Ionut Tutu
Parameterisation for abstract structured specifications. Theor. Comput. Sci. 517 (2014)
Ionut Tutu
Logical Foundations of Services. ICCSW (2013)
Ionut Tutu, José Luiz Fiadeiro
A Logic-Programming Semantics of Services. CALCO (2013)
Ionut Tutu
Comorphisms of structured institutions. Inf. Process. Lett. 113 (22-24) (2013)
Razvan Diaconescu, Ionut Tutu
On the algebra of structured specifications. Theor. Comput. Sci. 412 (28) (2011)
Radu Gramatovici, Ionut Tutu
A methodological approach on the architectural development of integrated e-learning systems CoRR (2010)