Shmuel S. Tyszberowicz Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Igor Gelfgat, Shmuel S. Tyszberowicz, Amiram Yehudai: Granulated Code Generation of Interfering Functionalities. FedCSIS 2012: 1333-1340
2011
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bernhard Beckert, Christoph Gladisch, Shmuel S. Tyszberowicz, Amiram Yehudai: KeYGenU: combining verification-based and capture and replay techniques for regression unit testing. Int. J. Systems Assurance Engineering and Management 2(2): 97-113 (2011)
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Faitelson, Shmuel S. Tyszberowicz: Data refinement based testing. Int. J. Systems Assurance Engineering and Management 2(2): 144-154 (2011)
2010
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christoph Gladisch, Shmuel S. Tyszberowicz, Bernhard Beckert, Amiram Yehudai: Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay. TAP 2010: 61-76
2009
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai: GenUTest: a unit test and mock aspect generation tool. STTT 11(4): 273-290 (2009)
2008
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky: Developing Law-Governed Systems Using Aspects. Journal of Object Technology 7(9): 25-46 (2008)
2007
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz: Refactoring with Contracts. WRT 2007: 13-14
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai: Locating Regression Bugs. Haifa Verification Conference 2007: 218-234
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benny Pasternak, Shmuel S. Tyszberowicz, Amiram Yehudai: GenUTest: A Unit Test and Mock Aspect Generation Tool. Haifa Verification Conference 2007: 252-266
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Assaf Raman, Shmuel S. Tyszberowicz: The EasyCRC Tool. ICSEA 2007: 52
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
M. Kleyman, Shmuel S. Tyszberowicz, Amiram Yehudai: Refactoring Aspects into Java Code. SwSTE 2007: 35-47
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Constantin Serban, Shmuel S. Tyszberowicz: AspectJTamer: The Controlled Weaving of Independently Developed Aspects. SwSTE 2007: 57-65
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Bar-On, Shmuel S. Tyszberowicz: Derived Requirements Generation: The DRAS Methodology. SwSTE 2007: 116-126
2006
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz: Refactoring with Contracts. AGILE 2006: 53-64
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Constantin Serban, Shmuel S. Tyszberowicz: Enforcing Interaction Properties in AOSD-Enabled Systems. ICSEA 2006: 8
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz: Jose: Aspects for Design by Contract80-89. SEFM 2006: 80-89
2003
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Tal Lev-Ami, Shmuel S. Tyszberowicz: Reactive and Real-Time Systems Course: How to Get the Most Out of it. Real-Time Systems 25(2-3): 231-253 (2003)
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boris Litvak, Shmuel S. Tyszberowicz, Amiram Yehudai: Behavioral Consistency Validation of UML Diagrams. SEFM 2003: 118-125
1998
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shmuel S. Tyszberowicz: How to Implement a Safe Real-Time System: The OBSERV Implementation of the Production Cell Case Study. Real-Time Systems 15(1): 61-90 (1998)
1992
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Shmuel S. Tyszberowicz, Amiram Yehudai: OBSERV - A Prototyping Language and Environment. ACM Trans. Softw. Eng. Methodol. 1(3): 269-309 (1992)

Coauthor Index

1David Bar-On
[c5]
2Ohad Barzilay
[c2]
3Bernhard Beckert
[j7] [c12]
4David Faitelson
[j6]
5Yishai A. Feldman
[j4] [c11] [c4] [c2]
6Igor Gelfgat
[c13]
7Christoph Gladisch (Christoph David Gladisch)
[j7] [c12]
8Maayan Goldstein
[c11] [c4]
9M. Kleyman
[c7]
10Tal Lev-Ami
[j3]
11Boris Litvak
[c1]
12Naftaly H. Minsky
[j4]
13Dor Nir
[c10]
14Benny Pasternak
[j5] [c9]
15Assaf Raman
[c8]
16Constantin Serban
[j4] [c6] [c3]
17Amiram Yehudai
[c13] [j7] [c12] [j5] [c10] [c9] [c7] [c1] [j1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 06:57:05 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page