Sciweavers

15777 search results - page 283 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
EMSOFT
2009
Springer
15 years 10 months ago
Compositional timing analysis
Ramzi Ben Salah, Marius Bozga, Oded Maler
EMSOFT
2009
Springer
15 years 10 months ago
On relational interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger,...
ESEM
2009
ACM
15 years 10 months ago
Tool supported detection and judgment of nonconformance in process execution
Nico Zazworka, Victor R. Basili, Forrest Shull
97
Voted
INDIASE
2009
ACM
15 years 10 months ago
Event strictness for components with complex bindings
Fabrício Fernandes, Robin Passama, Jean-Cla...