Travelled to:1 × France
2 × Germany
Collaborated with:H.P.d.León A.Yakovlev S.Marlow S.P.Jones ∅ G.Lukyanov J.Lechner A.Iliasov A.Alekseyev D.Sokolov E.Kmett N.Mitchell
Talks about:partial (2) control (2) system (2) order (2) graph (2) build (2) spacecraft (1) reconfigur (1) synthesi (1) function (1)
Person: Andrey Mokhov
DBLP: Mokhov:Andrey
Contributed to:
2015
20142008
201620172019Wrote 7 papers:
- LATA-2015-LeonM #partial order #set
- Building Bridges Between Sets of Partial Orders (HPdL, AM), pp. 145–160.
- DATE-2014-IliasovASM #design #refinement #safety
- Design of safety critical systems by refinement (AI, AA, DS, AM), pp. 1–4.
- DATE-2008-MokhovY #configuration management #graph #partial order #synthesis
- Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis (AM, AY), pp. 1142–1147.
- Haskell-2016-MarlowJKM #haskell
- Desugaring Haskell's do-notation into applicative operations (SM, SPJ, EK, AM), pp. 92–104.
- Haskell-2016-MokhovMJM #harmful #recursion #scalability
- Non-recursive make considered harmful: build systems at scale (AM, NM, SPJ, SM), pp. 170–181.
- Haskell-2017-Mokhov #algebra #functional #graph
- Algebraic graphs with class (functional pearl) (AM), pp. 2–13.
- Haskell-2019-MokhovLL #case study #experience #source code #verification
- Formal verification of spacecraft control programs (experience report) (AM, GL, JL), pp. 139–145.