Bogdan Macovei

According to our database, Bogdan Macovei authored at least 6 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Trace-to-Logic Assurance for Agentic AI: Mining Probabilistic Rules from Message-Action Traces.

Ciprian Paduraru, Bogdan Macovei, Alin Stefanescu

Proceedings of the 21st International Conference on Evaluation of Novel Approaches to Software Engineering, 2026

Hybrid Many-Sorted Modal Logic with Nominal Terms.

Ioana Leustean, Bogdan Macovei

Proceedings of the Relational and Algebraic Methods in Computer Science, 2026

2025

Łukasiewicz Logic with Actions for Neural Networks training.

Ioana Leustean, Bogdan Macovei

Proceedings of the Proceedings 9th edition of Working Formal Methods Symposium, September, 2025

Extracting Explainability from Multi-Layer Perceptrons for Binary Classification Problems through Łukasiewicz Logic.

Bogdan Macovei

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 29th International Conference KES-2025, 2025

2023

A Parallel Dynamic Epistemic Perspective over Muddy Children Puzzle.

Bogdan Macovei

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

2021

DELP: Dynamic Epistemic Logic for Security Protocols.

Ioana Leustean, Bogdan Macovei

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021