Mark B. Trakhtenbrot - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2022

Boris (Boaz) Trakhtenbrot - The BeginningMark B. Trakhtenbrot. FUIN, 186(1-4):219-236, 2022. [doi]

2019

An Approach to Validation of Combined Natural Language and Formal Requirements for Control SystemsMark B. Trakhtenbrot. RE 2019: 110-115 [doi]

2017

Mutation Patterns for Temporal Requirements of Reactive SystemsMark B. Trakhtenbrot. icst 2017: 116-121 [doi]

2016

Identification and addressing reduction-related misconceptionsJudith Gal-Ezer, Mark B. Trakhtenbrot. csedu, 26(2-3):89-103, 2016. [doi]

Reduction Patterns: A Practical Tool for Proving UndecidabilityJudith Gal-Ezer, Mark B. Trakhtenbrot. iticse 2016: 355 [doi]

2008

Synthesis of Monitors for Real-Time Analysis of Reactive SystemsMikhail Auguston, Mark B. Trakhtenbrot. birthday 2008: 72-86 [doi]

2006

Algebraic characterization of regular languages: how to cope with all these equivalences?Judith Gal-Ezer, Mark B. Trakhtenbrot. iticse 2006: 325 [doi]

2005

Challenges in teaching the pumping lemma in automata theory courseJudith Gal-Ezer, Mark B. Trakhtenbrot. iticse 2005: 369 [doi]

Use of Verification for Testing and Debugging of Complex Reactive SystemsMark B. Trakhtenbrot. SEFM 2005: 13-22 [doi]

2003

Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learningMark B. Trakhtenbrot. iticse 2003: 241 [doi]

1996

Statecharts in Use: Structured Analysis and Object-OrientationBruce Powel Douglass, David Harel, Mark B. Trakhtenbrot. eef 1998: 368-394

1990

STATEMATE: A Working Environment for the Development of Complex Reactive SystemsDavid Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot. TSE, 16(4):403-414, 1990. [doi]

1984

Some Equivalent Transformations of Recursive Programs Based on Their Schematic PropertiesMark B. Trakhtenbrot. ipl, 18(5):275-283, 1984.

1976

Relationships Between Classes of Monotonic FunctionsMark B. Trakhtenbrot. TCS, 2(2):225-247, 1976.

1975

Program structure analysis in a global optimizationVictor N. Kasyanov, Mark B. Trakhtenbrot. ershov 1977: 90-104

On Representation of Sequential and Parallel FunctionsMark B. Trakhtenbrot. mfcs 1975: 411-417

Sign in or sign up to see more results.

runs on WebDSL