Prof. Dr. Georg Rock
Informatik, Hochschule Trier
- 0651/8103-596
Hutter, Dieter; Langenstein, Bruno; Rock, Georg et al.
Formal software development in the Verification Support Environment (VSE).J. Exp. Theor. Artif. Intell. Bd. 12. H. 4. 2000 S. 383 - 406
Hutter, Dieter; Rock, Georg; H. Siekmann, Jörg et al.
Formal Software Development in the Verification Support Environment (VSE).FLAIRS. 2000 S. 367 - 376
Stephan, Werner; Rock, Georg; Brodski, Michael
Modeling Specification and Verification of an Emergency Closing System.FLAIRS. 2000 S. 356 - 360
Autexier, Serge; Hutter, Dieter; Langenstein, Bruno et al.
VSE: formal methods meet industrial needs.Int. J. Softw. Tools Technol. Transf. Bd. 3. H. 1. 2000 S. 66 - 77
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modeling Dynamic Processes in TLA.FBT. 1999 S. 185 - 192
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Assumption-Commitment Specifications and Safety-Critical Systems.FBT. 1998 S. 125 - 135
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Modular reasoning about structured TLA specifications.Tool Support for System Specification, Development and Verification. 1998 S. 217 - 229
Nonnengart, Andreas; Rock, Georg; Weidenbach, Christoph
On Generating Small Clause Normal Forms.CADE. 1998 S. 397 - 411
Hutter, Dieter; Mantel, Heiko; Rock, Georg et al.
VSE: Controlling the Complexity in Formal Software Developments.FM-Trends. 1998 S. 351 - 358
Rock, Georg; Stephan, Werner; Wolpers, Andreas
Tool Support for the Compositional Development of Distributed Systems.FBT. 1997 S. 89 - 98