Mark B. Trakhtenbrot

According to our database, Mark B. Trakhtenbrot authored at least 21 papers between 1975 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Boris (Boaz) Trakhtenbrot - The Beginning.

Mark B. Trakhtenbrot

Fundam. Informaticae, 2022

2019

An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems.

Mark B. Trakhtenbrot

Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019

2017

Mutation Patterns for Temporal Requirements of Reactive Systems.

Mark B. Trakhtenbrot

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Identification and addressing reduction-related misconceptions.

Judith Gal-Ezer, Mark B. Trakhtenbrot

Comput. Sci. Educ., 2016

Reduction Patterns: A Practical Tool for Proving Undecidability.

Judith Gal-Ezer, Mark B. Trakhtenbrot

Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, 2016

2013

Students misconceptions in analysis of algorithmic and computational complexity of problems.

Mark B. Trakhtenbrot

Proceedings of the Innovation and Technology in Computer Science Education conference 2013, 2013

2011

Analysis of Applicability for Synchronization Complexity Metric.

Peter Yastrebenetsky, Mark B. Trakhtenbrot

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

Synchronization Complexity Metric.

Peter Yastrebenetsky, Mark B. Trakhtenbrot

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Implementation-Oriented Mutation Testing of Statechart Models.

Mark B. Trakhtenbrot

Proceedings of the Third International Conference on Software Testing, 2010

2008

Synthesis of Monitors for Real-Time Analysis of Reactive Systems.

Mikhail Auguston, Mark B. Trakhtenbrot

Proceedings of the Pillars of Computer Science, 2008

2006

Algebraic characterization of regular languages: how to cope with all these equivalences?

Judith Gal-Ezer, Mark B. Trakhtenbrot

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2005

Use of Verification for Testing and Debugging of Complex Reactive Systems.

Mark B. Trakhtenbrot

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Challenges in teaching the pumping lemma in automata theory course.

Judith Gal-Ezer, Mark B. Trakhtenbrot

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

An Undergraduate Program in Embedded Systems Engineering.

Bruria Haberman, Mark B. Trakhtenbrot

Proceedings of the 18th Conference on Software Engineering Education and Training (CSEE&T 2005), 2005

2003

Analysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning.

Mark B. Trakhtenbrot

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

1996

Statecharts in Use: Structured Analysis and Object-Orientation.

Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot

Proceedings of the Lectures on Embedded Systems, European Educational Forum, 1996

1990

STATEMATE: A Working Environment for the Development of Complex Reactive Systems.

David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, Mark B. Trakhtenbrot

IEEE Trans. Software Eng., 1990

1984

Some Equivalent Transformations of Recursive Programs Based on Their Schematic Properties.

Mark B. Trakhtenbrot

Inf. Process. Lett., 1984

1976

Relationships Between Classes of Monotonic Functions.

Mark B. Trakhtenbrot

Theor. Comput. Sci., 1976

1975

On Representation of Sequential and Parallel Functions.

Mark B. Trakhtenbrot

Proceedings of the Mathematical Foundations of Computer Science 1975, 1975

Program structure analysis in a global optimization.

Victor N. Kasyanov, Mark B. Trakhtenbrot

Proceedings of the Methods of Algorithmic Language Implementation [Symposium, 1975