• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 102 matches

• 2024
• 
  Elron Bandel, Yotam Perlitz, Elad Venezian, Roni Friedman, Ofir Arviv, Matan Orbach, Shachar Don-Yehiya, Dafna Sheinwald, Ariel Gera, Leshem Choshen, Michal Shmueli-Scheuer, Yoav Katz:
  Unitxt: Flexible, Shareable and Reusable Data Preparation and Evaluation for Generative AI. NAACL (Demonstrations) 2024: 207-215
• 
  Elron Bandel, Yotam Perlitz, Elad Venezian, Roni Friedman-Melamed, Ofir Arviv, Matan Orbach, Shachar Don-Yehiya, Dafna Sheinwald, Ariel Gera, Leshem Choshen, Michal Shmueli-Scheuer, Yoav Katz:
  Unitxt: Flexible, Shareable and Reusable Data Preparation and Evaluation for Generative AI. CoRR abs/2401.14019 (2024)
• 
  Alon Halfon, Shai Gretz, Ofir Arviv, Artem Spector, Orith Toledo-Ronen, Yoav Katz, Liat Ein-Dor, Michal Shmueli-Scheuer, Noam Slonim:
  Stay Tuned: An Empirical Study of the Impact of Hyperparameters on LLM Tuning in Real-World Applications. CoRR abs/2407.18990 (2024)
• 2016
• 
  Cynthia Disenfeld, Shmuel Katz:
  Developing and Verifying Response Specifications in Hierarchical Event-Based Systems. LNCS Trans. Modul. Compos. 1: 41-79 (2016)
• 2015
• 
  Dima Elenbogen, Shmuel Katz, Ofer Strichman:
  Proving mutual termination. Formal Methods Syst. Des. 47(2): 204-229 (2015)
• 2014
• 
  Steven te Brinke, Somayeh Malakuti, Christoph Bockisch, Lodewijk Bergmans, Mehmet Aksit, Shmuel Katz:
  A tool-supported approach for modular design of energy-aware software. SAC 2014: 1206-1212
• 2013
• 
  Steven te Brinke, Christoph Bockisch, Lodewijk Bergmans, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz:
  Deriving minimal models for resource utilization. GIBSE@AOSD 2013: 15-18
• 
  Cynthia Disenfeld, Shmuel Katz:
  Specification and verification of event detectors and responses. AOSD 2013: 121-132
• 2012
• 
  Shmuel Katz, David Faitelson:
  The common aspect proof environment. Int. J. Softw. Tools Technol. Transf. 14(1): 41-52 (2012)
• 
  Cynthia Disenfeld, Shmuel Katz:
  A closer look at aspect interference and cooperation. AOSD 2012: 107-118
• 
  Dima Elenbogen, Shmuel Katz, Ofer Strichman:
  Proving Mutual Termination of Programs. Haifa Verification Conference 2012: 24-39
• 
  Shmuel Katz, Gary T. Leavens, Hidehiko Masuhara:
  Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, FOAL 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, ISBN 978-1-4503-1099-4 [contents]
• 2011
• 
  Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit, Shmuel Katz:
  Making aspects natural: events and composition. AOSD 2011: 285-300
• 
  Cynthia Disenfeld, Shmuel Katz:
  Compositional verification of events and observers: (summary). FOAL 2011: 1-5
• 
  Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen:
  Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV 2011: 44-56
• 
  Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen:
  Transactions on Aspect-Oriented Software Development VIII. Lecture Notes in Computer Science 6580, Springer 2011, ISBN 978-3-642-22030-2 [contents]
• 2010
• 
  Max Goldman, Emilia Katz, Shmuel Katz:
  MAVEN: modular aspect verification and interference analysis. Formal Methods Syst. Des. 37(1): 61-92 (2010)
• 
  Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit:
  Checking the Correspondence between UML Models and Implementation. RV 2010: 198-213
• 
  Emilia Katz, Shmuel Katz:
  User Queries for Specification Refinement Treating Shared Aspect Join Points. SEFM 2010: 73-82
• 
  Shmuel Katz, Mira Mezini, Jörg Kienzle:
  Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling. Lecture Notes in Computer Science 6210, Springer 2010, ISBN 978-3-642-16085-1 [contents]
• 2009
• 
  Iris Reinhartz-Berger, Dov Dori, Shmuel Katz:
  Reusing semi-specified behavior models in systems analysis and design. Softw. Syst. Model. 8(2): 221-234 (2009)
• 
  Ruzanna Chitchyan, Johan Fabry, Shmuel Katz, Arend Rensink:
  Editorial for Special Section on Dependencies and Interactions with Aspects. LNCS Trans. Aspect Oriented Softw. Dev. 5: 133-134 (2009)
• 
  Oren Mishali, Shmuel Katz:
  The HighspectJ framework. ACP4IS@AOSD 2009: 19-24
• 
  Emilia Katz, Shmuel Katz:
  Modular Verification of Strongly Invasive Aspects. Languages: From Formal to Natural 2009: 128-147
• 
  Emilia Katz, Shmuel Katz:
  Modular verification of strongly invasive aspects: summary. FOAL 2009: 7-12
• 
  Yevgenia Alperin-Tsimerman, Shmuel Katz:
  Dataflow Analysis for Properties of Aspect Systems. Haifa Verification Conference 2009: 87-101
• 
  Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner:
  Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5533, Springer 2009, ISBN 978-3-642-01747-6 [contents]
• 
  Shmuel Katz, Harold Ossher, Robert B. France, Jean-Marc Jézéquel:
  Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering. Lecture Notes in Computer Science 5560, Springer 2009, ISBN 978-3-642-03763-4 [contents]
• 2008
• 
  Shmuel Katz:
  Aspects and Formal Methods. FM 2008: 1-11
• 
  Emilia Katz, Shmuel Katz:
  Incremental analysis of interference among aspects. FOAL 2008: 29-38

skipping 72 more matches