Search results for "fixpoint iteration"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Zhenyu Qian	Standard fixpoint iteration for Java bytecode verification.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Java, dataflow analysis, bytecode verification, fixpoint
1	Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi	Cyclic dependencies in modular performance analysis.	EMSOFT	2008	DBLP DOI BibTeX RDF	fixpoint iteration, performance analysis, real-time calculus
1	Yungbum Jung, Kwangkeun Yi	Practical memory leak detector based on parameterized procedural summaries.	ISMM	2008	DBLP DOI BibTeX RDF	program analysis, abstract interpretation, memory management, error detection, shape analysis, memory leaks
1	Farn Wang	Symbolic Simulation-Checking of Dense-Time Automata.	FORMATS	2007	DBLP DOI BibTeX RDF	simulation, model-checking, verification, real-time, refinement, implementation, embedded, events, timed automata, bisimulation, equivalence, bisimilarity, dense-time
1	Nicoletta De Francesco, Luca Martini	Instruction-level security typing by abstract interpretation.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Abstract interpretation, Information flow, Language based security
1	Venkatesh Mysore, Carla Piazza, Bud Mishra	Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology.	ATVA	2005	DBLP DOI BibTeX RDF
1	Nicoletta De Francesco, Luca Martini	Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
1	Reinhard Wilhelm	Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Hyunjun Eo, Kwangkeun Yi	An Improved Differential Fixpoint Iteration Method for Program Analysis.	APLAS	2002	DBLP BibTeX RDF
1	Flemming Nielson, Hanne Riis Nielson, Helmut Seidl	Automatic Complexity Analysis.	ESOP	2002	DBLP DOI BibTeX RDF	automatic complexity analysis, Program analysis, sparseness, Horn clauses
1	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Relative Completeness of Abstraction Refinement for Software Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
1	Christian Fecht, Helmut Seidl	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.	ESOP	1998	DBLP DOI BibTeX RDF
1	Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer	Fixpoint Iteration with Subsumption in Deductive Databases.	J. Intell. Inf. Syst.	1995	DBLP DOI BibTeX RDF
1	Charles Consel	Fast Strictness Analysis Via Symbolic Fixpoint Iteration.	SAS	1994	DBLP DOI BibTeX RDF
1	Niels Jørgensen	Chaotic Fixpoint Iteration Guided by Dynamic Dependency.	WSA	1993	DBLP DOI BibTeX RDF
1	Ulrich Güntzer, Werner Kießling, Rudolf Bayer	On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration.	ICDE	1987	DBLP BibTeX RDF