Zum Inhalt springen

Tripp, Omer [Herausgeber:in]; Wintersteiger, Christoph M. [Herausgeber:in] ; CSTVA 7. 2016 Saarbrücken

Constraint solvers in testing, verification, and analysis : CSTVA 2016 : proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis, co-located with the International Symposium on Software Testing and Analysis (ISSTA 2016) : Saarbrücken, Germany, July 17th, 2016

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System (Volltext ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen, Germany: RWTH Aachen, [2016]

Erschienen in: CEUR workshop proceedings ; 163900
Centonze, Paolina [Verfasser:in]; Pistoia, Marco [Verfasser:in]; Tripp, Omer [Verfasser:in] ; Paolina Centonze and Marco Pistoia and Omer Tripp [Mitwirkende:r]

Access-rights Analysis in the Presence of Subjects

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015
Mukherjee, Rajdeep [Verfasser:in]; Tripp, Omer [Verfasser:in]; Liblit, Ben [Verfasser:in]; Wilson, Michael [Verfasser:in] ; Rajdeep Mukherjee and Omer Tripp and Ben Liblit and Michael Wilson [Mitwirkende:r]

Static Analysis for AWS Best Practices in Python Code

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
Dolby, Julian [Verfasser:in]; Grumberg, Orna [Verfasser:in]; Müller, Peter [Verfasser:in]; Tripp, Omer [Verfasser:in] ; Julian Dolby and Orna Grumberg and Peter Müller and Omer Tripp [Mitwirkende:r]

Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201)

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Bansal, Kshitij; Koskinen, Eric; Tripp, Omer

Synthesizing Precise and Useful Commutativity Conditions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Science and Business Media LLC, 2020

Erschienen in: Journal of Automated Reasoning, 64 (2020) 7, Seite 1333-1359
Bansal, Kshitij; Koskinen, Eric; Tripp, Omer

Tools and Algorithms for the Construction and Analysis of Systems: Automatic Generation of Precise and Useful Commutativity Conditions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2018

Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2018), Seite 115-132
Samak, Malavika; Tripp, Omer; Ramanathan, Murali Krishna

Directed synthesis of failing concurrent executions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2016

Erschienen in: ACM SIGPLAN Notices, 51 (2016) 10, Seite 430-446
Liu, Peng; Tripp, Omer; Zhang, Xiangyu

Flint : fixing linearizability violations : fixing linearizability violations

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2014

Erschienen in: ACM SIGPLAN Notices, 49 (2014) 10, Seite 543-560
Tateishi, Takaaki; Pistoia, Marco; Tripp, Omer

Path- and index-sensitive string analysis based on monadic second-order logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2013

Erschienen in: ACM Transactions on Software Engineering and Methodology, 22 (2013) 4, Seite 1-33
Tripp, Omer; Koskinen, Eric; Sagiv, Mooly

Turning nondeterminism into parallelism

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2013

Erschienen in: ACM SIGPLAN Notices, 48 (2013) 10, Seite 589-604
Liang, Percy; Tripp, Omer; Naik, Mayur

Learning minimal abstractions

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2011

Erschienen in: ACM SIGPLAN Notices, 46 (2011) 1, Seite 31-42
Aydin, Abdulbaki; Piorkowski, David; Tripp, Omer; Ferrara, Pietro; Pistoia, Marco

Fundamental Approaches to Software Engineering: Visual Configuration of Mobile Privacy Policies

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2017

Erschienen in: Fundamental Approaches to Software Engineering (2017), Seite 338-355
Ferrara, Pietro; Tripp, Omer; Liu, Peng; Koskinen, Eric

Lecture Notes in Computer Science: Using Abstract Interpretation to Correct Synchronization Faults

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2017

Erschienen in: Lecture Notes in Computer Science (2017), Seite 187-208
Barbon, Gianluca; Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer

Computer Information Systems and Industrial Management: Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2015

Erschienen in: Computer Information Systems and Industrial Management (2015), Seite 3-23
Cortesi, Agostino; Ferrara, Pietro; Pistoia, Marco; Tripp, Omer

Lecture Notes in Computer Science: Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2015

Erschienen in: Lecture Notes in Computer Science (2015), Seite 61-79
Liu, Peng; Zhang, Xiangyu; Tripp, Omer; Zheng, Yunhui

Light: replay via tightly bounded recording

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2015

Erschienen in: ACM SIGPLAN Notices, 50 (2015) 6, Seite 55-64
Brutschy, Lucas; Ferrara, Pietro; Tripp, Omer; Pistoia, Marco

ShamDroid: gracefully degrading functionality in the presence of limited resource access

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2015

Erschienen in: ACM SIGPLAN Notices, 50 (2015) 10, Seite 316-331
Tripp, Omer; Pistoia, Marco; Cousot, Patrick; Cousot, Radhia; Guarnieri, Salvatore

Fundamental Approaches to Software Engineering: Andromeda: Accurate and Scalable Security Analysis of Web Applications

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Fundamental Approaches to Software Engineering (2013), Seite 210-225
Tripp, Omer; Manevich, Roman; Field, John; Sagiv, Mooly

JANUS : exploiting parallelism via hindsight : exploiting parallelism via hindsight

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2012

Erschienen in: ACM SIGPLAN Notices, 47 (2012) 6, Seite 145-156
Tripp, Omer; Yorsh, Greta; Field, John; Sagiv, Mooly

HAWKEYE : effective discovery of dataflow impediments to parallelization : effective discovery of dataflow impediments to parallelization

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2011

Erschienen in: ACM SIGPLAN Notices, 46 (2011) 10, Seite 207-224

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr