Dr. Hillel Kugler

Published in:Lecture Notes in Computer Science
Publication date:2013-01-01

Published in:Fundamental Approaches to Software Engineering
Publication date:Not available

Published in:Time for Verification
Publication date:2010-01-01

Published in:Implementation and Application of Automata
Publication date:2001-01-01

Published in:Fundamental Approaches to Software Engineering
Publication date:2009-01-01

Published in:Lecture Notes in Computer Science
Publication date:2011-01-01

Published in:ACM SIGPLAN Notices
Publication date:2002-11-17

Published in:Tools and Algorithms for the Construction and Analysis of Systems
Publication date:Not available

Published in:Formal Methods in Software and Systems Modeling
Publication date:2005-01-01

Published in:Integration of Software Specification Techniques for Applications in Engineering
Publication date:2004-01-01

Published in:< <UML> > 2004 - The Unified Modeling Language. Modelling Languages and Applications
Publication date:2004-01-01

Published in:Computer Aided Verification
Publication date:2014-01-01

Published in:Tools and Algorithms for the Construction and Analysis of Systems
Publication date:2005-01-01

Published in:SOFSEM 2010: Theory and Practice of Computer Science
Publication date:2010-01-01

Published in:Scenarios: Models, Transformations and Tools
Publication date:2005-01-01

Published in:Runtime Verification
Publication date:2013-01-01

Published in:2013 IEEE 9th International Conference on e-Science
Publication date:2013-10-01

Published in:Computer Aided Verification
Publication date:2011-01-01

Published in:npj Systems Biology and Applications
Publication date:2016-07-07

Published in:Biosystems
Publication date:2016-08-01

Published in:Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03
Publication date:2003-01-01

Published in:Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02
Publication date:2002-01-01

Published in:Natural Computing Series
Publication date:2004-01-01

Published in:Information Processing in Cells and Tissues
Publication date:2015-01-01

Published in:Proceedings of the 2008 Conference on Future Play Research, Play, Share - Future Play '08
Publication date:2008-01-01

Published in:Software & Systems Modeling
Publication date:2008-01-08

Published in:Software & Systems Modeling
Publication date:2007-02-08

Published in:Lecture Notes in Computer Science
Publication date:2013-01-01

Published in:International Journal of Foundations of Computer Science
Publication date:2002-02-01

Published in:Automated Technology for Verification and Analysis
Publication date:2005-01-01

Published in:Tools and Algorithms for the Construction and Analysis of Systems
Publication date:2009-01-01

Published in:Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02
Publication date:2002-01-01

Published in:Formal Methods in Computer-Aided Design
Publication date:2002-01-01

Published in:Quantitative Evaluation of Systems
Publication date:2014-01-01

Published in:Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07
Publication date:2007-01-01

Published in:Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03
Publication date:2003-01-01

Published in:Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '02
Publication date:2002-01-01

Published in:Developmental Biology
Publication date:2008-11-01

Published in:Computational Methods in Systems Biology
Publication date:2003-01-01

Published in:Electronic Notes in Theoretical Computer Science
Publication date:2005-01-01

Published in:Molecular Reproduction and Development
Publication date:2016-09-01