גישה ציבורית

Single photoelectron time resolution studies of the PICOSEC-Micromegas detector‏

L Sohl, S Aune, J Bortfeldt, F Brunbauer, C David, D Desforge, ...‏

Journal of Instrumentation 15 (04), C04053, 2020‏

הרשאות: US Department of Energy, Fundação para a Ciência e a Tecnologia, Portugal‏

Expressive program verification via structured specifications‏

C Gherghina, C David, S Qin, WN Chin‏

International Journal on Software Tools for Technology Transfer 16, 363-380, 2014‏

הרשאות: National Natural Science Foundation of China, UK Engineering and Physical …‏

זמינים באתר כלשהו: 19

[HTML] springer.com

Counterexample guided inductive synthesis modulo theories‏

A Abate, C David, P Kesseli, D Kroening, E Polgreen‏

International Conference on Computer Aided Verification, 270-288, 2018‏

הרשאות: European Commission, Royal Society UK‏

Automated formal synthesis of digital controllers for state-space physical plants‏

A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...‏

International Conference on Computer Aided Verification, 462-482, 2017‏

הרשאות: UK Engineering and Physical Sciences Research Council, European Commission‏

Unrestricted termination and non-termination arguments for bit-vector programs‏

C David, D Kroening, M Lewis‏

Programming Languages and Systems: 24th European Symposium on Programming …, 2015‏

הרשאות: UK Engineering and Physical Sciences Research Council‏

Sound and automated synthesis of digital stabilizing controllers for continuous plants‏

A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...‏

Proceedings of the 20th International Conference on Hybrid Systems …, 2017‏

הרשאות: UK Engineering and Physical Sciences Research Council, European Commission‏

[PDF] sciencedirect.com

Timing performance of a multi-pad PICOSEC-Micromegas detector prototype‏

S Aune, J Bortfeldt, F Brunbauer, C David, D Desforge, G Fanourakis, ...‏

Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2021‏

הרשאות: US Department of Energy, Fundação para a Ciência e a Tecnologia, Portugal‏

Bit-precise procedure-modular termination analysis‏

HY Chen, C David, D Kroening, P Schrammel, B Wachter‏

ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-38, 2017‏

הרשאות: UK Engineering and Physical Sciences Research Council, European Commission‏

[HTML] springer.com

Automated formal synthesis of provably safe digital controllers for continuous plants‏

A Abate, I Bessa, L Cordeiro, C David, P Kesseli, D Kroening, E Polgreen‏

Acta Informatica 57 (1), 223-244, 2020‏

הרשאות: UK Engineering and Physical Sciences Research Council, European Commission …‏

[HTML] acm.org

Program synthesis for program analysis‏

C David, P Kesseli, D Kroening, M Lewis‏

ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (2), 1-45, 2018‏

הרשאות: UK Engineering and Physical Sciences Research Council, European Commission‏

Using graph neural networks for program termination‏

Y Alon, C David‏

Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022‏

הרשאות: Royal Society UK‏

[PDF] sciencedirect.com

Progress on the PICOSEC-Micromegas Detector Development: Towards a precise timing, radiation hard, large-scale particle detector with segmented readout‏

K Kordas, J Bortfeldt, F Brunbauer, C David, D Desforge, G Fanourakis, ...‏

Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2020‏

הרשאות: US Department of Energy, Fundação para a Ciência e a Tecnologia, Portugal …‏

[PDF] iop.org

Recent developments on precise timing with the PICOSEC Micromegas detector‏

I Manthos, J Bortfeldt, F Brunbauer, C David, D Desforge, G Fanourakis, ...‏

Journal of Physics: Conference Series 1498 (1), 012014, 2020‏

הרשאות: US Department of Energy, Fundação para a Ciência e a Tecnologia, Portugal‏

Precise charged particle timing with the PICOSEC detector‏

J Bortfeldt, F Brunbauer, C David, D Desforge, G Fanourakis, J Franchi, ...‏

AIP Conference Proceedings 2075 (1), 2019‏

הרשאות: US Department of Energy, Fundação para a Ciência e a Tecnologia, Portugal …‏

Propositional reasoning about safety and termination of heap-manipulating programs‏

C David, D Kroening, M Lewis‏

Programming Languages and Systems: 24th European Symposium on Programming …, 2015‏

הרשאות: UK Engineering and Physical Sciences Research Council‏

[PDF] ox.ac.uk

Model and proof generation for heap-manipulating programs‏

M Brain, C David, D Kroening, P Schrammel‏

Programming Languages and Systems: 23rd European Symposium on Programming …, 2014‏

הרשאות: UK Engineering and Physical Sciences Research Council‏

Synbit: synthesizing bidirectional programs using unidirectional sketches‏

M Yamaguchi, K Matsuda, C David, M Wang‏

Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021‏

הרשאות: UK Engineering and Physical Sciences Research Council, Royal Society UK‏

[HTML] springer.com

Synthesising programs with non-trivial constants‏

A Abate, H Barbosa, C Barrett, C David, P Kesseli, D Kroening, ...‏

Journal of automated reasoning 67 (2), 19, 2023‏

הרשאות: European Commission, Royal Society UK‏

[PDF] springer.com

Abstracts from the NIHR INVOLVE Conference 2017: London, UK. 28 November 2017‏

D Muir, LE Vat, M Keller, T Bell, CR Jørgensen, NB Eskildsen, ...‏

Research Involvement and Engagement 3, 1-17, 2017‏

הרשאות: Alzheimers's UK, Wellcome Trust‏

[HTML] cam.ac.uk