Search results for: Wolfgang Reif
Constraints > 2018 > 23 > 4 > 403-450
Journal of Software: Evolution and Process > 30 > 5 > n/a - n/a
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 4 > 359-377
Science of Computer Programming > 2016 > 131 > C > 3-21
Lecture Notes in Computer Science > Autonomic and Trusted Computing > Track 1: Autonomic/Organic Computing and Communications > 38-47
Lecture Notes in Computer Science > Computer Security - ESORICS 2000 > Personal Devices and Smart Cards > 17-36
Autonomic Systems > Organic Computing — A Paradigm Shift for Complex Systems > Theoretical Foundations > 79-93
Lecture Notes in Computer Science > Emerging Trends in Information and Communication Security > Secure Mobile Applications > 115-129
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 241-252
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Demonstrations > 363-366
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Program Analysis > 485-500
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Specification, Verfication and Refinenment > 221-235
Lecture Notes in Computer Science > Integration of Software Specification Techniques for Applications in Engineering > Part IV: Charts > 355-373
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Decision Procedures > 141-155