UB Paderborn / Katalog / Suche / in CDI

1 – 10 von 10

Sortiert nach

Using Checkpointing and Virtualization for Fault Injection

International Journal of Networking and Computing, 2015/07/10, Vol.5(2), pp.347-372

2015

Link zum Volltext

Verfügbarkeit prüfen

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time

2009 IEEE/ACM International Conference on Automated Software Engineering, 2009, p.447-458

2009

Link zum Volltext
IEEE_Xplore

Modular Software Model Checking for Distributed Systems

IEEE transactions on software engineering, 2014-05, Vol.40 (5), p.483-501

2014

Link zum Volltext
IEEE_Xplore

Using Checkpointing and Virtualization for Fault Injection

2014 Second International Symposium on Computing and Networking, 2014, p.144-150

2014

Link zum Volltext
IEEE_Xplore

Model Checking of Concurrent Algorithms: From Java to C

Distributed, Parallel and Biologically Inspired Systems, p.90-101

Link zum Volltext

Verfügbarkeit prüfen

Model checking distributed systems by combining caching and process checkpointing

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011, p.103-112

2011

Link zum Volltext
IEEE_Xplore

Verifying networked programs using a model checker extension

2009 31st International Conference on Software Engineering - Companion Volume, 2009, p.409-410

2009

Link zum Volltext
IEEE_Xplore

Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs

2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008, p.807-813

2008

Link zum Volltext
IEEE_Xplore

Tools and Techniques for Model Checking Networked Programs

2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, 2008, p.852-857

2008