Članki z zahtevami za javni dostop - James F. PowerVeč o tem
Na voljo nekje: 10
Development of standard definitions and grading for maternal and fetal adverse event terminology
RN Spencer, K Hecher, G Norman, K Marsal, J Deprest, A Flake, ...
Prenatal diagnosis 42 (1), 15-26, 2022
Zahteve: German Research Foundation, UK Engineering and Physical Sciences Research …
An institution for Event-B
M Farrell, R Monahan, JF Power
International Workshop on Algebraic Development Techniques, 104-119, 2016
Zahteve: Irish Research Council
Building specifications in the Event-B institution
M Farrell, R Monahan, JF Power
Logical Methods in Computer Science 18, 2022
Zahteve: UK Engineering and Physical Sciences Research Council, Irish Research Council
Specification clones: an empirical study of the structure of event-B specifications
M Farrell, R Monahan, JF Power
Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017
Zahteve: Irish Research Council
Combining event-B and CSP: An institution theoretic approach to interoperability
M Farrell, R Monahan, JF Power
International Conference on Formal Engineering Methods, 140-156, 2017
Zahteve: Irish Research Council
Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving
A Healy, R Monahan, JF Power
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1558-1561, 2016
Zahteve: Science Foundation Ireland
Measurement of exception-handling code: An exploratory study
KO Dúlaigh, JF Power, PJ Clarke
2012 5th International Workshop on Exception Handling (WEH), 55-61, 2012
Zahteve: Science Foundation Ireland
Calibration and Analysis of Source Code Similarity Measures for Verilog Hardware Description Language Projects
JF Power, J Waldron
Proceedings of the 51st ACM Technical Symposium on Computer Science …, 2020
Zahteve: Science Foundation Ireland
Building specifications in the Event-B institution: a summary
M Farrell, R Monahan, JF Power
International Conference on Rigorous State-Based Methods, 245-253, 2023
Zahteve: UK Engineering and Physical Sciences Research Council, Irish Research Council
An Approach to Combining the Institutions for Event-B and Temporal Logic
M Farrell, R Monahan, JF Power, M Fisher
Zahteve: UK Engineering and Physical Sciences Research Council
Podatke o objavi in financiranju samodejno določi računalniški program