Niusha Hakimipour

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c3		Niusha Hakimipour, Paul A. Strooper: Exploring an Approach to Model-Based Testing from Behavior Trees. APSEC Workshops 2012: 80-86
	2011
j1		Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings: A model-based development approach for the verification of real-time Java code. Concurrency and Computation: Practice and Experience 23(13): 1583-1606 (2011)
	2010
c2		Niusha Hakimipour, Paul A. Strooper, Andy J. Wellings: TART: Timed-Automata to Real-Time Java Tool. SEFM 2010: 299-309
	2008
c1		Niusha Hakimipour, Paul A. Strooper, Roger Duke: Exploring Model-Based Development for the Verification of Real-Time Java Code. VERIFY 2008

Coauthor Index

1	Roger Duke	[c1]
2	Paul A. Strooper	[c3] [j1] [c2] [c1]
3	Andy J. Wellings (Andrew J. Wellings)	[j1] [c2]

Last update Thu May 23 11:03:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page