Ib Holm Sørensen : Publications

Click here to download all publications in a single bibtex file

@article{DBLP:journals/entcs/DaviesCCNS05,
  title = "Formality, Evolution, and Model-driven Software Engineering",
  author = "Jim Davies and Charles Crichton and Edward Crichton and David Neilson and Ib Holm S{\o}rensen",
  year = "2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "39-55",
  volume = "130",
  doi = "10.1016/j.entcs.2005.03.004",
}

@article{503192,
  title = "The use of B to specify, design and verify hardware",
  author = "Ifill, Wilson and Sorensen, Ib and Schneider, Steve",
  year = "2001",
  address = "Norwell, MA, USA",
  isbn = "0-7923-7949-7",
  pages = "43--62",
  publisher = "Kluwer Academic Publishers",
}

@article{503191,
  title = "B: towards zero defect software",
  author = "Sorensen, Ib and Neilson, David",
  year = "2001",
  address = "Norwell, MA, USA",
  isbn = "0-7923-7949-7",
  pages = "23--42",
  publisher = "Kluwer Academic Publishers",
}

@incollection{Sorensen:2001:BTZ:503188.503191,
  title = "High integrity software",
  author = "Sorensen, Ib and Neilson, David",
  year = "2001",
  address = "Norwell, MA, USA",
  chapter = "B: towards zero defect software",
  isbn = "0-7923-7949-7",
  pages = "23--42",
  publisher = "Kluwer Academic Publishers",
  url = "http://dl.acm.org/citation.cfm?id=503188.503191",
}

@inproceedings{722941,
  title = "Using B to Specify, Verify and Design Hardware Circuits",
  author = "S{\o}rensen, Ib",
  year = "1998",
  address = "London, UK, UK",
  booktitle = "ZUM '98: Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation",
  isbn = "3-540-65070-9",
  pages = "60--65",
  publisher = "Springer-Verlag",
}

@inproceedings{729697,
  title = "Applying the B Technologies on CICS",
  author = "Hoare, Jonathan and Dick, Jeremy and Neilson, Dave and S{\o}rensen, Ib",
  year = "1996",
  address = "London, UK, UK",
  booktitle = "FME '96: Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods",
  isbn = "3-540-60973-3",
  pages = "74--84",
  publisher = "Springer-Verlag",
}

@inproceedings{760473,
  title = "The B-Method",
  author = "Abrial, Jean-Raymond and Lee, Matthew K. O. and Neilson, Dave and Scharbach, P. N. and S{\o}rensen, Ib",
  year = "1991",
  address = "London, UK, UK",
  booktitle = "VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2",
  isbn = "3-540-54868-8",
  pages = "398--405",
  publisher = "Springer-Verlag",
}

@inproceedings{730303,
  title = "B-Tool",
  author = "Lee, Matthew K. O. and S{\o}rensen, Ib",
  year = "1991",
  address = "London, UK, UK",
  booktitle = "VDM '91: Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I",
  isbn = "3-540-54834-3",
  pages = "695--696",
  publisher = "Springer-Verlag",
}

@article{27653,
  title = "LAWS OF PROGRAMMING.",
  author = "Hoare, C.A.R., Hayes, I.J., He, Jifeng, Morgan C. C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.",
  year = "1987",
  issn = "00010782",
  journal = "Communications of the ACM",
  language = "English",
  number = "8",
  pages = "672-686",
  volume = "30",
  doi = "10.1145/27651.27653",
}

@article{102606,
  title = "Formal specification and design of a simple assembler",
  author = "S{\o}rensen, Ib Holm and Sufrin, Bernard",
  year = "1987",
  address = "Hertfordshire, UK, UK",
  isbn = "0-13-826579-8",
  pages = "225--244",
  publisher = "Prentice Hall International (UK) Ltd.",
}

@article{102603,
  title = "CAVIAR: a case study in specification",
  author = "Flinn, Bill and S{\o}rensen, Ib Holm",
  year = "1987",
  address = "Hertfordshire, UK, UK",
  isbn = "0-13-826579-8",
  pages = "141--188",
  publisher = "Prentice Hall International (UK) Ltd.",
}

@conference{Woodcock1987265,
  title = "MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . .",
  author = "Woodcock, J.C.P., Sorensen, I.H.",
  year = "1987",
  address = "Monterey, CA, USA",
  isbn = "0818607696",
  language = "English",
  pages = "265-268",
  publisher = "IEEE, New York, NY, USA",
}

@inproceedings{92611,
  title = "CAVIAR: a case study in specification",
  author = "Flinn, B. and S{\o}rensen, I. H.",
  year = "1986",
  address = "New York, NY, USA",
  booktitle = "Papers from three IBM computer science symposia on Application development systems: the inside story of multinational product development",
  isbn = "0-387-70017-X",
  pages = "126--164",
  publisher = "Springer-Verlag New York, Inc.",
}

@conference{Sorensen1982381,
  title = "SPECIFICATION LANGUAGE.",
  author = "Sorensen, Ib Holm",
  year = "1982",
  address = "Aarhus, Den",
  isbn = "3540114904",
  journal = "Lecture Notes in Computer Science",
  language = "English",
  pages = "381-401",
  publisher = "Springer-Verlag, Berlin, West Ger",
}

@inproceedings{729030,
  title = "A Specification Language",
  author = "S{\o}rensen, Ib",
  year = "1982",
  address = "London, UK, UK",
  booktitle = "Program Specification, Proceedings of a Workshop",
  isbn = "3-540-11490-4",
  pages = "381--401",
  publisher = "Springer-Verlag",
}

@inproceedings{729036,
  title = "Communication Network",
  author = "Nielsen, Leif Sandegaard and S{\o}rensen, Ib",
  year = "1982",
  address = "London, UK, UK",
  booktitle = "Program Specification, Proceedings of a Workshop",
  isbn = "3-540-11490-4",
  pages = "118--136",
  publisher = "Springer-Verlag",
}

@inproceedings{729041,
  title = "KWIC-index generation",
  author = "Steensgaard-Madsen, J{\o}rgen and Hughes, Jane W. and Powell, Malcolm S. and Ehrig, Hartmut and Kreowski, Hans-J\"{o}rg and Nielsen, Leif Sandegaard and Abrial, Jean-Raymond and S{\o}rensen, Ib and Gallimore, Robin M. and Coleman, Derek and Goguen, Joseph A.",
  year = "1982",
  address = "London, UK, UK",
  booktitle = "Program Specification, Proceedings of a Workshop",
  isbn = "3-540-11490-4",
  pages = "47--117",
  publisher = "Springer-Verlag",
}