main.bib

@inproceedings{Cardelli:1997:PFL:263699.263735,
 author = {Cardelli, Luca},
 title = {Program Fragments, Linking, and Modularization},
 booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '97},
 year = {1997},
 isbn = {0-89791-853-3},
 location = {Paris, France},
 pages = {266--277},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/263699.263735},
 doi = {10.1145/263699.263735},
 acmid = {263735},
 publisher = {ACM},
 address = {New York, NY, USA}
}

@inproceedings{Curtis:1990:MSS:91556.91573,
 author = {Curtis, Pavel and Rauen, James},
 title = {A Module System for Scheme},
 booktitle = {Proceedings of the 1990 ACM Conference on LISP and Functional Programming},
 series = {LFP '90},
 year = {1990},
 isbn = {0-89791-368-X},
 location = {Nice, France},
 pages = {13--19},
 numpages = {7},
 url = {http://doi.acm.org/10.1145/91556.91573},
 doi = {10.1145/91556.91573},
 acmid = {91573},
 publisher = {ACM},
 address = {New York, NY, USA}
} 

%Microfluidics
@inproceedings{Amin07isca,
 author = {Amin, Ahmed M. and Thottethodi, Mithuna and Vijaykumar, T. N. and Wereley, Steven and Jacobson, Stephen C.},
 title = {Aquacore: A Programmable Architecture for Microfluidics},
 booktitle = {Proceedings of the 34th Annual International Symposium on Computer Architecture},
 series = {ISCA '07},
 year = {2007},
 isbn = {978-1-59593-706-3},
 location = {San Diego, California, USA},
 pages = {254--265},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/1250662.1250694},
 doi = {10.1145/1250662.1250694},
 acmid = {1250694},
 publisher = {ACM},
 keywords = {fluidic, fluidic microarchitecture, instruction set, microfluidics, programmable lab on a chip}
} 

%COMSOL
@misc{comsol,
author= {COMSOL Inc.},
title = {COMSOL Multiphysics Modelling Software},
year = 2016,
url = {https://www.comsol.com/},
urldate = {2016-11-07}
}

%Maplesim
@misc{Maplesim,
  author = {Maplesoft},
  title = {Maplesim - High Performance Phyical Modelling and Simulation},
  howpublished = {\url{http://www.maplesoft.com/products/maplesim/}},
  year = "2016",
  note = {Accessed: 2016-04-02}
}

%Modelica
@misc{modelica,
author= {Modelica and the Modelica Association},
title = {Modelica},
year = 2016,
url = {https://www.modelica.org/},
urldate = {2016-11-07}
}

@book{fem, 
    title = "An Introduction to the Finite Element Method (Third ed.)",
    author = "Reddy, J.N.",
    year = "2006",
    publisher = "McGraw-Hill"
}

%Axilog
@INPROCEEDINGS{axilog, 
author={A. Yazdanbakhsh and D. Mahajan and B. Thwaites and J. Park and A. Nagendrakumar and S. Sethuraman and K. Ramkrishnan and N. Ravindran and R. Jariwala and A. Rahimi and H. Esmaeilzadeh and K. Bazargan}, 
booktitle={2015 Design, Automation Test in Europe Conference Exhibition (DATE)}, 
title={Axilog: Language support for approximate hardware design}, 
year={2015}, 
pages={812-817}, 
doi={10.7873/DATE.2015.0513}, 
ISSN={1530-1591}, 
month={March},}



@inproceedings{Gil:2008:WIS:1449764.1449771,
 author = {Gil, Joseph and Maman, Itay},
 title = {Whiteoak: Introducing Structural Typing into Java},
 booktitle = {Proceedings of the 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications},
 series = {OOPSLA '08},
 year = {2008},
 isbn = {978-1-60558-215-3},
 location = {Nashville, TN, USA},
 pages = {73--90},
 numpages = {18},
 url = {http://doi.acm.org/10.1145/1449764.1449771},
 doi = {10.1145/1449764.1449771},
 acmid = {1449771},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstraction, java, structural subtyping}
} 

%CEGAR
@Inbook{cegar,
author="Clarke, Edmund
and Grumberg, Orna
and Jha, Somesh
and Lu, Yuan
and Veith, Helmut",
editor="Emerson, E. Allen
and Sistla, Aravinda Prasad",
title="Counterexample-Guided Abstraction Refinement ",
bookTitle="Computer Aided Verification: 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings",
year="2000",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="154--169",
isbn="978-3-540-45047-4",
doi="10.1007/10722167_15",
url="http://dx.doi.org/10.1007/10722167_15"
}