Temesghen Kahsai

	2012
8		Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen: Incremental Verification with Mode Variable Invariants in State Machines. NASA Formal Methods 2012: 388-402
7		Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli: Invariant stream generators using automatic abstract transformers based on a decidable logic CoRR abs/1205.3758: (2012)
	2011
6		Temesghen Kahsai, Yeting Ge, Cesare Tinelli: Instantiation-Based Invariant Discovery. NASA Formal Methods 2011: 192-206
5		Temesghen Kahsai, Cesare Tinelli: PKind: A parallel k-induction based model checker PDMC 2011: 55-62
	2008
4		Temesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305
3		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158
2		Temesghen Kahsai, Markus Roggenbach: Property Preserving Refinement for Csp-Casl. WADT 2008: 206-220
	2007
1		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246

Coauthor Index

1	Pierre-Loïc Garoche	[7] [8]
2	Yeting Ge	[6]
3	Marino Miculan	[4]
4	Markus Roggenbach	[1] [2] [3]
5	Bernd-Holger Schlingloff (Holger Schlingloff)	[1] [3]
6	Cesare Tinelli	[5] [6] [7] [8]
7	Mike Whalen	[8]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page