Articles with public access mandates - Nir PitermanLearn more
Not available anywhere: 1
A modelling framework for cyber-physical system resilience
ML Bujorianu, N Piterman
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Available somewhere: 43
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis
D Hausmann, M Lehaut, N Piterman
International Conference on Foundations of Software Science and Computation …, 2024
Mandates: European Commission
Fair -Regular Games
D Hausmann, N Piterman, I Sağlam, AK Schmuck
International Conference on Foundations of Software Science and Computation …, 2024
Mandates: European Commission
Language support for verifying reconfigurable interacting systems
YA Alrahman, S Azzopardi, L Di Stefano, N Piterman
International Journal on Software Tools for Technology Transfer 25 (5), 765-784, 2023
Mandates: Swedish Research Council, European Commission
ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae
S Azzopardi, D Lidell, N Piterman, G Schneider
International Symposium on Automated Technology for Verification and …, 2023
Mandates: Swedish Research Council, European Commission
Games for Efficient Supervisor Synthesis
D Hausmann, PK Jha, N Piterman
IEEE Control Systems Letters, 2023
Mandates: Knut and Alice Wallenberg Foundation, European Commission
A Survey on Satisfiability Checking for the -Calculus Through Tree Automata
D Hausmann, N Piterman
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
Mandates: European Commission
Runtime verification meets controller synthesis
S Azzopardi, N Piterman, G Schneider
International Symposium on Leveraging Applications of Formal Methods, 382-396, 2022
Mandates: European Commission
Model checking reconfigurable interacting systems
Y Abd Alrahman, S Azzopardi, N Piterman
International Symposium on Leveraging Applications of Formal Methods, 373-389, 2022
Mandates: Swedish Research Council, European Commission
A PO Characterisation of Reconfiguration
Y Abd Alrahman, M Martel, N Piterman
International Colloquium on Theoretical Aspects of Computing, 42-59, 2022
Mandates: Swedish Research Council, European Commission
R-CHECK: A Model Checker for Verifying Reconfigurable MAS.
Y Abd Alrahman, S Azzopardi, N Piterman
AAMAS, 1518-1520, 2022
Mandates: Swedish Research Council, European Commission
Incorporating monitors in reactive synthesis without paying the price
S Azzopardi, N Piterman, G Schneider
International Symposium on Automated Technology for Verification and …, 2021
Mandates: European Commission
Modelling and verification of reconfigurable multi-agent systems
Y Abd Alrahman, N Piterman
Autonomous Agents and Multi-Agent Systems 35 (2), 1-36, 2021
Mandates: Swedish Research Council, European Commission
Synthesis of run-to-completion controllers for discrete event systems
Y Abd Alrahman, V Braberman, N D'Ippolito, N Piterman, S Uchitel
2021 American Control Conference (ACC), 4892-4899, 2021
Mandates: Swedish Research Council, European Commission, Government of Argentina
Pre-deployment security assessment for cloud services through semantic reasoning
C Cauli, M Li, N Piterman, O Tkachuk
Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021
Mandates: European Commission
Control and Discovery of Reactive System Environments
N Piterman, M Keegan, V Braberman, N D'Ippolito, S Uchitel
University of Leicester, 2020
Mandates: European Commission, Government of Argentina
Control and discovery of environment behaviour
M Keegan, V Braberman, N D'Ippolito, N Piterman, S Uchitel
IEEE Transactions on Software Engineering 48 (6), 1965-1978, 2020
Mandates: European Commission, Government of Argentina
Reconfigurable Interaction for MAS
N Piterman, YA Rahman, G Perelli
University of Leicester, 2020
Mandates: European Commission
Combinations of Qualitative Winning for Stochastic Parity Games
N Piterman, K Chatterjee
University of Leicester, 2020
Mandates: Austrian Science Fund, European Commission, Vienna Science and Technology …
Heterogeneity of Myc expression in breast cancer exposes pharmacological vulnerabilities revealed through executable mechanistic modeling
P Kreuzaler, MA Clarke, EJ Brown, CH Wilson, RM Kortlever, N Piterman, ...
Proceedings of the National Academy of Sciences 116 (44), 22399-22408, 2019
Mandates: Cancer Research UK, UK Medical Research Council, Wellcome Trust
Publication and funding information is determined automatically by a computer program