Publications

All the publications

Bibliography by years

1990	1991	1992	1993	1996	1997
1999	2000	2001	2002	2003	2004
2005	2006	2007	2008	2009	2010
2011	2012

Bibliography by categories

Academic Journals	Books	Book Chapters
International Conferences
Research Reports	Misc

Bibliography by keywords

Model-based verification techniques	Modeling and specification languages	Modeling and Validation of Wireless Sensor Networks	Test and run-time verification