Articles with public access mandates - Nir PitermanLearn more
Available somewhere: 43
A dynamic physical model of cell migration, differentiation and apoptosis in Caenorhabditis elegans
A Beyer, R Eberhard, N Piterman, MO Hengartner, A Hajnal, J Fisher
Advances in Systems Biology, 211-233, 2012
Mandates: Swiss National Science Foundation
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
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
Obligation blackwell games and p-automata
K Chatterjee, N Piterman
University of Leicester, 2017
Mandates: UK Engineering and Physical Sciences Research Council
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
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
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
Predictive Modelling of Stem Cell Differentiation and Apoptosis in C. elegans
A Beyer, R Eberhard, N Piterman, MO Hengartner, A Hajnal, J Fisher
Information Processign in Cells and Tissues: 9th International Conference …, 2012
Mandates: Swiss National Science Foundation
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
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
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
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
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
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
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
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
N Piterman, P Kreuzaler, MA Clarke, EJ Brown, CH Wilson, RM Kortlever, ...
University of Leicester, 2019
Mandates: Cancer Research UK, UK Medical Research Council, Wellcome Trust
Publication and funding information is determined automatically by a computer program