Tamarah Arons
According to our database1,
Tamarah Arons
authored at least 14 papers
between 1998 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
1998
2000
2002
2004
2006
2008
0
1
2
3
4
1
1
1
3
2
2
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Proceedings of the Design, Automation and Test in Europe, 2008
2006
Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.
Proceedings of the Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), 2006
2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Proceedings of the Foundations of Software Science and Computational Structures, 2003
Proceedings of the Verification: Theory and Practice, 2003
2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
Proceedings of the Computer Aided Verification, 13th International Conference, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
1999
Proceedings of the 12th International Conference on VLSI Design (VLSI Design 1999), 1999
Proceedings of the 36th Conference on Design Automation, 1999
1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998