Automata-Based Model Counting for String Constraints von Aydin, Abdulbaki, Bang, Lucas, Bultan, Tevfik

Volltext

Automata-based symbolic string analysis for vulnerability detection von Yu, Fang, Alkhalaf, Muath, Bultan, Tevfik, Ibarra, Oscar H.

Volltext

Conversation protocols: a formalism for specification and verification of reactive electronic services von Fu, Xiang, Bultan, Tevfik, Su, Jianwen

Volltext

On deciding synchronizability for asynchronously communicating systems von Basu, Samik, Bultan, Tevfik

Volltext

Specification of realizable service conversations using collaboration diagrams von Bultan, Tevfik, Fu, Xiang

Volltext

Automated verification of access control policies using a SAT solver von Hughes, Graham, Bultan, Tevfik

Volltext

Guest editorial: emerging areas in automated software engineering research von Bultan, Tevfik, Zeller, Andreas

Volltext

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings von Bultan, Tevfik, Hsiung, Pao-Ann

Volltext

Quantifying Information Leakage Using Model Counting Constraint Solvers von Bultan, Tevfik

Volltext

JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation von Brennan, Tegan, Rosner, Nicolas, Bultan, Tevfik

Volltext

Statistical Model Checking for Cyber-Physical Systems von Clarke, Edmund M., Zuliani, Paolo

Volltext

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing von Kadron, Ismet Burak, Noller, Yannic, Padhye, Rohan, Bultan, Tevfik, Pasareanu, Corina S., Sen, Koushik

Volltext

Contracting the Facebook API von Rubinger, Ben, Bultan, Tevfik

Volltext

Obtaining Information Leakage Bounds via Approximate Model Counting von Saha, Seemanta, Ghentiyala, Surendra, Lu, Shihua, Bang, Lucas, Bultan, Tevfik

Volltext

Efficient BDDs for bounded arithmetic constraints von BARTZIS, Constantinos, BULTAN, Tevfik

Volltext

Realizability of Choreographies Using Process Algebra Encodings von Salaun, Gwen, Bultan, Tevfik, Roohi, Nima

Volltext

Inductive verification of data model invariants in web applications using first-order logic von Bocić, Ivan, Bultan, Tevfik, Rosner, Nicolás

Volltext

Towards a Theory of Web Service Choreographies von Su, Jianwen, Bultan, Tevfik, Fu, Xiang, Zhao, Xiangpeng

Volltext

Automated Choreography Repair von Basu, Samik, Bultan, Tevfik

Volltext

What’s Decidable about Weighted Automata? von Almagor, Shaull, Boker, Udi, Kupferman, Orna

Volltext