Franz Weitl
According to our database1,
Franz Weitl
authored at least 17 papers
between 2004 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
0
1
2
3
4
1
2
2
1
1
1
1
1
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Int. J. Netw. Comput., 2015
Int. J. Netw. Comput., 2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
2013
Software model checking for distributed systems with selector-based, non-blocking communication.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
2011
J. Symb. Comput., 2011
Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
2010
From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking).
it Inf. Technol., 2010
Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010
2009
Data Knowl. Eng., 2009
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009
2008
Dokumentverifikation mit Temporaler Beschreibungslogik [Document Verification with Temporal Description Logics].
Proceedings of the Ausgezeichnete Informatikdissertationen 2008, 2008
2007
Proceedings of the Didaktik der Informatik in Theorie und Praxis. INFOS 2007: 12. GI-Fachtagung Informatik und Schule, 2007
2006
J. Comput. Sci. Technol., 2006
2004
Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004
Proceedings of the Conceptual Modeling for Advanced Application Domains, 2004