Publications

 

  • Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems. Form. Asp. Comp. 29(2): 251-307 (2017)
  • Anirban Bhattacharyya, Bowen Li, Brian Randell: Time in Structured Occurrence Nets. PNSE 2016: 35-55
  • Hanna Klaudel, Maciej Koutny, Zhenhua Duan: Interval Temporal Logic Semantics of Box Algebra. LATA 2014: 441-452
  • Victor Khomenko, Roland Meyer, Reiner Hüchting: A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets. Logical Methods in Computer Science 9(3) (2013)
  • Victor Khomenko, Andrey Mokhov: Direct Construction of Complete Merged Processes. Comput. J. 57(5): 693-707 (2014)
  • Andrey Mokhov, Victor Khomenko: Algebra of Parameterised Graphs. ACM Trans. Embedded Comput. Syst. 13(4s): 143:1-143:22 (2014)
  • César Rodríguez, Stefan Schwoon, Victor Khomenko: Contextual Merged Processes. Petri Nets 2013: 29-48
  • Loïg Jezequel, Eric Fabre, Victor Khomenko: Factored Planning: From Automata to Petri Nets. ACM Trans. Embedded Comput. Syst. 14(2): 26:1-26:25 (2015)
  • Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon: Diagnosability under Weak Fairness. ACM Trans. Embedded Comput. Syst. 14(4): 69 (2015)
  • Johnson Fernandes, Maciej Koutny, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev: Step Persistence in the Design of GALS Systems. Petri Nets 2013: 190-209
  • Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny: A Taxonomy of Persistent and Nonviolent Steps. Petri Nets 2013: 210-229
  • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski: Causal Structures for General Concurrent Behaviours. CS&P 2013: 193-205
  • Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler: Recent advances in unfolding technique. Theor. Comput. Sci. 551: 84-101 (2014)
  • Loïg Jezequel, Eric Fabre, Victor Khomenko: Factored Planning: From Automata to Petri Nets. ACM Trans. Embedded Comput. Syst. 14(2): 26:1-26:25 (2015)
  • Andrey Mokhov: Algebra of switching networks. IET Computers & Digital Techniques 9(4): 197-205 (2015)
  • Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev: Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Inform. 137(1): 143-170 (2015)
  • Frank P. Burns, Danil Sokolov, Alexandre Yakovlev: GALS synthesis and verification for xMAS models. DATE 2015: 1419-1424
  • Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev: Compositional design of asynchronous circuits from behavioural concepts. MEMOCODE 2015: 118-127
  • Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G.: Applying Regions. Theoretical Computer Science 2016, Epub ahead of print.
  • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski: Step traces. Acta Inf. 53(1): 35-65 (2016)
  • Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon: Non-atomic Transition Firing in Contextual Nets. Petri Nets 2015: 117-136
  • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski: Order Structures for Subclasses of Generalised Traces. LATA 2015: 689-700
  • Wen Zeng, Maciej Koutny, Paul Watson: Opacity in Internet of Things with Cloud Computing (Short Paper). SOCA 2015: 201-207
  • Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski: Characterising Concurrent Histories. Fundam. Inform. 139(1): 21-42 (2015)
  • Bowen Li, Maciej Koutny: Unfolding CSPT-nets. PNSE @ Petri Nets 2015: 207-226
  • Lukasz Mikulski, Maciej Koutny: Folded Hasse diagrams of combined traces. Inf. Process. Lett. 114(4): 208-216 (2014)
  • Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny: Tissue Systems and Petri Net Synthesis. Trans. Petri Nets and Other Models of Concurrency 9: 124-146 (2014)
  • Wen Zeng, Maciej Koutny, Aad P. A. van Moorsel: Performance Modelling and Evaluation of Enterprise Information Security Technologies. CIT 2014: 504-511
  • Wen Zeng, Maciej Koutny, Paul Watson: Verifying Secure Information Flow in Federated Clouds. CloudCom 2014: 78-85
  • Wen Zeng, Maciej Koutny: Data Resources in Dynamic Environments. TASE 2014: 185-192
  • Hernán Ponce de León, Andrey Mokhov: Building Bridges Between Sets of Partial Orders. LATA 2015: 145-160
  • Andrey Mokhov, Victor Khomenko, Danil Sokolov, Alex Yakovlev: Opportunistic Merge Element. ASYNC 2015: 116-123
  • Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov: A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. ACSD 2015: 100-109
  • Danil Sokolov, Victor Khomenko, Andrey Mokhov, Alex Yakovlev, David Lloyd: Design and Verification of Speed-Independent Multiphase Buck Controller. ASYNC 2015: 29-36
  • Andrey Mokhov, Josep Carmona: Event Log Visualisation with Conditional Partial Order Graphs: from Control Flow to Data. ATAED@Petri Nets/ACSD 2015: 16-30
  • Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. In: Application and Theory of Petri Nets. 2011, Newcastle upon Tyne, UK: Springer-Verlag.
  • Randell B. Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1243.
  • Koutny M, Randell B. Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques. Fundamenta Informaticae 2009, 97(1-2), 41-91.
  • Koutny M, B. Randell. Structured Occurrence Nets: A formalism for aiding system failure prevention and analysis techniques. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1162. 
  • Randell B, Koutny M. Structured Occurrence Nets: Incomplete, contradictory and uncertain failure evidence.Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1170 - 
  • Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. In: Theoretical Aspects of Computing: 4th International Colloquium (ICTAC). 2007, Macao, China: Springer-Verlag.
  • Randell B, Koutny M. Failures: Their Definition, Modelling and Analysis. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2006. School of Computing Science Technical Report Series 994.