Verimag

Recent papers from Verimag

1. The Leader Who Falls Silent at the Breaking Point2026
2. Ego's Justification Loop: Leadership's Most Dangerous Illusion2026
3. Boeing 737 MAX: The Cost of Organisational Silence2026
4. Announcing the Shaw Prize in Computer ScienceCommunications of the ACM · 2026
5. Deterministic color-optimal self-stabilizing semi-synchronous gathering: Two certified algorithmsTheoretical Computer Science · 2026
6. Unlocking the ionic transport dynamics modulated by concentration artifacts of Li(Na)-ion batteries via operando optical fiber spectroscopyNature Communications · 2026
7. Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term2026
8. Digital twin for the formal analysis of a depth of anesthesia controllerSIMULATION · 2025
9. A novel Zero-Defect Manufacturing approach for defect reduction in battery productionProcedia CIRP · 2025
10. Regular Grammars for Graph Sets of Tree-Width ≤22024
11. Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games2024
12. A Conceptual Framework Based on Current Directives to Design Lithium-Ion Battery Industrial Repurposing ModelsMachines · 2024
13. On Self-stabilizing Leader Election in Directed Networks2024
14. Tree-Verifiable Graph GrammarsEPiC series in computing · 2024
15. Mining of extended signal temporal logic specifications with ParetoLib 2.0Formal Methods in System Design · 2024
16. Self-stabilizing synchronous unison in directed networksTheoretical Computer Science · 2024
17. A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving2024
18. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form2024
19. Elements of Timed Pattern MatchingACM Transactions on Embedded Computing Systems · 2024
20. Hybrid System Identification through Optimization and Active LearningIFAC-PapersOnLine · 2024