Articles with public access mandates - Bertrand MeyerLearn more
Available somewhere: 39
Automated fixing of programs with contracts
Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller
Proceedings of the 19th international symposium on Software testing and …, 2010
Mandates: German Research Foundation
Generating fixes from object behavior anomalies
V Dallmeier, A Zeller, B Meyer
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
Mandates: German Research Foundation
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
Mandates: Swiss National Science Foundation
Loop invariants: Analysis, classification, and examples
CA Furia, B Meyer, S Velder
ACM Computing Surveys (CSUR) 46 (3), 1-51, 2014
Mandates: Swiss National Science Foundation
Usable verification of object-oriented programs by combining static and dynamic techniques
J Tschannen, CA Furia, M Nordio, B Meyer
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
Mandates: Swiss National Science Foundation
What good are strong specifications?
N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer
2013 35th international conference on software engineering (icse), 262-271, 2013
Mandates: Swiss National Science Foundation
Flexible invariants through semantic collaboration
N Polikarpova, J Tschannen, CA Furia, B Meyer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
Mandates: Swiss National Science Foundation
Contracts in practice
HC Estler, CA Furia, M Nordio, M Piccioni, B Meyer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
Mandates: Swiss National Science Foundation, European Commission
Contracts for concurrency
P Nienaltowski, B Meyer, JS Ostroff
Formal Aspects of Computing 21, 305-318, 2009
Mandates: Swiss National Science Foundation
Stateful testing: Finding more errors in code and contracts
Y Wei, H Roth, CA Furia, Y Pei, A Horton, M Steindorfer, M Nordio, ...
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
Mandates: Swiss National Science Foundation
Automatic verification of advanced object-oriented features: The AutoProof approach
J Tschannen, CA Furia, M Nordio, B Meyer
LASER Summer School on Software Engineering, 133-155, 2011
Mandates: Swiss National Science Foundation
Automated program repair in an integrated development environment
Y Pei, CA Furia, M Nordio, B Meyer
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
Mandates: Swiss National Science Foundation, European Commission
Automatic program repair by fixing contracts
Y Pei, CA Furia, M Nordio, B Meyer
International Conference on Fundamental Approaches to Software Engineering …, 2014
Mandates: Swiss National Science Foundation, European Commission
SmartWalker: An intelligent robotic walker
J Shin, A Rusakov, B Meyer
Journal of Ambient Intelligence and Smart Environments 8 (4), 383-398, 2016
Mandates: European Commission
Efficient and reasonable object-oriented concurrency
S West, S Nanz, B Meyer
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
Mandates: European Commission
A modular scheme for deadlock prevention in an object-oriented programming model
S West, S Nanz, B Meyer
Formal Methods and Software Engineering: 12th International Conference on …, 2010
Mandates: Swiss National Science Foundation
Program checking with less hassle
J Tschannen, CA Furia, M Nordio, B Meyer
Verified Software: Theories, Tools, Experiments: 5th International …, 2014
Mandates: Swiss National Science Foundation, European Commission
Class schema evolution for persistent object-oriented software: Model, empirical study, and automated support
M Piccioni, M Oriol, B Meyer
IEEE Transactions on Software Engineering 39 (2), 184-196, 2012
Mandates: Swiss National Science Foundation
Simple concurrency for robotics with the Roboscoop framework
A Rusakov, J Shin, B Meyer
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014
Mandates: European Commission
Safe and efficient data sharing for message-passing concurrency
B Morandi, S Nanz, B Meyer
Coordination Models and Languages: 16th IFIP WG 6.1 International Conference …, 2014
Mandates: European Commission
Publication and funding information is determined automatically by a computer program