Alexei Iliasov

Identifiers

• name variant Alexei Iliasov 0.60 · backfill

Papers (4)

1. Automating Verification of Event-B Models cs.SE · 2016 · author #2
2. Lessons from DEPLOYment cs.SE · 2016 · author #3
3. Towards a Formalism-Based Toolkit for Automotive Applications cs.SE · 2013 · author #3
4. Event-B/SLP cs.SE · 2013 · author #1

Mentions

• 1311.6145 #3 · backfill · confidence 0.70 Alexei Iliasov
• 1301.2368 #1 · backfill · confidence 0.70 Alexei Iliasov

Frequent Coauthors

• Manuel Mazzara 2 shared papers
• Alexander Romanovsky 1 shared papers
• Cliff Jones 1 shared papers
• David Adjepon-Yamoah 1 shared papers
• Felix Loesch 1 shared papers
• Katrin Grau 1 shared papers
• Michael Jackson 1 shared papers
• Paulius Stankaitis 1 shared papers
• Rainer Gmehlich 1 shared papers