Online first articles
Articles not assigned to an issue 4 articles
-
-
Debugging convergence problems in probabilistic programs via program representation learning with SixthSense
Authors
- Zixin Huang
- Saikat Dutta
- Sasa Misailovic
- Content type: General
- Published: 19 February 2024
-
A real-time profile for UML
Authors
- Susanne Graf
- Ileana Ober
- Iulian Ober
- Content type: Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML
- Published: 17 February 2006
-
Providing the shalls
Authors (first, second and last of 4)
- Steven P. Miller
- Alan C. Tribble
- Mats P. E. Heimdahl
- Content type: Special Section on the Industrialization of Formal Methods: A View from Formal Methods 2003
- Published: 17 February 2006
For authors
Submit manuscriptWorking on a manuscript?
Avoid the most common mistakes and prepare your manuscript for journal editors.
Learn more