Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Suna Bensch, Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Deterministic Input-Reversal and Input-Revolving Finite Automata. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Paulo Moura, Ricardo Rocha 0001, Sara C. Madeira |
Thread-Based Competitive Or-Parallelism. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Cristiano Pereira, Harish Patil, Brad Calder |
Reproducible simulation of multi-threaded workloads for architecture design exploration. |
IISWC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yarom Gabay, Assaf J. Kfoury |
A calculus for java's reference objects. |
ACM SIGPLAN Notices |
2007 |
DBLP DOI BibTeX RDF |
java reference objects, weak references, garbage collection, formal languages |
10 | Christel Baier, Nathalie Bertrand 0001, Philippe Schnoebelen |
Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
lossy channels, probabilistic models, Communication protocols, Markov decision processes |
10 | Einar Broch Johnsen, Olaf Owe |
An Asynchronous Communication Model for Distributed Concurrent Objects. |
Softw. Syst. Model. |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous method calls, Distributed systems, Rewriting logic, Concurrent objects |
10 | James B. Hart, Constantine Tsinakis |
A concrete realization of the Hoare powerdomain. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Carlos Gonzalía, Annabelle McIver |
Automating Refinement Checking in Probabilistic System Design. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
algebraic rewriting system for probability, linear satisfiability, refinement, Probabilistic systems, probabilistic verification |
10 | Stephen F. Siegel |
Verifying Parallel Programs with MPI-Spin. |
PVM/MPI |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Emanuele Viola, Avi Wigderson |
One-Way Multi-Party Communication Lower Bound for Pointer Jumping with Applications. |
FOCS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina |
A Probabilistic Applied Pi-Calculus. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Rasmus Ejlers Møgelberg, Alex Simpson |
A Logic for Parametric Polymorphism with Effects. |
TYPES |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Mi-Young Park, Su Jeong Shim, Yong-Kee Jun, Hyuk-Ro Park |
MPIRace-Check: Detection of Message Races in MPI Programs. |
GPC |
2007 |
DBLP DOI BibTeX RDF |
message races, MPIRace-Check, debugging, message-passing programs |
10 | Chad Scherrer, Nathaniel Beagley, Jarek Nieplocha, Andrès Márquez, John Feo, Daniel G. Chavarría-Miranda |
Probability Convergence in a Multithreaded Counting Application. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Young-Joo Kim, Mun-Hye Kang, Ok-Kyoon Ha, Yong-Kee Jun |
Efficient Race Verification for Debugging Programs with OpenMP Directives. |
PaCT |
2007 |
DBLP DOI BibTeX RDF |
OpenMP directive, protocol scheme, verification, labeling scheme, races |
10 | Boris Motik, Robert D. C. Shearer, Ian Horrocks 0001 |
Optimized Reasoning in Description Logics Using Hypertableaux. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Frédéric Gava |
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. |
International Conference on Computational Science (1) |
2007 |
DBLP DOI BibTeX RDF |
BSP Functional Programming, divide-and-conquer |
10 | Marcin Jurdzinski, François Laroussinie, Jeremy Sproston |
Model Checking Probabilistic Timed Automata with One or Two Clocks. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Konstantinos Chatzikokolakis 0001, Catuscia Palamidessi |
Making Random Choices Invisible to the Scheduler. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Gansen Zhao, David W. Chadwick, Sassa Otenko |
Obligations for Role Based Access Control. |
AINA Workshops (1) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Gordon Fraser 0001, Franz Wotawa |
Nondeterministic Testing with Linear Model-Checker Counterexamples. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Yijia Chen, Jörg Flum |
Subexponential Time and Fixed-Parameter Tractability: Exploiting the Miniaturization Mapping. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Joost-Pieter Katoen |
Abstraction of Probabilistic Systems. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Petra Malik, Robi Malik, David Streader, Steve Reeves |
Modular Synthesis of Discrete Controllers. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ronen Shaltiel, Christopher Umans |
Pseudorandomness for Approximate Counting and Sampling. |
Comput. Complex. |
2006 |
DBLP DOI BibTeX RDF |
Subject classification, 68Q15 |
10 | Pascal Van Hentenryck, Laurent Michel |
Nondeterministic Control for Hybrid Search. |
Constraints An Int. J. |
2006 |
DBLP DOI BibTeX RDF |
hybrid search, search procedure, local search, checkpoint, continuation, closure, non determinism, solution, constraint language |
10 | Roman S. Dubtsov |
Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Stephen A. Edwards, Olivier Tardieu |
Efficient code generation from SHIM models. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
computed gotos, the shim model, embedded systems, concurrency, code synthesis |
10 | Vikraman Arvind, Jacobo Torán |
The Complexity of Quasigroup Isomorphism and the Minimum Generating Set Problem. |
ISAAC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Clare E. Martin, Sharon A. Curtis |
Nondeterministic Folds. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kevin R. O'Neill, Michael R. Clarkson, Stephen Chong |
Information-Flow Security for Interactive Programs. |
CSFW |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith 0008, Keith Wansbrough |
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
10 | Tomasz Jurdzinski |
Probabilistic Length-Reducing Automata. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Viliam Geffert |
Magic Numbers in the State Hierarchy of Finite Automata. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Nicolas Halbwachs, Louis Mandel |
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model. |
ACSD |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Stodden, Hubert Eichner, Max Walter, Carsten Trinitis |
Hardware Instruction Counting for Log-Based Rollback Recovery on x86-Family Processors. |
ISAS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Fredrik Seehusen, Ketil Stølen |
Information flow property preserving transformation of UML interaction diagrams. |
SACMAT |
2006 |
DBLP DOI BibTeX RDF |
UML, refinement, model driven architecture, transformation, information flow security |
10 | Olivier Tardieu, Stephen A. Edwards |
Scheduling-independent threads and exceptions in SHIM. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
deterministic model of computation, hardware/software codesign |
10 | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order |
10 | Koushik Sen, Gul Agha |
A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
On the Markovian Randomized Strategy of Controller for Markov Decision Processes. |
FSKD |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Yoshinao Isobe, Markus Roggenbach |
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Joachim Kupke 0002 |
On Separating Constant from Polynomial Ambiguity of Finite Automata. |
SOFSEM |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Nicolás Wolovick, Sven Johr |
A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Hans P. Reiser, Jörg Domaschka, Franz J. Hauck, Rüdiger Kapitza, Wolfgang Schröder-Preikschat |
Consistent Replication of Multithreaded Distributed Objects. |
SRDS |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Alessandro Giua, Daniele Corona, Carla Seatzu |
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*. |
Discret. Event Dyn. Syst. |
2005 |
DBLP DOI BibTeX RDF |
labeled nets, marking estimation, Petri nets, observer |
10 | Wim H. Hesselink |
Eternity variables to prove simulation of specifications. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
History variables, preservation of quiescence, prophecy variables, simulation, implementation, invariant, refinement mapping |
10 | Lucia Lo Bello, Giordano A. Kaczynski, Orazio Mirabella |
Improving the real-time behavior of ethernet networks using traffic smoothing. |
IEEE Trans. Ind. Informatics |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Richard Edwin Stearns, Harry B. Hunt III |
Resource Bounds and Subproblem Independence. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Giacomo Bucci, Luigi Sassoli, Enrico Vicario |
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification |
10 | Peter A. Dinda, Dong Lu |
Fast Compositional Queries in a Relational Grid Information Service. |
J. Grid Comput. |
2005 |
DBLP DOI BibTeX RDF |
relational databases, performance monitoring, grid information services |
10 | Masahiko Kawabe, Robert Glück |
The Program Inverter LRinv and Its Structure. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Pascal Van Hentenryck, Laurent Michel |
Nondeterministic Control for Hybrid Search. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Mark Schäfer, Walter Vogler, Petr Jancar |
Determinate STG Decomposition of Marked Graphs. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Burak Emir |
Compiling regular patterns to sequential machines. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
regular patterns, matching, sequential machines |
10 | Jianguo Zhou, Yifeng Chen |
Generating C Code from LOGS Specifications. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Orieta Celiku |
Quantitative Temporal Logic Mechanized in HOL. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Ian Stark |
Free-Algebra Models for the pi-Calculus. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Lukasz Kaiser |
Confluence of Right Ground Term Rewriting Systems Is Decidable. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Oscar H. Ibarra |
Some Computational Issues in Membrane Computing. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Roman S. Dubtsov |
Real-Time Event Structures and Scott Domains. |
PaCT |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Dana Angluin, James Aspnes, Melody Chan, Michael J. Fischer, Hong Jiang, René Peralta 0001 |
Stably Computable Properties of Network Graphs. |
DCOSS |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Laurent Michel, Pascal Van Hentenryck |
The Comet Programming Language and System. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Mohit Bhargava, Catuscia Palamidessi |
Probabilistic Anonymity. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Franck van Breugel |
A Behavioural Pseudometric for Metric Labelled Transition Systems. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lori L. Pollock |
Automated replay and failure detection for web applications. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
software testing, web applications, test oracles, replay |
10 | Gordon D. Plotkin |
Adequacy for Algebraic Effects with State. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Michal Walicki |
Bireachability and Final Multialgebras. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Ronen Shaltiel, Christopher Umans |
Pseudorandomness for Approximate Counting and Sampling. |
CCC |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A constraint solver to animate a B specification. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints |
10 | Camilo Rueda, Frank D. Valencia |
On validity in modelization of musical problems by CCP. |
Soft Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Ralph-Johan Back, Cristina Cerschi Seceleanu |
Contracts and Games in Controller Synthesis for Discrete Systems. |
ECBS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Paolo Traverso, Marco Pistore |
Automated Composition of Semantic Web Services into Executable Processes. |
ISWC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Zhongjie Li, Jianping Wu, Xia Yin |
Testing Multi Input/Output Transition System with All-Observer. |
TestCom |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Gethin Norman |
Analysing Randomized Distributed Algorithms. |
Validation of Stochastic Systems |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Lutz Schröder, Till Mossakowski |
Generic Exception Handling and the Java Monad. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Luke Wildman, Brad Long, Paul A. Strooper |
Testing Java Interrupts and Timed Waits. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
10 | John Power |
Canonical Models for Computational Effects. |
FoSSaCS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Amit M. Paradkar, Tim Klinger |
Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Completeness Checking, Reachability, Consistency Checking |
10 | V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic Programs With Monotone Cardinality Atoms. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Reidenbach |
On the Equivalence Problem for E-pattern Languages over Small Alphabets. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Robert Glück, Masahiko Kawabe |
Derivation of Deterministic Inverse Programs Based on LR Parsing. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Mircea Marin, Aart Middeldorp |
New completeness results for lazy conditional narrowing. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
conditional rewriting, narrowing, evaluation strategies |
10 | Cesare Tinelli, Calogero G. Zarba |
Combining Decision Procedures for Sorted Theories. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
10 | David von Oheimb |
Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. |
ESORICS |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Duminda Wijesekera, Sushil Jajodia |
A propositional policy algebra for access control. |
ACM Trans. Inf. Syst. Secur. |
2003 |
DBLP DOI BibTeX RDF |
policy algebra, Access control, security policy, policy composition |
10 | Chunqiang Tang, Zhichen Xu, Mallik Mahalingam |
pSearch: information retrieval in structured overlays. |
Comput. Commun. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Brad Long, Daniel Hoffman, Paul A. Strooper |
Tool Support for Testing Concurrent Java Components. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
concurrency, unit testing, tool support, Component testing |
10 | Atsuyuki Inoue, Akira Ito, Katsushi Inoue, Tokio Okazaki |
Some Properties of One-Pebble Turing Machines with Sublogarithmic Space. |
ISAAC |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
A Preemptive Deterministic Scheduling Algorithm for Multithreaded Replicas. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Kedar S. Namjoshi |
Abstraction for Branching Time Properties. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Nam Thoai, Dieter Kranzlmüller, Jens Volkert |
EROS: An Efficien Method for Minimizing the Replay Time based on the Replay Dependence Relation. |
PDP |
2003 |
DBLP DOI BibTeX RDF |
|
10 | David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli |
Smart play-out. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs |
10 | Manfred Broy |
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Andreas Malcher |
Minimizing Finite Automata Is Computationally Hard. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Panagiotis Manolios |
A Compositional Theory of Refinement for Branching Time. |
CHARME |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Harry G. Mairson, Kazushige Terui |
On the Computational Complexity of Cut-Elimination in Linear Logic. |
ICTCS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Stefan Schamberger |
Improvements to the Helpful-Set Algorithm and a New Evaluation Scheme for Graph-Partitioners. |
ICCSA (3) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa |
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems. |
EUROCAST |
2003 |
DBLP DOI BibTeX RDF |
|