 [2014-3-7] Validity Check of PutbackTransformations in Bidirectional Programming
|
2014-03-04 |
| [11-28]When is a formula invariant?
|
2013-11-26 |
| [11-22]Symbolic-Numeric Algorithms for Verified Computations
|
2013-11-14 |
| [11-21]Rule Formats for Structural Operational Semantics: A Very Short Introduction
|
2013-11-18 |
| [11-19]Three lectures on multi-language information processing
|
2013-11-15 |
| [11-19]Efficient Detection of Emergency Event from Moving Object Data Streams
|
2013-11-14 |
| [11-18]Modular Construction of Shape-Numeric Analyzers
|
2013-11-11 |
| [11-6]MPI on Exascale Systems: Current Trends and Opportunities
|
2013-11-01 |
| [11-1] The Role of Empirical Studies in Software Engineering
|
2013-10-24 |
| [10-28]The Parameterized Complexity of Counting k-Matchings
|
2013-10-24 |
| [10-17]Bounded Model Checking with SAT/SMT
|
2013-10-11 |
| [10-16]Automatic Generation of Program Invariants from Traces
|
2013-10-15 |
| [10-16]Symbolic Model Checking with Ordered Binary Decision Diagrams
|
2013-10-11 |
| [10-15]Model Checking and the Curse of Dimensionality
|
2013-10-11 |
| [9-11]Automatic Testing-Based Formal Verification: Bridging Testing and Formal Verification for Program Correctness
|
2013-09-09 |
