Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Weitl, Franz
15  Ergebnisse:
Personensuche X
?
1

Using Checkpointing and Virtualization for Fault Injection:

Artho, Cyrille ; Suzaki, Kuniyasu ; Hagiya, Masami...
International Journal of Networking and Computing.  5 (2015)  2 - p. 347-372 , 2015
Link: https://doi.org/10.15803..
 
?
2

Software Model Checking of UDP-based Distributed Applicatio..:

Sebih, Nazim ; Hagiya, Masami ; Weitl, Franz...
International Journal of Networking and Computing.  5 (2015)  2 - p. 373-402 , 2015
Link: https://doi.org/10.15803..
 
?
3

Software model checking for distributed systems with select..:

, In: Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering,
Artho, Cyrille ; Hagiya, Masami ; Potter, Richard... - p. 169-179 , 2013
Link: https://dl.acm.org/doi/1..
 
?
4

Verifying the consistency of web-based technical documentat..:

Schönberg, Christian ; Weitl, Franz ; Freitag, Burkhard
Journal of Symbolic Computation.  46 (2011)  2 - p. 183-206 , 2011
Link: https://doi.org/10.1016/..
 
?
5

Logic-based verification of technical documentation:

, In: Proceedings of the 9th ACM symposium on Document engineering,
Schönberg, Christian ; Weitl, Franz ; Jakšić, Mirjana. - p. 251-252 , 2009
Link: https://dl.acm.org/doi/1..
 
?
6

Towards the automated verification of semi-structured docum..:

Weitl, Franz ; Jakšić, Mirjana ; Freitag, Burkhard
Data & Knowledge Engineering.  68 (2009)  3 - p. 292-317 , 2009
Link: https://doi.org/10.1016/..
 
?
7

Document verification with temporal description logics:

Weitl, Franz , 2008
Link: http://nbn-resolving.de/..
 
?
8

Checking Content Consistency of Integrated Web Documents:

Weitl, Franz ; Freitag, Burkhard
Journal of Computer Science and Technology.  21 (2006)  3 - p. 418-429 , 2006
Link: https://doi.org/10.1007/..
 
?
9

Cardinality of UDP Transmission Outcomes:

Weitl, Franz ; Sebih, Nazim ; Artho, Cyrille...
Lecture Notes in Computer Science, 0302-9743.  , 2015
Link: http://urn.kb.se/resolve..
 
?
10

Software Model Checking of UDP-based Distributed Applicatio..:

Sebih, Nazim ; Hagiya, Masami ; Weitl, Franz...
International Journal of Networking and Computing, 2185-2839, 2015, 5:2, s. 373-402.  , 2015
Link: http://urn.kb.se/resolve..
 
?
11

Using Checkpointing and Virtualization for Fault Injection:

Artho, Cyrille ; Suzaki, Kuniyasu ; Hagiya, Masami...
International Journal of Networking and Computing, 2185-2839, 2015, 5:2, s. 347-372.  , 2015
Link: http://urn.kb.se/resolve..
 
?
12

Using Checkpointing and Virtualization for Fault Injection:

Artho, Cyrille ; Hagiya, Masami ; Leungwattanakit, Watcharin...
Proc. 2nd Int. Symposium on Computing and Networking, p. 144-150.  , 2014
Link: http://urn.kb.se/resolve..
 
?
13

Software Model Checking of UDP-based Distributed Applicatio..:

Sebih, Nazim ; Weitl, Franz ; Artho, Cyrille...
Proc. 2nd Int. Symposium on Computing and Networking, p. 96-105.  , 2014
Link: http://urn.kb.se/resolve..
 
?
14

Software Model Checking for Distributed Systems with Select..:

Artho, Cyrille ; Hagiya, Masami ; Potter, Richard...
Proc. 28th Int. Conf. on Automated Software Engineering (ASE 2013), p. 169-179.  , 2013
Link: http://urn.kb.se/resolve..
 
?
15

Modbat : A model-based API tester for event-driven systems:

Artho, Cyrille ; Biere, Armin ; Hagiya, Masami...
Proc. Dependable Systems Workshop (DSW 2012).  , 2012
Link: http://urn.kb.se/resolve..
 
1-15