Mark B. Trakhtenbrot

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