Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Dong Lu, Peter A. Dinda, Jason A. Skicewicz	Scoped and Approximate Queries in a Relational Grid Information Service.	GRID	2003	DBLP DOI BibTeX RDF
10	Mohammad Zulkernine, Rudolph E. Seviora	A Compositional Approach to Monitoring Distributed Systems.	DSN	2002	DBLP DOI BibTeX RDF
10	Orieta Celiku, Joakim von Wright	Theorem Prover Support for Precondition and Correctness Calculation.	ICFEM	2002	DBLP DOI BibTeX RDF
10	Walter Vogler, Ralf Wollowski	Decomposition in Asynchronous Circuit Design.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
10	Bahram Kimiaghalam, Abdollah Homaifar, Albert C. Esterline	A Statechart Framework for Agent Roles that Captures Expertise and Learns Improved Behavior.	FAABS	2002	DBLP DOI BibTeX RDF
10	Daniel Reidenbach	A Negative Result on Inductive Inference of Extended Pattern Languages.	ALT	2002	DBLP DOI BibTeX RDF
10	Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001	Linearity and Bisimulation.	FoSSaCS	2002	DBLP DOI BibTeX RDF
10	Jan Holub 0001	Dynamic Programming - NFA Simulation.	CIAA	2002	DBLP DOI BibTeX RDF
10	Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng	Symbolic model checking of Dual Transition Petri Nets.	CODES	2002	DBLP DOI BibTeX RDF
10	Bikram Sengupta, Rance Cleaveland	Triggered message sequence charts.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	refinement orderings, scenario-based requirements, message sequence charts
10	Mohammad Zulkernine, Rudolph E. Seviora	Assume-Guarantee Algorithms for Automatic Detection of Software Failures.	IFM	2002	DBLP DOI BibTeX RDF	applied formal methods, Software reliability, compositionality, failure detection, online monitoring
10	Dieter Kranzlmüller, Nam Thoai, Jens Volkert	Debugging Large-Scale, Long-Running Parallel Programs.	International Conference on Computational Science (2)	2002	DBLP DOI BibTeX RDF
10	Adrian Johnstone, Elizabeth Scott	Generalised Reduction Modified LR Parsing for Domain Specific Language Prototyping.	HICSS	2002	DBLP DOI BibTeX RDF	General Context Free Grammar parsing, Tomita Parser, Language prototyping
10	Andrej Bogdanov, Stephen J. Garland, Nancy A. Lynch	Mechanical Translation of I/O Automaton Specifications into First-Order Logic.	FORTE	2002	DBLP DOI BibTeX RDF
10	Salvatore La Torre, Aniello Murano, Margherita Napoli	Weak Muller Acceptance Conditions for Tree Automata.	VMCAI	2002	DBLP DOI BibTeX RDF
10	Yifeng Chen	A Fixpoint Theory for Non-monotonic Parallelism.	CSL	2002	DBLP DOI BibTeX RDF
10	Federico Crazzolara, Glynn Winskel	Composing Strand Spaces.	FSTTCS	2002	DBLP DOI BibTeX RDF
10	Walter Vogler, Ralf Wollowski	Decomposition in Asynchronous Circuit Design.	FSTTCS	2002	DBLP DOI BibTeX RDF
10	Claudio Basile, Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Loose Synchronization of Multithreaded Replicas.	SRDS	2002	DBLP DOI BibTeX RDF
10	Annabelle McIver, Carroll Morgan	Demonic, angelic and unbounded probabilistic choices in sequential programs.	Acta Informatica	2001	DBLP DOI BibTeX RDF
10	Sergio Greco, Domenico Saccà, Carlo Zaniolo	Extending stratified datalog to capture complexity classes ranging from P to QH.	Acta Informatica	2001	DBLP DOI BibTeX RDF
10	Gopal Gupta 0001, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo	Parallel execution of prolog programs: a survey.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	parallelism, logic programming, prolog, constraint programming, Automatic parallelization
10	Katia Folegati, Roberto Segala	Coin Lemmas with Random Variables.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF
10	Katharina Mehner	JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF
10	Klaus Reinhardt	The Complexity of Translating Logic to Finite Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
10	Dieter Kranzlmüller, Christian Schaubschläger, Jens Volkert	An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs.	PVM/MPI	2001	DBLP DOI BibTeX RDF
10	Carroll Morgan, Annabelle McIver	Cost Analysis of Games, Using Program Logic.	APSEC	2001	DBLP DOI BibTeX RDF
10	David Monniaux	An abstract Monte-Carlo method for the analysis of probabilistic programs.	POPL	2001	DBLP DOI BibTeX RDF
10	George C. Necula, Shree Prakash Rahul	Oracle-based checking of untrusted software.	POPL	2001	DBLP DOI BibTeX RDF	ORACLE
10	Emanuele Bandini, Roberto Segala	Axiomatizations for Probabilistic Bisimulation.	ICALP	2001	DBLP DOI BibTeX RDF
10	Dieter Kranzlmüller, Rene Kobler, Jens Volkert	Event Manipulation for Nondeterministic Shared-Memory Programs.	HPCN	2001	DBLP DOI BibTeX RDF
10	Branislav Rovan, Marián Slast'an	Eliminating Communication by Parallel Rewriting.	Developments in Language Theory	2001	DBLP DOI BibTeX RDF
10	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
10	Takaichi Yoshida	Message Ordering Based on the Strength of Causal Relation.	ICOIN	2001	DBLP DOI BibTeX RDF
10	Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville	Automated Validation of Software Models.	ASE	2001	DBLP DOI BibTeX RDF
10	Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Sequential synthesis using S1S.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
10	Edwin D. de Jong, Jaco van de Pol, Jozef Hooman	Refinement in Requirements Specification and Analysis: A Case Study.	ECBS	2000	DBLP DOI BibTeX RDF	requirements specification and analysis, formal methods, refinement, theorem provers
10	Chi-Jen Lu	Derandomizing Arthur-Merlin Games under Uniform Assumptions.	ISAAC	2000	DBLP DOI BibTeX RDF
10	Constance L. Heitmeyer	Transferring Research Results in Requirements to Practice: Obstacles and Incentives.	ICRE	2000	DBLP DOI BibTeX RDF
10	Marcin Neyman	Comparison of Different Approaches to Trace PVM Program Execution.	PVM/MPI	2000	DBLP DOI BibTeX RDF
10	Linas Laibinis, Joakim von Wright	Functional Procedures in Higher-Order Logic.	TPHOLs	2000	DBLP DOI BibTeX RDF
10	Nimal Nissanke, Hamdan Dammag	Risk Ordering of States in Safecharts.	SAFECOMP	2000	DBLP DOI BibTeX RDF	risk ordering, nuclear safety, Safety, Statecharts, risk assessment, failures
10	Jessica Chen	A study on static analysis in network of synchronizing FSMs.	APSEC	2000	DBLP DOI BibTeX RDF	synchronizing FSMs, multithreaded systems, nondeterministic behavior, Java monitors, Java, static analysis, finite state machines, synchronisation, operational semantics, multi-threading, labeled transition systems, thread synchronization, design artifacts
10	Nimal Nissanke, Hamdan Dammag	Risk Bands - A Novel Feature of Safecharts.	ISSRE	2000	DBLP DOI BibTeX RDF
10	Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell	Testing Nondeterminate Systems.	ISSRE	2000	DBLP DOI BibTeX RDF
10	Krzysztof R. Apt	A Denotational Semantics for First-Order Logic.	Computational Logic	2000	DBLP DOI BibTeX RDF
10	Marcos Kawazoe Aguilera, Robert E. Strom	Efficient atomic broadcast using deterministic merge.	PODC	2000	DBLP DOI BibTeX RDF
10	Katharina Mehner, Annika Wagner	Visualizing the Synchronization of Java-Threads with UML.	VL	2000	DBLP DOI BibTeX RDF	object oriented concurrent programming, Java, UML, debugging, program comprehension, software visualization
10	Anna Philippou, Insup Lee 0001, Oleg Sokolsky	Weak Bisimulation for Probabilistic Systems.	CONCUR	2000	DBLP DOI BibTeX RDF
10	Jeremy Sproston	Decidable Model Checking of Probabilistic Hybrid Automata.	FTRTFT	2000	DBLP DOI BibTeX RDF
10	Beata Konikowska, Marcin Bialasik	Reasoning with First Order Nondeterministic Specifications.	Acta Informatica	1999	DBLP DOI BibTeX RDF
10	Bin Fu, Richard Beigel	A Comparison of Resource-Bounded Molecular Computation Models.	Algorithmica	1999	DBLP DOI BibTeX RDF
10	Beate Bollig, Ingo Wegener	Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
10	Marcin Neyman, Michal Bukowski, Piotr Kuzora	Efficient Replay of PVM Programs.	PVM/MPI	1999	DBLP DOI BibTeX RDF
10	A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, R. K. Shyamasundar	A Graphical Environment for the Specification and Verification of Reactive Systems.	SAFECOMP	1999	DBLP DOI BibTeX RDF
10	Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov	Probabilistic Polynomial-Time Equivalence and Security Analysis.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
10	Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar	A Translation of Statecharts to Esterel.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
10	Christopher Umans	On the Complexity and Inapproximability of Shortest Implicant Problems.	ICALP	1999	DBLP DOI BibTeX RDF
10	Andrei Sabelfeld, David Sands 0001	A Per Model of Secure Information Flow in Sequential Programs.	ESOP	1999	DBLP DOI BibTeX RDF
10	Cormac Flanagan, Martín Abadi	Types for Safe Locking.	ESOP	1999	DBLP DOI BibTeX RDF
10	Thomas Buchholz, Andreas Klein 0001, Martin Kutrib	Iterative Arrays with a Wee Bit Alternation.	FCT	1999	DBLP DOI BibTeX RDF
10	Dieter Kranzlmüller, Jens Volkert	NOPE: A Nondeterministic Program Evaluator.	ACPC	1999	DBLP DOI BibTeX RDF
10	Hélène Waeselynck, Pascale Thévenod-Fosse	A Case Study in Statistical Testing of Reusable Concurrent Objects.	EDCC	1999	DBLP DOI BibTeX RDF
10	Dimitar Kazakov	Combining LAPIS and WordNet for Learning of LR Parsers with Optimal Semantic Constraints.	ILP	1999	DBLP DOI BibTeX RDF
10	Anna Mikhajlova	Consistent Extension of Components in the Presence of Explicit Invariants.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	semantic conformance, component extensions, explicit invariants, refinement, consistency, inheritance, forwarding
10	Paul Gastin, Michael W. Mislove	A Truly Concurrent Semantics for a Simple Parallel Programming Language.	CSL	1999	DBLP DOI BibTeX RDF
10	Annabelle McIver	Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms.	ARTS	1999	DBLP DOI BibTeX RDF
10	Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston	Automatic Verification of Real-Time Systems with Discrete Probability Distributions.	ARTS	1999	DBLP DOI BibTeX RDF
10	Andrea Corradini 0001, Fabio Gadducci	Functorial Semantics for Multi-algebras.	WADT	1998	DBLP DOI BibTeX RDF
10	W. O. David Griffioen, Frits W. Vaandrager	Normed Simulations.	CAV	1998	DBLP DOI BibTeX RDF
10	Tony Savor, Rudolph E. Seviora	Automatic detection of software failures: issues and experience.	ECRTS	1998	DBLP DOI BibTeX RDF
10	K. Rustan M. Leino, Rajeev Joshi	A Semantic Approach to Secure Information Flow.	MPC	1998	DBLP DOI BibTeX RDF
10	Madhavan Mukund, K. Narayan Kumar, Jaikumar Radhakrishnan, Milind A. Sohoni	Robust Asynchronous Protocols Are Finite-State.	ICALP	1998	DBLP DOI BibTeX RDF
10	Thomas Buchholz, Andreas Klein 0001, Martin Kutrib	One Guess One-Way Cellular Arrays.	MFCS	1998	DBLP DOI BibTeX RDF
10	Ullrich Hustadt, Renate A. Schmidt	Simplification and Backjumping in Modal Tableau.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan	Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.	ISSTA	1998	DBLP DOI BibTeX RDF
10	Abhik Roychoudhury, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, R. Sekar 0001	A Conservative Technique to Improve Deterministic Evaluation of Logic Programs.	ICCL	1998	DBLP DOI BibTeX RDF	Optimization of Logic Programs, Program Specialization, Determinacy
10	Luca de Alfaro	Stochastic Transition Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
10	Bin Fu, Richard Beigel	A Comparison of Resource-Bounded Molecular Computation Models.	ISTCS	1997	DBLP DOI BibTeX RDF
10	Barbara Dunin-Keplicz, Anna Radzikowska	Nondeterministic Actions with Typical Effects: Reasoning about Scenarios.	ModelAge Workshop	1997	DBLP DOI BibTeX RDF
10	Naoki Kobayashi 0001	A Partially Deadlock-Free Typed Process Calculus.	LICS	1997	DBLP DOI BibTeX RDF
10	Dieter Kranzlmüller, Siegfried Grabner, Jens Volkert	Using Control and Data Flow Analysis for Race Evaluation.	Euro-Par	1997	DBLP DOI BibTeX RDF	event manipulation, Debugging, program analysis, race conditions
10	Beate Bollig, Ingo Wegener	Complexity Theoretical Results on Partitioned (Nondeterministic) Binary Decision Diagrams.	MFCS	1997	DBLP DOI BibTeX RDF
10	Kewen Wang 0001, Huowang Chen	Abduction, Argumentation and Bi-Disjunctive Logic Programs.	LPKR	1997	DBLP DOI BibTeX RDF
10	Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw	Automated Consistency Checking of Requirements Specifications.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking
10	Steven Dawson, C. R. Ramakrishnan 0001, Steven Skiena, Terrance Swift	Principles and Practice of Unification Factoring.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	trie minimization, logic programming, indexing, unification
10	Louiqa Raschid, Jorge Lobo 0001	Semantics for Update Rule Programs and Implementations in a Relational Database Management System.	ACM Trans. Database Syst.	1996	DBLP DOI BibTeX RDF	constant maintenance, deductive database, rule-based systems, fixpoint semantics, update rules, stable model semantics
10	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency.	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
10	Jane E. Sinclair	Action Systems for Security Specification.	CSFW	1996	DBLP DOI BibTeX RDF	security development, formal methods, noninterference, Action systems
10	Boumediene Belkhouche, R. Raymond Lang, Chung Wa Ng	A Branching Time Semantics for the Ada Rendezvous Mechanism.	HICSS (1)	1996	DBLP DOI BibTeX RDF
10	Valeria Bertacco, Maurizio Damiani	Boolean Function Representation Using Parallel-Access Diagrams.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF
10	Marco Bernardo 0001, Roberto Gorrieri	Extended Markovian Process Algebra.	CONCUR	1996	DBLP DOI BibTeX RDF
10	Juan Bicarregui, Brian Ritchie	Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	Abstract Machine Notation, model-oriented specification, formal methods, B, VDM
10	Kelvin D. Nilsen, Bernt Rygg	Worst-Case Execution Time Analysis on Modern Processors.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
10	Siegfried Grabner, Dieter Kranzlmüller, Jens Volkert	Debugging of concurrent processes.	PDP	1995	DBLP DOI BibTeX RDF	concurrent processes debugging, larger problem sizes, memory hot spots, global clock, event graph manipulation tool ATEMPT, parallel programming, parallel program, error detection, error detection, program testing, memory architecture, program debugging, shared memory architectures, bus contention
10	Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson	A Hierarchical Method for Reasoning about Distributed Programming Languages.	TPHOLs	1995	DBLP DOI BibTeX RDF
10	Ina Schieferdecker	Performance-Oriented Formal Specifications - the LotoTis Approach.	TAPSOFT	1995	DBLP DOI BibTeX RDF
10	Sheng Liang, Paul Hudak, Mark P. Jones	Monad Transformers and Modular Interpreters.	POPL	1995	DBLP DOI BibTeX RDF
10	Harry Buhrman, Montserrat Hermo	On the Sparse Set Conjecture for Sets with Low Denisty.	STACS	1995	DBLP DOI BibTeX RDF
10	Flavio Corradini, Rocco De Nicola, Anna Labella	Fully Abstract Models for Nondeterministic Regular Expressions.	CONCUR	1995	DBLP DOI BibTeX RDF