Daniel Stan

According to our database, Daniel Stan authored at least 15 papers between 2014 and 2026.

Collaborative distances:

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

2026

Automata Learning with an Incomplete but Inductive Teacher.

Daniel Stan, Adrien Pommellet, Juliette Jacquot

CoRR, February, 2026

2025

CyberSOCEval: Benchmarking LLMs Capabilities for Malware Analysis and Threat Intelligence Reasoning.

Lauren Deason, Adam Bali, Ciprian Bejean, Diana Bolocan, James Crnkovich, Ioana Croitoru, Krishna Durai, Chase Midler, Calin Miron, David Molnar, Brad Moon, Bruno Ostarcevic, Alberto Peltea, Matt Rosenberg, Catalin Sandu, Arthur Saputkin, Sagar Shah, Daniel Stan, Ernest Szocs, Shengye Wan, Spencer Whitman, Sven Krasser, Joshua Saxe

CoRR, September, 2025

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report).

Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan

CoRR, May, 2025

sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses.

Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

SAT-Based Learning of Computation Tree Logic.

Adrien Pommellet, Daniel Stan, Simon Scatton

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Concurrent Stochastic Lossy Channel Games.

Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2021

Learning Union of Integer Hypercubes with Queries (Technical Report).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

CoRR, 2021

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report).

Daniel Stan, Anthony Widjaja Lin

CoRR, 2021

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems.

Daniel Stan, Anthony W. Lin

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2019

Syntactic Partial Order Compression for Probabilistic Reachability.

Gereon Fox, Daniel Stan, Holger Hermanns

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2017

Randomized strategies in concurrent games. (Stratégies randomisées dans les jeux concurrents).

Daniel Stan

PhD thesis, 2017

2016

Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games.

Patricia Bouyer, Nicolas Markey, Daniel Stan

Proceedings of the Seventh International Symposium on Games, 2016

Reachability in Networks of Register Protocols under Stochastic Schedulers.

Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2014

Mixed Nash Equilibria in Concurrent Terminal-Reward Games.

Patricia Bouyer, Nicolas Markey, Daniel Stan

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014