Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Ligia Nistor

dblp:76/9798 · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
0since 2021 · last 2014
0000-0002-4714-5034ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 1 first-authorTheory of computation · 2 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Program verification · 100%
Theoretical computer science
1 paper
Logic in computer science · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification › code-level verification
object-oriented verification
0.212014
Object Propositions · FM 2014
Logic in computer science
program logic
0.212014
Object Propositions · FM 2014
Electronic design automation › hardware verification and test
formal verification
0.112011
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified · FM 2011
Program verification › reactive system verification
hybrid system verification
0.012011
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified · FM 2011

Methods — techniques the papers use, named apart from their topics

object propositions · 0.4formal verification · 0.2
YearPublicationVenuePosition
2014 Safely Composable Type-Specific Languages
Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich
ECOOP3
2014 Object Propositions
Ligia Nistor, Jonathan Aldrich, Stephanie Balzer, Hannes Mehnert
FM1
2011 Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified
Sarah M. Loos, André Platzer, Ligia Nistor
FM3
2010 Tracking and Sketching Distributed Data Provenance
abstract
Current provenance collection systems typically gather metadata on remote hosts and submit it to a central server. In contrast, several data-intensive scientific applications require a decentralized architecture in which each host maintains an authoritative local repository of the provenance metadata gathered on that host. The latter approach allows the system to handle the large amounts of metadata generated when auditing occurs at fine granularity, and allows users to retain control over their provenance records. The decentralized architecture, however, increases the complexity of auditing, tracking, and querying distributed provenance. We describe a system for capturing data provenance in distributed applications, and the use of provenance sketches to optimize subsequent data provenance queries. Experiments with data gathered from distributed workflow applications demonstrate the feasibility of a decentralized provenance management system and improvements in the efficiency of provenance queries.
Tanu Malik, Ligia Nistor, Ashish Gehani
eScience2