Publications
My PhD thesis is available here.
2024
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming: Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. Science of Computer Programming, vol 233.
2023
Carlos Olarte, Elaine Pimentel and Camilo Rocha. A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems. Journal of Logical and Algebraic Methods in Programming (JLAMP).
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming: Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Petri Nets 2023: 369-392 (arXiv version).
2022
Bruno Xavier, Carlos Olarte and Elaine Pimentel. A linear logic framework for multimodal logics. To appear in Mathematical Structures in Computer Science (MSCS).
Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, and Fredrik Rømming. Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. To appear in Procs. of FTSCS'22).
2021
Elaine Pimentel, Carlos Olarte and Vivek Nigam: Process-As-Formula Interpretation: A Substructural Multimodal View. FSCD'21 (invited talk).
Amy P. Felty, Carlos Olarte, Bruno Xavier: A focused linear logical framework and its application to metatheory of object logics. Math. Struct. Comput. Sci. 31(3): 312-340
Daniele Nantes, Carlos Olarte, Daniel Ventura: A subexponential view of domains in session types. LSFA 2021: 93-111
2020
Linda Brodo and Carlos Olarte: Verification Techniques for a Network Algebra. Fundam. Inform. 172(1): 1-38 (2020) (PDF).
Carlos Olarte, Elaine Pimentel and Carlos Olarte: A fresh view of linear logic as a logical framework. ENTCS 351 (2020).
Linda Brodo and Carlos Olarte: A constraint-based language for multiparty interactions. ENTCS 351 (2020).
Sérgio Medeiros and Carlos Olarte: A Semantic Framework for PEGs. SLE 2020 (2020). (PDF).
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi: Dynamic slicing for Concurrent Constraint Languages. To appear in Fundamenta Informaticae (177).
2019
Timo Lang, Carlos Olarte, Elaine Pimentel, Christian G. Fermüller: A Game Model for Proofs with Costs. TABLEAUX 2019: 241-258 (arXiv version).
Kaustuv Chaudhuri, Joelle Despeyroux, Carlos Olarte, Elaine Pimentel: Hybrid Linear Logic, revisited. MSCS (29) (HAL version)
2018
Moreno Falaschi, Carlos Olarte. An Assertion language for slicing Constraint Logic Languages. In LOPSTR'18 (arXiv version). Springer, LNCS.
Carlos Olarte, Valeria de Paiva, Elaine Pimentel and Giselle Reis. Benchmarking Linear Logic Translations (PDF). To appear in Proc. of Linearity & TLLA. Provers and benchmarks are available here.
Carlos Olarte, Elaine Pimentel and Camilo Rocha. Proving Structural Properties of Sequent Systems in Rewriting Logic (PDF). In WRLA'18. Companion tool here.
Carlos Olarte, Elaine Pimentel and Camilo Rueda. A Concurrent Constraint Programming Interpretation of Access Permissions. In TPLP (18). (arXiv version).
Bruno Xavier, Carlos Olarte, Giselle Reis and Vivek Nigam: Mechanizing Linear Logic in Coq. Electronic Notes in Theoretical Computer Science (338). Proofs in Coq are here.
2017
Vivek Nigam, Carlos Olarte, Elaine Pimentel. On subexponentials, focusing and modalities in concurrent systems. Theoretical Computer Science (693) (PDF).
Agata Ciabattoni, Björn Lellmann, Carlos Olarte and Elaine Pimentel. From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction. Electronic Notes in Theoretical Computer Science (332). The implementation of the system can be found here.
Joelle Despeyroux, Carlos Olarte and Elaine Pimentel. Hybrid and Subexponential Linear Logics. Electronic Notes in Theoretical Computer Science (332).
Carlos Olarte and Elaine Pimentel. On concurrent behaviors and focusing in linear logic. Theoretical Computer Science (685). (PDF).
Björn Lellmann, Carlos Olarte and Elaine Pimentel. A unified view of modal and substructural logics. Accepted in LPAR-21 (2017) EPIC Series in Computing, Vol 46 (PDF). The implementation of the system can be found here.
Linda Brodo and Carlos Olarte. Symbolic semantics for multiparty interactions in the link-calculus. In Proc. of SOFSEM'17 (LNCS 10139). The implementation of the symbolic semantics is available here. (PDF).
2016
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte and Catuscia Palamidessi. Slicing Concurrent Constraint Programs. In LOPSTR'16 (arXiv version). The implementation of the slicer in Maude can be found here.
Carlos Olarte, Davide Chiarugi, Diana Hermith and Moreno Falaschi. A proof theoretic view of spatial and temporal dependencies in biochemical systems. Theoretical Computer Science. (PDF).
Carlos Olarte and Camilo Rueda: Session Types for Communicating Systems in Event-B. ACM-SAC'16. (PDF).
2015
Carlos Olarte, Elaine Pimentel and Vivek Nigam. Subexponential concurrent constraint programming. Theoretical Computer Science (606) (PDF).
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security 2015: 183-201.
Jaime Arias, Myriam Desainte-Catherine, Carlos Olarte, Camilo Rueda: Foundations for Reliable and Flexible Interactive Multimedia Scores. MCM 2015: 29-41
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte and Luca Torella: Modelling non-Markovian dynamics in biochemical reactions. BMC Systems Biology 2015, 9(Suppl 3):S8
Jaime Arias, Michell Guzmán and Carlos Olarte. A symbolic model for timed concurrent constraint programming. ENTCS (312) (PDF)
Carlos Olarte and Elaine Pimentel. Proving concurrent constraint programming correct, revisited. ENTCS (312) (PDF)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Carlos Olarte. Verification of Spatial and Temporal Modalities in Biochemical Systems. Electr. Notes Theor. Comput. Sci. 316: 29-44 (2015)
2014
Davide Chiarugi, Diana Hermith, Moreno Falaschi and Carlos Olarte. Verification of spatial and temporal modalities in biochemical systems. SASB'14. (PDF)
Vivek Nigam, Carlos Olarte and Elaine Pimentel. A Proof Theoretic Study of Soft Concurrent Constraint Programming. ICLP'14 (TPLP) (arXiv Version)
Moreno Falaschi, Carlos Olarte and Catuscia Palamidessi. Abstract Interpretation of Temporal Concurrent Constraint Programs. TPLP. (arXiv Version)
Carlos Olarte, Vivek Nigam, Elaine Pimentel: Dynamic Spaces in Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci. 305: 103-121 (2014) (PDF)
2013
Carlos Olarte, Camilo Rueda, Frank D. Valencia. Models and emerging trends of concurrent constraint programming. Constraints Vol 18 (4), pp 535-578 (preprint version) (publisher link).
Vivek Nigam, Carlos Olarte and Elaine Pimentel. A General Proof System for Modalities in Concurrent Constraint Programming . CONCUR 2013, LNCS Springer (concur-2013-full.pdf of the extended version).
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Michell Guzman, Carlos Olarte: Simulating Signalling Pathways With BioWayS. Electr. Notes Theor. Comput. Sci. 293: 17-34 (2013)
Davide Chiarugi, Moreno Falaschi, Diana Hermith, Roberto Marangoni, Carlos Olarte: Stochastic modelling of non Markovian Dynamics in Biochemical Reactions. IWBBIO 2013: 537-544
2012
Nestor Cataño, Carlos Olarte, Elaine Pimentel and Camilo Rueda. A Linear Concurrent Constraint approach for the automatic verification of access permissions. ACM PPDP-12. (PDF)
Davide Chiarugi, Michel Guzmán, Diana Hermith, Moreno Falaschi, Carlos Olarte. Simulating Signalling Pathways Through BioWayS. In Proc. of CS2BIO'12.
2011
Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia: Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. PACBB 2011: 321-328
2010
Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417.
2009
Carlos Olarte. Universal Temporal Concurrent Constraint Programming. PhD Thesis. LIX, Ecole Polytechnique, under supervision of Catuscia Palamidessi and Frank Valencia. 2009. Details here.
M. Falaschi, C. Olarte and C. Palamidessi. A Framework for Abstract Interpretation of Timed Concurrent Constraint Programs. In Proc of PPDP09. ACM Press. 2009 (PDF).
H. A. Lopez, C. Olarte, and J. A. Perez. Towards a Unified Framework for Declarative Structured Communications. In Programming Language Approaches to Concurrency and Communication-cEntric Software: PLACES'09. ENTCS. 2009. (PDF).
Carlos Olarte and Camilo Rueda. A declarative language for dynamic multimedia interaction systems. In Proc of. MCM'09. Springer, 2009. (PDF)
2008
C. Olarte and F. Valencia. The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure operators for Security. In Proc. of PPDP’ 08. ACM Press. 2008. (PDF).
C. Olarte and F. Valencia. Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security. SAC'08. ACM Press. 2008.(PDF)
2007.
M. Falaschi, C. Olarte, C. Palamidessi and F. Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs. In Proc. of ICLP 2007. (PDF)
C. Olarte, C. Palamidessi and F. Valencia. Universal Timed Concurrent Constraint Programming (short paper). In Proc. of ICLP 2007. (PDF)
E. Monfroy, C. Olarte and C. Rueda. Process Calculi for Adaptive Enumeration Strategies in Constraint Programming. Research in Computing Science. (PDF)
2006
C. Olarte and C. Rueda. A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. CLEI Electronic Journal Volume 9 : Number 2. (PDF)
A. Arbeláez, J. Gutérrez, C. Olarte and C. Rueda. A Generic Framework to Model, Simulate and Verify Genetic Regulatory Network. In Proc. of CLEI 2006. (PDF).
2005
C. Olarte and C. Rueda. A Stochastic Non-deterministic Temporal Concurrent Constraint Calculus. In Proc. of SCCC 2005. IEEE-CS. (PDF).
C. Olarte and C. Rueda. Using Stochastic NTCC to Model Biological Systems. In Proc. of CLEI 2005. (PDF)
A. Delgado, C. Olarte, J. Pérez and C. Rueda. Semiring-based Fuzzy Constraints in Concurrent Constraint Programming. In Proc. of CLEI 2005. (PDF)
2004
J. Diaz, G. Gutierrez, C. Colarte and C. Rueda. CRE2: a CP application for reconfiguring a power distribution network for power losses reduction. In Proc. of CP 2004. (PDF)
A. Delgado, C. Olarte, J. Perez and C. Rueda. Implementing Semiring-Based Constraints using a Concurrent Constraint Programming Language. In Proc. of 6th international Workshop on Preferences and Soft Constraints 2004. (PDF)
A. Delgado, C. Olarte, J. Perez and C. Rueda. Implementing Semiring-Based Constraints using Mozart. In Proc. of Second International Mozart/Oz Conference , 2004. (PDF)
J. Diaz, G. Caicedo, C. Lozano, G. Gutierrez, C. Olarte and C. Rueda. Loss Reduction in Distribution Networks using Concurrent Constraint Programming. In Proc. of PMAPS 2004. (PDF)
J. Diaz, G. Gutierrez, C. Olarte, C. Rueda. Using Constraint Programming for Reconfiguration of Electrical Power Distribution Networks. In Proc. of MOZ 2004. (PDF)
A. López, ,C. Olarte, L. Becerra. Herramienta computacional para aplicar control estaístico de procesos en talleres y pequeñas empresas. In Proc. CCIO-2004.
2003
R. Jordan, A. Martinez, C. Olarte and E. Tamura. TELEMEC- A Remote Laboratory for Control Engineering Training. Engineering Education and Research-2002: A Chronicle of Worldwide Innovation, 2003
2002
R. Jordan, A. Martinez, C. Olarte and E. Tamura. A remote laboratory for an automatic control electromechanical system. In Proc of ICEE 2002. (PDF)
R. Jordan, A. Martinez, C. Olarte and E. Tamura. Desarrollo de un sistema mecatroacute;nico manejable por Internet, como herramienta para un laboratorio de control automȧtico. In Proc of CIECE 2002,
Jordan, A. Martinez, C. Olarte and E. Tamura. Development of an application to handle mechatronic system via Internet. In Proc of ICTE 2002. (PDF)
R. Jordan, A. Martinez, C. Olarte, E. Tamura. Sistema mecatrónico Teleoperado, como herramienta para un laboratorio de control automático. In Proc of ACOFI XXII, 2002, Cartagena.
2001
R. Jordan, A. Martinez, C. Olarte and E. Tamura. Conjunto Modular y Flexible para la realización de sistemas mecatrónicos, manejable por Internet. In Proc of TISE 2001.