 | 2007 |
|---|
| 10 |       | Aysu Betin-Can,
Tevfik Bultan,
Mikael Lindvall,
Benjamin Lux,
Stefan Topp:
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.
Autom. Softw. Eng. 14(2): 129-178 (2007) |
| 9 | | Aysu Betin-Can,
Nazife Baykal:
MedicoPort: A medical search engine for all.
Computer Methods and Programs in Biomedicine 86(1): 73-86 (2007) |
| 8 | | Mikael Lindvall,
Ioana Rus,
Paolo Donzelli,
Atif M. Memon,
Marvin V. Zelkowitz,
Aysu Betin-Can,
Tevfik Bultan,
Christopher Ackermann,
Bettina Anders,
Sima Asgari,
Victor R. Basili,
Lorin Hochstein,
Jörg Fellmann,
Forrest Shull,
Roseanne Tesoriero Tvedt,
Daniel Pech,
Daniel Hirschbach:
Experimenting with software testbeds for evaluating new technologies.
Empirical Software Engineering 12(4): 417-444 (2007) |
| 7 | | Aysu Betin-Can,
Tevfik Bultan:
Highly dependable concurrent programming using design for verification.
Formal Asp. Comput. 19(2): 243-268 (2007) |
| 2005 |
|---|
| 6 | | Aysu Betin-Can,
Tevfik Bultan,
Mikael Lindvall,
Benjamin Lux,
Stefan Topp:
Application of design for verification with concurrency controllers to air traffic control software.
ASE 2005: 14-23 |
| 5 | | Aysu Betin-Can,
Tevfik Bultan:
Verifiable Web Services with Hierarchical Interfaces.
ICWS 2005: 85-94 |
| 4 | | Tevfik Bultan,
Aysu Betin-Can:
Scalable Software Model Checking Using Design for Verification.
VSTTE 2005: 337-346 |
| 3 | | Aysu Betin-Can,
Tevfik Bultan,
Xiang Fu:
Design for verification for asynchronously communicating Web services.
WWW 2005: 750-759 |
| 2004 |
|---|
| 2 | | Aysu Betin-Can,
Tevfik Bultan:
Verifiable Concurrent Programming Using Concurrency Controllers.
ASE 2004: 248-257 |
| 2003 |
|---|
| 1 | | Aysu Betin-Can,
Tevfik Bultan:
Interface-Based Specification and Verification of Concurrency Controllers.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
