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 |
|