Online first articles

Articles not assigned to an issue 3 articles

1. 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

2. 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

3. 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