Bibtex entries of Prof. Shmuel Katz

inproceedings{Katz:2008:IAI:1394496.1394500,
  author = {Katz, Emilia and Katz, Shmuel},
  title = {Incremental analysis of interference among aspects},
  booktitle = {Proceedings of the 7th workshop on Foundations of aspect-oriented languages},
  series = {FOAL '08},
  year = {2008},
  isbn = {978-1-60558-110-1},
  location = {Brussels, Belgium},
  pages = {29--38},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/1394496.1394500},
  doi = {http://doi.acm.org/10.1145/1394496.1394500},
  acmid = {1394500},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {aspects, detection, interference, model-checking, specification},
}

@article{AFK88,
  author = {Krzysztof Apt and Nissim Francez and Shmuel Katz},
  title = {Appraising fairness in distributed languages},
  journal = {Distributed Computing},
  volume = {2},
  month = {August},
  year = {1988},
  pages = {226 - 241},
}

@article{EFK89,
  author = {Michael Evangelist and Nissim Francez and Shmuel Katz},
  title = {Multiparty interactions for interprocess communication and synchronization},
  journal = {IEEE-TSE},
  volume = {15},
  number = {11},
  month = {November},
  year = {1989},
  pages = {1417 - 1426},
}

article{Goldman:2010:MMA:1891353.1891379,
  author = {Goldman, Max and Katz, Emilia and Katz, Shmuel},
  title = {MAVEN: modular aspect verification and interference analysis},
  journal = {Formal Methods in System Design},
  issue_date = {November 2010},
  volume = {37},
  issue = {1},
  month = {November},
  year = {2010},
  issn = {0925-9856},
  pages = {61--92},
  numpages = {32},
  url = {http://dx.doi.org/10.1007/s10703-010-0101-1},
  doi = {http://dx.doi.org/10.1007/s10703-010-0101-1},
  acmid = {1891379},
  publisher = {Kluwer Academic Publishers},
  address = {Hingham, MA, USA},
  keywords = {Aspects, Detection, Interference, Model-checking, Modularity, Verification},
}

inproceedings{Katz:2010:UQS:1915075.1915893,
  author = {Katz, Emilia and Katz, Shmuel},
  title = {User Queries for Specification Refinement Treating Shared Aspect Join Points},
  journal = {Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods},
  series = {SEFM '10},
  year = {2010},
  isbn = {978-0-7695-4153-2},
  pages = {73--82},
  numpages = {10},
  url = {http://dx.doi.org/10.1109/SEFM.2010.16},
  doi = {http://dx.doi.org/10.1109/SEFM.2010.16},
  acmid = {1915893},
  publisher = {IEEE Computer Society},
  address = {Washington, DC, USA},
  keywords = {formal specification, semantics, aspect interference, shared join-points},
}

@inproceedings{EventsAOSD11,
  author = {Bockisch, Christoph and Malakuti, Somayeh and Ak\c{s}it, Mehmet and Katz, Shmuel},
  title = {Making aspects natural: events and composition},
  booktitle = {Proceedings of the tenth international conference on Aspect-oriented software development},
  series = {AOSD '11},
  year = {2011},
  isbn = {978-1-4503-0605-8},
  location = {Porto de Galinhas, Brazil},
  pages = {285--300},
  numpages = {16},
  url = {http://doi.acm.org/10.1145/1960275.1960312},
  doi = {10.1145/1960275.1960312},
  acmid = {1960312},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {aspect and event composition, aspect-oriented programming, event declarations and detectors},
}

@article{DBLP:journals/taosd/Katz06,
  author = {Katz, Shmuel},
  title = {Aspect Categories and Classes of Temporal Properties},
  journal = {Transactions on Aspect-Oriented Software Development I},
  year = {2006},
  pages = {106-134},
  crossref = {DBLP:journals/taosd/2006-1},
  bibsource = {DBLP, http://dblp.uni-trier.de},
}

@inproceedings{Alperin-Tsimerman2009,
  author = {Alperin-Tsimerman, Yevgenia and Katz, Shmuel},
  title = {Dataflow analysis for properties of aspect systems},
  booktitle = {Proceedings of 5th Haifa Verification Conference, LNCS 6405},
  year = {2009},
  owner = {cdisenfe},
  timestamp = {2011.01.06},
}

inproceedings{Disenfeld:2011:CVE:1960510.1960512,
  author = {Disenfeld, Cynthia and Katz, Shmuel},
  title = {Compositional verification of events and observers: (summary)},
  booktitle = {Proceedings of the 10th international workshop on Foundations of aspect-oriented languages},
  series = {FOAL '11},
  year = {2011},
  isbn = {978-1-4503-0644-7},
  location = {Porto de Galinhas, Brazil},
  pages = {1--5},
  numpages = {5},
  url = {http://doi.acm.org/10.1145/1960510.1960512},
  doi = {http://doi.acm.org/10.1145/1960510.1960512},
  acmid = {1960512},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {composition, events, observer aspects, verification},
}

inproceedings{Katz:2009:MVS:1509837.1509840,
  author = {Katz, Emilia and Katz, Shmuel},
  title = {Modular verification of strongly invasive aspects: summary},
  booktitle = {Proceedings of the 2009 workshop on Foundations of aspect-oriented languages},
  series = {FOAL '09},
  year = {2009},
  isbn = {978-1-60558-452-2},
  location = {Charlottesville, Virginia, USA},
  pages = {7--12},
  numpages = {6},
  url = {http://doi.acm.org/10.1145/1509837.1509840},
  doi = {http://doi.acm.org/10.1145/1509837.1509840},
  acmid = {1509840},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {aspects, model-checking, modularity, specification},
}

article{springerlink:10.1007/s10009-006-0003-0,
  author = {Grumberg, Orna and Katz, Shmuel},
  affiliation = {The Technion Computer Science Department Haifa Israel Haifa Israel},
  title = {VeriTech: a framework for translating among model description notations},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  publisher = {Springer Berlin / Heidelberg},
  issn = {1433-2779},
  keyword = {Computer Science},
  pages = {119-132},
  volume = {9},
  issue = {2},
  url = {http://dx.doi.org/10.1007/s10009-006-0003-0},
  note = {10.1007/s10009-006-0003-0},
  year = {2007},
}

@article{CAPE,
  author = {Katz, Shmuel and Faitelson, David},
  affiliation = {Computer Science Department, The Technion, Haifa, Israel},
  title = {The common aspect proof environment},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  publisher = {Springer Berlin / Heidelberg},
  issn = {1433-2779},
  keyword = {Computer Science},
  pages = {41-52},
  volume = {14},
  issue = {1},
  url = {http://dx.doi.org/10.1007/s10009-011-0191-0},
  note = {10.1007/s10009-011-0191-0},
  year = {2012},
}

@inproceedings{InterferenceJoint,
  author = {Cynthia Disenfeld and Shmuel Katz},
  title = {A Closer Look at Aspect Interference and Cooperation},
  booktitle = {Modularity and AOSD 2012},
  publisher = {ACM},
  year = {2012},
}