HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

AFM17: Author Index

AuthorPapers
A
Aiello, M. AnthonyThe Measurement Library: Representing Physical Types in PVS
Arcaini, PaoloSMT for state-based formal methods: the ASM case study
B
Baranowski, MarekMoving the Needle on Rigorous Floating-Point Precision Tuning
Bonacina, Maria PaolaOn Conflict-Driven Reasoning
Briggs, IanMoving the Needle on Rigorous Floating-Point Precision Tuning
C
Chakrapani Rao, ArunMore Automated Formal Methods?! If so, why, where & how?
Chiang, Wei-FanMoving the Needle on Rigorous Floating-Point Precision Tuning
D
Damouche, NasrineSalsa: An Automatic Tool to Improve the Numerical Accuracy of Programs
Dutle, AaronThe MINERVA Software Development Process
G
Gargantini, AngeloSMT for state-based formal methods: the ASM case study
Gopalakrishnan, GaneshMoving the Needle on Rigorous Floating-Point Precision Tuning
H
Hocking, Ashlie B.The Measurement Library: Representing Physical Types in PVS
M
Martel, MatthieuSalsa: An Automatic Tool to Improve the Numerical Accuracy of Programs
Munoz, CesarThe MINERVA Software Development Process
N
Narkawicz, AnthonyThe MINERVA Software Development Process
R
Rakamaric, ZvonimirMoving the Needle on Rigorous Floating-Point Precision Tuning
Riccobene, ElviniaSMT for state-based formal methods: the ASM case study
S
Shankar, NatarajanA Brief Introduction to the PVS2C Code Generator
Solovyev, AlexeyMoving the Needle on Rigorous Floating-Point Precision Tuning
Copyright © 2012-2025 easychair.org. All rights reserved.