@INPROCEEDINGS{HuismanH07b,
author = {Marieke Huisman and Cl\'ement Hurlin},
title = {Permission Specifications for Common Multithreaded Programming Patterns},
booktitle = {Reflections
on Type Theory, Lambda Calculus, and the Mind. Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday},
year = 2007,
topics = {team},
pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/patterns.pdf}
}
@INPROCEEDINGS{GurovHS08,
author = {D. Gurov and M. Huisman and C. Sprenger},
title = {An Algorithmic Approach to Compositional Verification of Sequential Programs with Procedures: An Overview},
booktitle = {Foundations of Interface Technologies (FIT 2008)},
year = 2008,
editors = {K.G. Larsen and A. Wasowski and U. Nyman},
topics = {team},
pdfurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/fit.pdf}
}
@ARTICLE{GurovHS08b,
author = {D. Gurov and M. Huisman and C. Sprenger},
title = {Compositional Verification of Sequential Programs with Procedures},
journal = {Information and Computation},
volume = 206,
issue = 7,
pages = {840--868},
year = {2008},
note = {team},
url = {http://dx.doi.org/10.1016/j.ic.2008.03.003}
}
@INPROCEEDINGS{GH05,
author = {D. Gurov and M. Huisman},
title = {Interface Abstraction for Compositional Verification},
crossref = {sefm05},
pages = {414-423},
psurl = {http://www.nada.kth.se/~dilian/Papers/sefm05.ps.gz},
note = {An earlier version appeared as INRIA Technical Report, nr. RR-5330},
topics = {team}
}
@INPROCEEDINGS{BergHJP00,
author = {Berg, J. van den and M. Huisman and B. Jacobs
and E. Poll},
title = {A Type-Theoretic Memory Model for Verification of
Sequential {Java} Programs},
booktitle = {Recent Trends in Algebraic Development Techniques},
series = {Lecture Notes in Computer Science},
number = 1827,
pages = {1-21},
editor = {D. Bert and C. Choppy and P.D. Mosses},
publisher = {Springer-Verlag},
year = 2000,
psurl = {http://www.cs.kun.nl/~bart/PAPERS/WADT99.ps.Z}
}
@INPROCEEDINGS{HuismanJB99a,
author = {M. Huisman and B. Jacobs and Berg, J. van den},
title = {A case study in class library verification:
{Java}'s {Vector} class (abstract)},
booktitle = {Formal Techniques for Java Programs},
editor = {B. Jacobs and G.T. Leavens and P. M{\"u}ller and
A. Poetzsch-Heffter},
series = {Informatik Berichte FernUniversit{\"a}t Hagen},
number = {251 - 5/1999},
year = 1999,
psurl = {http://www.cs.kun.nl/~bart/PAPERS/Vector_kort.ps.Z}
}
@INPROCEEDINGS{JacobsBHBHT98,
author = {B. Jacobs and Berg, J. van den and M. Huisman and
M. van Berkum and U. Hensel and H. Tews},
title = {Reasoning about {Java} Classes
(Preliminary Report)},
booktitle = {Object-Oriented Programming, Systems, Languages
and Applications (OOPSLA'98)},
publisher = {ACM Press},
pages = {329--340},
year = {1998},
psurl = {http://www.cs.kun.nl/~bart/PAPERS/OOPSLA98.ps.Z}
}
@TECHREPORT{BGHKJ-5331,
author = {F. Bellegarde and J. Groslambert and M. Huisman and O. Kouchnarenko and J. Julliand},
title = {Verification of Liveness Properties with {JML}},
institution = {INRIA},
year = {2004},
number = {RR-5331},
topics = {team},
psurl = {ftp://ftp-sop.inria.fr/everest/Marieke.Huisman/liveness.ps.gz}
}
@TECHREPORT{GurovHS06,
author = {D. Gurov and M. Huisman and C. Sprenger},
title = {Compositional Verification of Sequential Programs with Procedures},
institution = {INRIA},
year = {2006},
topics = {team}
}
@PROCEEDINGS{sefm05,
title = {Software Engineering and Formal Methods (SEFM'05)},
booktitle = {Proceedings of SEFM'05},
editor = {B. Aichernig and B. Beckert},
publisher = {IEEE Computer Society},
month = {September},
address = {Koblenz, Germany},
year = 2005
}
@PROCEEDINGS{cats05,
title = {Proceedings of CATS'05},
booktitle = {Proceedings of CATS'05},
year = 2005,
editor = {M. Atkinson and F. Dehne},
volume = 41,
series = {Conferences in Research and Practice in Information Technology},
address = {Newcastle, Australia},
month = {February},
publisher = {ACSC}
}
@PROCEEDINGS{cardis04,
editor = {P. Paradinas and J.-J. Quisquater},
booktitle = {{Proceedings of CARDIS'04}},
title = {{Proceedings of CARDIS'04}},
publisher = {Kluwer Academic Publishers},
year = {2004},
address = {Toulouse, France},
month = {August}
}
@PROCEEDINGS{memocode04proc,
booktitle = {Memocode'04},
title = {Memocode'04},
year = {2004},
publisher = {IEEE Computer Society},
editor = {C. Heitmeyer and J.-P. Talpin}
}
@PROCEEDINGS{fase04,
year = {2004},
booktitle = {Proceedings of {FASE}'04},
title = {Proceedings of {FASE}'04},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
volume = {2984},
editor = {M. Wermelinger and T. Margaria-Steffen},
address = {Barcelona, Spain},
month = {March}
}
@PROCEEDINGS{vmcai03,
booktitle = {VMCAI: Verification, Model Checking and Abstract Interpretation},
title = {VMCAI: Verification, Model Checking and Abstract Interpretation},
editor = {L. D. Zuck and P. C. Attie and A. Cortesi and S. Mukhopadhyay},
volume = {2575},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
month = {January 9-11},
year = {2003}
}
@PROCEEDINGS{fase02,
booktitle = {Fundamental Approaches to Software Engineering (FASE'02)},
title = {Fundamental Approaches to Software Engineering (FASE'02)},
year = {2002},
series = {Lecture Notes in Computer Science},
volume = {2306},
publisher = {Springer-Verlag}
}
@PROCEEDINGS{fme02,
booktitle = {FME 2002: Formal Methods: International Symposium of Formal Methods Europe},
title = {FME 2002: Formal Methods: International Symposium of Formal Methods Europe},
year = {2002},
editor = {L.-H. Eriksson and P. Lindsay},
volume = {2391},
series = {Lecture Notes in Computer Science},
address = {Copenhagen, Denmark},
month = {July},
publisher = {Springer-Verlag}
}
@PROCEEDINGS{amast02,
booktitle = {Proceedings of AMAST'02},
title = {Proceedings of AMAST'02},
editor = {H. Kirchner and C. Ringessein},
series = {Lecture Notes in Computer Science},
year = {2002},
publisher = {Springer-Verlag},
volume = {2422}
}
@PROCEEDINGS{esmart01,
year = {2001},
booktitle = {Proceedings of e-SMART'01},
title = {Proceedings of e-SMART'01},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
volume = {2140},
editor = {I. Attali and T. Jensen}
}