Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(28)
Thomas W. Reps
16
Akash Lal
8
Tayssir Touili
6
Mihai Christodorescu
3
Julian Dolby
3
Conferences
(9)
SAS(WSA)
2
TACAS
2
SPIN
2
PASTE
1
VMCAI
1
Journals
(3)
STTT
1
TR
1
ACM Sigsoft Software Engineering Notes
1
Keywords
(55)
Embed
Subscribe
Academic
Authors
Nicholas Kidd
Edit
Nicholas Kidd
Purdue University
Publications: 20
|
Citations: 184
|
G-Index: 13
|
H-Index: 8
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Security & Privacy
View FAQ about top research area and research interests
Collaborated with
28 co-authors
from 2005 to 2011
; Cited by
174 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(20)
BibTeX
|
RIS
|
RefWorks
Download
A decision procedure for detecting atomicity violations for communicating processes with locks
(
Citations: 1
)
Nicholas Kidd
,
Peter Lammich
,
Tayssir Touili
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 37-60, 2011
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling
(
Citations: 2
)
Nicholas Kidd
,
Suresh Jagannathan
,
Jan Vitek
Conference:
International Workshop on Model Checking of Software - SPIN
, pp. 245-261, 2010
Finding Concurrency-Related Bugs Using Random Isolation
(
Citations: 11
)
Nicholas Kidd
,
Thomas W. Reps
,
Julian Dolby
,
Mandana Vaziri
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 198-213, 2009
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
(
Citations: 8
)
Nicholas Kidd
,
Peter Lammich
,
Tayssir Touili
,
Thomas W. Reps
Conference:
International Workshop on Model Checking of Software - SPIN
, pp. 125-142, 2009
Verifying Information Flow Control over Unbounded Processes
(
Citations: 3
)
William R. Harris
,
Nicholas A. Kidd
,
Sagar Chaki
,
Somesh Jha
,
Thomas W. Reps
Conference:
World Congress on Formal Methods - FM
, pp. 773-789, 2009
Order by:
Citations
(184 times by 127 publications)
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
(
Citations: 1
)
Thomas Martin Gawlitza
,
Peter Lammich
,
Markus Müller-Olm
,
Helmut Seidl
,
Alexander Wenner
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 199-213, 2011
Delay-bounded scheduling
(
Citations: 2
)
Michael Emmi
,
Shaz Qadeer
,
Zvonimir Rakamarić
Published in 2011.
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)
(
Citations: 1
)
Alastair F. Donaldson
,
Alexander Kaiser
,
Daniel Kroening
,
Thomas Wahl
Journal:
Computing Research Repository - CORR
, vol. abs/1102.2, 2011
A decision procedure for detecting atomicity violations for communicating processes with locks
(
Citations: 1
)
Nicholas Kidd
,
Peter Lammich
,
Tayssir Touili
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 37-60, 2011
Static analysis of interrupt-driven programs synchronized via the priority ceiling protocol
Martin D. Schwarz
,
Helmut Seidl
,
Vesal Vojdani
,
Peter Lammich
,
Markus Müller-Olm
Published in 2011.
Comments