Carlos Olarte

100 papers B 13C 8Misc 3Journal 44Unranked 28
YearRankTypeTitle / Venue / Authors
2026 — conf
Modeling and Analyzing Real-Time Systems in Rewriting Logic.
Concurrent Programming, Open Systems and Formal Methods
Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky
2026 J jnl
Unified opinion formation analysis in rewriting logic.
J. Log. Algebraic Methods Program.
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
2025 C conf
A Constraint Opinion Model.
COORDINATION
Fabio Gadducci, Carlos Olarte, Frank Valencia
2025 J jnl
A Constraint Opinion Model.
CoRR
Fabio Gadducci, Carlos Olarte, Frank Valencia
2025 — conf
Algorithmic Analysis of Event-B in Rewriting Logic.
NFM
Carlos Olarte, Daniel Osorio, Carlos Ramírez, Camilo Rocha
2025 J jnl
Formal analysis of real-time systems with user-defined strategies in rewriting logic.
J. Log. Algebraic Methods Program.
Carlos Olarte, Peter Csaba Ölveczky
2025 B conf
Playing with Modalities (Invited Talk).
CSL
Elaine Pimentel, Carlos Olarte, Timo Lang, Robert Freiman, Christian G. Fermüller
2025 C ed.
Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025, Rende, Italy, September 10-11, 2025
PPDP
Malgorzata Biernacka, Carlos Olarte, Francesco Ricca, James Cheney
2025 B conf
The Modal Cube Revisited: Semantics Without Worlds.
TABLEAUX
Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo Esteban Coniglio
2025 J jnl
The Modal Cube Revisited: Semantics without Worlds.
CoRR
Renato Leme, Carlos Olarte, Elaine Pimentel, Marcelo E. Coniglio
2024 J jnl
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.
Fundam. Informaticae
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024 J jnl
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets.
CoRR
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci
2024 C conf
Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic.
PPDP
Jaime Arias, Carlos Olarte, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk
2024 J jnl
Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study.
CoRR
Carlos Olarte, Elaine Pimentel
2024 J jnl
Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models.
IEEE Trans. Reliab.
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2024 — conf
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems.
CMSB
Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2024 B conf
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.
LPAR
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2024 J jnl
Reasoning About Group Polarization: From Semantic Games to Sequent Systems.
CoRR
Robert Freiman, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2024 J jnl
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.
Sci. Comput. Program.
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2024 — conf
Timed Strategies for Real-Time Rewrite Theories.
WRLA
Carlos Olarte, Peter Csaba Ölveczky
2024 J jnl
Timed Strategies for Real-Time Rewrite Theories.
CoRR
Carlos Olarte, Peter Csaba Ölveczky
2024 — conf
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.
WRLA
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
2024 J jnl
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.
CoRR
Carlos Olarte, Carlos Ramírez, Camilo Rocha, Frank Valencia
2024 J jnl
ccReact: a rewriting framework for the formal analysis of reaction systems.
Int. J. Softw. Tools Technol. Transf.
Demis Ballis, Linda Brodo, Moreno Falaschi, Carlos Olarte
2023 J jnl
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems.
J. Log. Algebraic Methods Program.
Carlos Olarte, Elaine Pimentel, Camilo Rocha
2023 J jnl
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models.
CoRR
Jaime Arias, Carlos Olarte, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk
2023 — ed.
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023.
LFMTP@FSCD
Alberto Ciaffaglione, Carlos Olarte
2023 B conf
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
Petri Nets
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2023 J jnl
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.
CoRR
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2022 J jnl
A Rewriting Logic Semantics and Statistical Analysis for Probabilistic Event-B.
CoRR
Carlos Olarte, Camilo Rocha, Daniel Osorio
2022 J jnl
A linear logic framework for multimodal logics.
Math. Struct. Comput. Sci.
Bruno Xavier, Carlos Olarte, Elaine Pimentel
2022 — conf
Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.
FTSCS
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming
2021 J jnl
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems.
CoRR
Carlos Olarte, Elaine Pimentel, Camilo Rocha
2021 J jnl
A focused linear logical framework and its application to metatheory of object logics.
Math. Struct. Comput. Sci.
Amy P. Felty, Carlos Olarte, Bruno Xavier
2021 — conf
A subexponential view of domains in session types.
LSFA
Daniele Nantes, Carlos Olarte, Daniel Ventura
2021 B conf
Process-As-Formula Interpretation: A Substructural Multimodal View (Invited Talk).
FSCD
Elaine Pimentel, Carlos Olarte, Vivek Nigam
2020 — conf
A Constraint-based Language for Multiparty Interactions.
LSFA
Linda Brodo, Carlos Olarte
2020 — conf
A Fresh View of Linear Logic as a Logical Framework.
LSFA
Carlos Olarte, Elaine Pimentel, Bruno Xavier
2020 J jnl
A Semantic Framework for PEGs.
CoRR
Sérgio Medeiros, Carlos Olarte
2020 B conf
A semantic framework for PEGs.
SLE
Sérgio Queiroz de Medeiros, Carlos Olarte
2020 J jnl
Catuscia Palamidessi: a journey from logic and concurrency to security and privacy.
ACM SIGLOG News
Mário S. Alvim, Konstantinos Chatzikokolakis, Carlos Olarte, Frank D. Valencia
2020 J jnl
Computational Logic for Biomedicine and Neurosciences.
CoRR
Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte
2020 J jnl
Dynamic Slicing for Concurrent Constraint Languages.
Fundam. Informaticae
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2020 J jnl
Verification Techniques for a Network Algebra.
Fundam. Informaticae
Linda Brodo, Carlos Olarte
2019 B conf
A Game Model for Proofs with Costs.
TABLEAUX
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019 J jnl
A Game Model for Proofs with Costs.
CoRR
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller
2019 J jnl
Hybrid linear logic, revisited.
Math. Struct. Comput. Sci.
Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
2019 — ed.
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018
LSFA
Beniamino Accattoli, Carlos Olarte
2019 — ed.
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
The Art of Modelling Computational Systems
Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
2018 J jnl
A Concurrent Constraint Programming Interpretation of Access Permissions.
CoRR
Carlos Olarte, Elaine Pimentel, Camilo Rueda
2018 — conf
A Logical Framework for Modelling Breast Cancer Progression.
MLCSB
Joëlle Despeyroux, Amy P. Felty, Pietro Liò, Carlos Olarte
2018 J jnl
A concurrent constraint programming interpretation of access permissions.
Theory Pract. Log. Program.
Carlos Olarte, Elaine Pimentel, Camilo Rueda
2018 C conf
An Assertion Language for Slicing Constraint Logic Languages.
LOPSTR
Moreno Falaschi, Carlos Olarte
2018 J jnl
An Assertion language for slicing Constraint Logic Languages.
CoRR
Moreno Falaschi, Carlos Olarte
2018 — conf
Preface.
LSFA
Beniamino Accattoli, Carlos Olarte
2018 — conf
Proving Structural Properties of Sequent Systems in Rewriting Logic.
WRLA
Carlos Olarte, Elaine Pimentel, Camilo Rocha
2018 — conf
The ILLTP Library for Intuitionistic Linear Logic.
Linearity-TLLA@FLoC
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis
2017 B conf
A uniform framework for substructural logics with modalities.
LPAR
Björn Lellmann, Carlos Olarte, Elaine Pimentel
2017 — conf
Mechanizing Focused Linear Logic in Coq.
LSFA
Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
2017 J jnl
On concurrent behaviors and focusing in linear logic.
Theor. Comput. Sci.
Carlos Olarte, Elaine Pimentel
2017 J jnl
On subexponentials, focusing and modalities in concurrent systems.
Theor. Comput. Sci.
Vivek Nigam, Carlos Olarte, Elaine Pimentel
2017 B conf
Symbolic Semantics for Multiparty Interactions in the Link-Calculus.
SOFSEM
Linda Brodo, Carlos Olarte
2016 J jnl
A proof theoretic view of spatial and temporal dependencies in biochemical systems.
Theor. Comput. Sci.
Carlos Olarte, Davide Chiarugi, Moreno Falaschi, Diana Hermith
2016 — conf
From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction.
LSFA
Agata Ciabattoni, Björn Lellmann, Carlos Olarte, Elaine Pimentel
2016 J jnl
Hybrid and Subexponential Linear Logics Technical Report.
CoRR
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
2016 — conf
Hybrid and Subexponential Linear Logics.
LSFA
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
2016 Misc conf
Session types for communicating systems in event-B.
SAC
Carlos Olarte, Camilo Rueda
2016 C conf
Slicing Concurrent Constraint Programs.
LOPSTR
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2016 J jnl
Slicing Concurrent Constraint Programs.
CoRR
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2015 — conf
A Declarative View of Signaling Pathways.
Programming Languages with Applications to Biology and Security
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2015 J jnl
Abstract interpretation of temporal concurrent constraint programs.
Theory Pract. Log. Program.
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2015 — conf
Foundations for Reliable and Flexible Interactive Multimedia Scores.
MCM
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda
2015 J jnl
Modelling non-Markovian dynamics in biochemical reactions.
BMC Syst. Biol.
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte, Luca Torella
2015 J jnl
Subexponential concurrent constraint programming.
Theor. Comput. Sci.
Carlos Olarte, Elaine Pimentel, Vivek Nigam
2014 J jnl
A Proof Theoretic Study of Soft Concurrent Constraint Programming.
CoRR
Elaine Pimentel, Carlos Olarte, Vivek Nigam
2014 J jnl
A Proof Theoretic Study of Soft Concurrent Constraint Programming.
Theory Pract. Log. Program.
Elaine Pimentel, Carlos Olarte, Vivek Nigam
2014 — conf
A Symbolic Model for Timed Concurrent Constraint Programming.
LSFA
Jaime Arias, Michell Guzmán, Carlos Olarte
2014 — conf
A framework for modelling spatially dependent interactions of biological systems in CCP.
IWBBIO
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
2014 — conf
Proving Concurrent Constraint Programming Correct, Revisited.
LSFA
Carlos Olarte, Elaine Pimentel
2014 — conf
Verification of Spatial and Temporal Modalities in Biochemical Systems.
SASB
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte
2013 B conf
A General Proof System for Modalities in Concurrent Constraint Programming.
CONCUR
Vivek Nigam, Carlos Olarte, Elaine Pimentel
2013 J jnl
Abstract Interpretation of Temporal Concurrent Constraint Programs.
CoRR
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2013 — conf
Dynamic Spaces in Concurrent Constraint Programming.
LSFA
Carlos Olarte, Vivek Nigam, Elaine Pimentel
2013 J jnl
Models and emerging trends of concurrent constraint programming.
Constraints An Int. J.
Carlos Olarte, Camilo Rueda, Frank D. Valencia
2013 — conf
Stochastic modelling of non Markovian Dynamics in Biochemical Reactions.
IWBBIO
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte
2012 C conf
A linear concurrent constraint approach for the automatic verification of access permissions.
PPDP
Carlos Olarte, Elaine Pimentel, Camilo Rueda, Néstor Cataño
2012 — conf
Simulating Signalling Pathways With BioWayS.
CS2Bio
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzmán, Carlos Olarte
2011 Misc conf
Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.
PACBB
Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia
2010 — conf
Compositional modelling of signalling pathways in timed concurrent constraint programming.
BCB
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2009 C conf
A framework for abstract interpretation of timed concurrent constraint programs.
PPDP
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2009 B conf
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.
ICLP
Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, Frank D. Valencia
2009 — conf
Towards a Unified Framework for Declarative Structured Communications
PLACES
Hugo A. López, Carlos Olarte, Jorge A. Pérez
2009 — —
Universal Temporal Concurrent Constraint Programming. (Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité).
Carlos Olarte
2008 C conf
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security.
PPDP
Carlos Olarte, Frank D. Valencia
2008 Misc conf
Universal concurrent constraint programing: symbolic semantics and applications to security.
SAC
Carlos Olarte, Frank D. Valencia
2007 B conf
Declarative Diagnosis of Temporal Concurrent Constraint Programs.
ICLP
Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
2007 J jnl
Process Calculi for Adaptative Enumeration Strategies in Constraint Programming.
Res. Comput. Sci.
Camilo Rueda, Carlos Olarte, Éric Monfroy
2007 B conf
Universal Timed Concurrent Constraint Programming.
ICLP
Carlos Olarte, Catuscia Palamidessi, Frank Valencia
2006 J jnl
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems.
CLEI Electron. J.
Carlos Olarte, Camilo Rueda
2005 — conf
A stochastic non-deterministic temporal concurrent constraint calculus.
SCCC
Carlos Olarte, Camilo Rueda