Skip to content
cs-conference-ranking.org

Mark B. Trakhtenbrot

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

6

Active years

1975–2019

Best venue rank

B

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2019REAn Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems.Mark B. Trakhtenbrot
2017ICSTMutation Patterns for Temporal Requirements of Reactive Systems.Mark B. Trakhtenbrot
2016ITiCSEReduction Patterns: A Practical Tool for Proving Undecidability.Judith Gal-Ezer, Mark B. Trakhtenbrot
2013ITiCSEStudents misconceptions in analysis of algorithmic and computational complexity of problems.Mark B. Trakhtenbrot
2010ICSTImplementation-Oriented Mutation Testing of Statechart Models.Mark B. Trakhtenbrot
2010SEKESynchronization Complexity Metric.Peter Yastrebenetsky, Mark B. Trakhtenbrot
2006ITiCSEAlgebraic characterization of regular languages: how to cope with all these equivalences?Judith Gal-Ezer, Mark B. Trakhtenbrot
2005ITiCSEChallenges in teaching the pumping lemma in automata theory course.Judith Gal-Ezer, Mark B. Trakhtenbrot
2005SEFMUse of Verification for Testing and Debugging of Complex Reactive Systems.Mark B. Trakhtenbrot
2003ITiCSEAnalysis of typical misconceptions in a theoretical CS course, and how to address them in e-learning.Mark B. Trakhtenbrot
1975MFCSOn Representation of Sequential and Parallel Functions.Mark B. Trakhtenbrot