Alexandre Petrenko

From MaRDI portal
Person:2024335

Available identifiers

zbMath Open petrenko.alexandreMaRDI QIDQ2024335

List of research outcomes





PublicationDate of PublicationType
Learning communicating state machines2024-04-05Paper
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach2024-03-14Paper
FSM inference from long traces2021-05-04Paper
Checking Completeness of Tests for Finite State Machines2017-07-27Paper
Multiple mutation testing from FSM2016-10-19Paper
The Unknown Component Problem2012-02-02Paper
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM2007-05-02Paper
FSM Test Translation Through Context2007-05-02Paper
A formal approach to property testing in causally consistent distributed traces2006-10-25Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44370592003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44370632003-12-07Paper
https://portal.mardi4nfdi.de/entity/Q45320842002-05-28Paper

Research outcomes over time

This page was built for person: Alexandre Petrenko

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2024335&oldid=6505866"
Powered by MediaWiki