Daniel Stan

18 papers A* 1A 1B 2Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automata Learning with an Incomplete but Inductive Teacher.
CoRR
Daniel Stan, Adrien Pommellet, Juliette Jacquot
2025 J jnl
CyberSOCEval: Benchmarking LLMs Capabilities for Malware Analysis and Threat Intelligence Reasoning.
CoRR
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
2025 J jnl
HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report).
CoRR
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2025 — conf
sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses.
CAV (1)
Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2024 B conf
Concurrent Stochastic Lossy Channel Games.
CSL
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2024 — conf
SAT-Based Learning of Computation Tree Logic.
IJCAR (1)
Adrien Pommellet, Daniel Stan, Simon Scatton
2024 J jnl
SAT-based Learning of Computation Tree Logic.
CoRR
Adrien Pommellet, Daniel Stan, Simon Scatton
2023 J jnl
Concurrent Stochastic Lossy Channel Games.
CoRR
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
2021 J jnl
Learning Union of Integer Hypercubes with Queries (Technical Report).
CoRR
Oliver Markgraf, Daniel Stan, Anthony W. Lin
2021 — conf
Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition).
CAV (2)
Oliver Markgraf, Daniel Stan, Anthony W. Lin
2021 J jnl
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report).
CoRR
Daniel Stan, Anthony Widjaja Lin
2021 A conf
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems.
AAMAS
Daniel Stan, Anthony W. Lin
2019 B conf
Syntactic Partial Order Compression for Probabilistic Reachability.
VMCAI
Gereon Fox, Daniel Stan, Holger Hermanns
2017 — —
Randomized strategies in concurrent games. (Stratégies randomisées dans les jeux concurrents).
Daniel Stan
2016 A* conf
Reachability in Networks of Register Protocols under Stochastic Schedulers.
ICALP
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
2016 J jnl
Reachability in Networks of Register Protocols under Stochastic Schedulers.
CoRR
Patricia Bouyer, Nicolas Markey, Mickael Randour, Arnaud Sangnier, Daniel Stan
2016 — conf
Stochastic Equilibria under Imprecise Deviations in Terminal-Reward Concurrent Games.
GandALF
Patricia Bouyer, Nicolas Markey, Daniel Stan
2014 — conf
Mixed Nash Equilibria in Concurrent Terminal-Reward Games.
FSTTCS
Patricia Bouyer, Nicolas Markey, Daniel Stan