Scholar
Carlos Olarte
Google Scholar ID: 3e9DD4UAAAAJ
Associate Professor at Université Sorbonne Paris Nord
Citations & Impact
Citations
303
H-index
10
i10-index
10
Publications
20
Co-authors
22
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Publications: His list of publications is available in DBLP and ORCID.
- Preprint paper: The Modal Cube Revisited: Semantics without Worlds (with Renato Leme, Elaine Pimentel, and Marcelo E. Coniglio).
- JLAMP journal paper: Formal analysis of real-time systems with user-defined strategies in rewriting logic (with Peter Csaba Ölveczky).
- JLAMP journal paper: Unified opinion formation analysis in rewriting logic (with Carlos Ramirez, Camilo Rocha, and Frank Valencia).
- Coordination conference paper: A Constraint Opinion Model (with Fabio Gadducci and Frank Valencia).
- NFM conference paper: Algorithmic Analysis of Event-B in Rewriting Logic (with Daniel Osorio, Carlos Ramírez, and Camilo Rocha).
- Projects: Including SymSafe, Promueva, Aesir, ESPRiTS, SÉMANTIQUE, etc.
- Tools developed: PTA2Maude, PITPN2Maude, RESPEG, L-Framework, etc.
- Benchmarks and provers: Created benchmarks and provers for intuitionistic linear logic.
- Formalization in Coq: Formalized (first-order) linear logic (cut-elimination + focusing) in Coq.
- Other verifiers and interpreters: SiLVer, Slicer for CCP, ESTRO, LolliP, Alcove, etc.
- Academic service: PC member or chair for WRLA'26, PPDP 2025, and other conferences.
Research Experience
- Associate professor at LIPN, Institut Galilée, UMR CNRS 7030, Université Sorbonne Paris Nord.
Background
- Research interests: concurrent systems and formal methods. Member of the AVISPA research group.
Miscellany
- Email: carlos.olarte at gmail ... com
