Mark B. Trakhtenbrot

Publication Activity (10 Years)

Years Active: 1975-2022
Publications (10 Years): 5

Top Topics

Requirements Specification

Reactive Systems

Natural Language

Design Patterns

Top Venues

Fundam. Informaticae

Comput. Sci. Educ.

Publications

Mark B. Trakhtenbrot
Boris (Boaz) Trakhtenbrot - The Beginning. Fundam. Informaticae 186 (1-4) (2022)
Mark B. Trakhtenbrot
An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems. RE Workshops (2019)
Mark B. Trakhtenbrot
Mutation Patterns for Temporal Requirements of Reactive Systems. ICST Workshops (2017)
Judith Gal-Ezer, Mark B. Trakhtenbrot
Reduction Patterns: A Practical Tool for Proving Undecidability. ITiCSE (2016)
Judith Gal-Ezer, Mark B. Trakhtenbrot
Identification and addressing reduction-related misconceptions. Comput. Sci. Educ. 26 (2-3) (2016)
Mark B. Trakhtenbrot
Students misconceptions in analysis of algorithmic and computational complexity of problems. ITiCSE (2013)
Peter Yastrebenetsky, Mark B. Trakhtenbrot
Analysis of Applicability for Synchronization Complexity Metric. ECBS (2011)
Peter Yastrebenetsky, Mark B. Trakhtenbrot
Synchronization Complexity Metric. SEKE (2010)
Mark B. Trakhtenbrot
Implementation-Oriented Mutation Testing of Statechart Models. ICST Workshops (2010)
Mikhail Auguston, Mark B. Trakhtenbrot
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. Pillars of Computer Science (2008)
Judith Gal-Ezer, Mark B. Trakhtenbrot
Algebraic characterization of regular languages: how to cope with all these equivalences? ITiCSE (2006)
Judith Gal-Ezer, Mark B. Trakhtenbrot
Challenges in teaching the pumping lemma in automata theory course. ITiCSE (2005)
Mark B. Trakhtenbrot
Use of Verification for Testing and Debugging of Complex Reactive Systems. SEFM (2005)
Bruria Haberman, Mark B. Trakhtenbrot
An Undergraduate Program in Embedded Systems Engineering. CSEE&T (2005)
Mark B. Trakhtenbrot
Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning. ITiCSE (2003)
Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot
Statecharts in Use: Structured Analysis and Object-Orientation. European Educational Forum: School on Embedded Systems (1996)
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot
STATEMATE: A Working Environment for the Development of Complex Reactive Systems. IEEE Trans. Software Eng. 16 (4) (1990)
Mark B. Trakhtenbrot
Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties. Inf. Process. Lett. 18 (5) (1984)
Mark B. Trakhtenbrot
Relationships Between Classes of Monotonic Functions. Theor. Comput. Sci. 2 (2) (1976)
Mark B. Trakhtenbrot
On Representation of Sequential and Parallel Functions. MFCS (1975)
Victor N. Kasyanov, Mark B. Trakhtenbrot
Program structure analysis in a global optimization. Methods of Algorithmic Language Implementation (1975)