Old Web
English
Sign In
Acemap
>
authorDetail
>
Philippa Ryan Conmy
Philippa Ryan Conmy
Computer science
Software
Code coverage
Systems engineering
Test case
5
Papers
83
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy
2019
IEEE Computer
Robin Bloomfield
Heidy Khlaaf
Philippa Ryan Conmy
Gareth Fletcher
Show All
Source
Cite
Save
Citations (15)
Assisted Coverage Closure
2016
NFM | NASA Formal Methods
Adam Nellis
Pascal Kesseli
Philippa Ryan Conmy
Daniel Kroening
Peter Schrammel
Michael Tautschnig
Show All
Source
Cite
Save
Citations (1)
Assisted Coverage Closure
2015
arXiv: Software Engineering
Adam Nellis
Pascal Kesseli
Philippa Ryan Conmy
Daniel Kroening
Peter Schrammel
Michael Tautschnig
Show All
Source
Cite
Save
Citations (1)
WCET analysis methods: Pitfalls and challenges on their trustworthiness
2015
SIES | International Symposium on Industrial Embedded Systems
Jaume Abella
Carles Hernandez
Eduardo Quiñones
Francisco J. Cazorla
Philippa Ryan Conmy
Mikel Azkarate-Askasua
Jon Perez
Enrico Mezzetti
Tullio Vardanega
Show All
Source
Cite
Save
Citations (66)
Cross-Domain Certification for Hybrid Worst Case Execution Time Analysis: Current and Future Approaches
2015
Philippa Ryan Conmy
Guillem Bernat
Zoe Stephenson
David George
Show All
Source
Cite
Save
Citations (0)
1