Search results for "Sequentialization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	Masahiro Hamano	Softness of MALL proof-structures and a correctness criterion with Mix.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	Multiplicative Additive Proof-Nets, Linear Logic, Sequentialization
46	Tamás Gaál	Extended Sequentialization of Transducers.	CIAA	2000	DBLP DOI BibTeX RDF
46	Barton C. Massey, Evan Tick	Sequentialization of Parallel Logic Programs with Mode Analysis.	LPAR	1993	DBLP DOI BibTeX RDF
39	Olivier Laurent 0001, Roberto Maieli	Cut Elimination for Monomial MALL Proof Nets.	LICS	2008	DBLP DOI BibTeX RDF	Linear Logic, Cut Elimination, Proof Net
39	François Lamarche, Lutz Straßburger	Naming Proofs in Classical Propositional Logic.	TLCA	2005	DBLP DOI BibTeX RDF
27	Aurore Alcolei, Luc Pellissier, Alexis Saurin	The exponential logic of sequentialization.	MFPS	2023	DBLP DOI BibTeX RDF
27	Florian Bridoux	Sequentialization and procedural complexity in automata networks.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
27	Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.	ACM Trans. Program. Lang. Syst.	2022	DBLP DOI BibTeX RDF
27	Cezara Dragoi, Patricio Inzaghi Pronesti	A Sequentialization Procedure for Fault-Tolerant Protocols.	VSTTE	2022	DBLP DOI BibTeX RDF
27	Azadeh Farzan, Dominik Klumpp, Andreas Podelski	Sound sequentialization for concurrent program verification.	PLDI	2022	DBLP DOI BibTeX RDF
27	Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer	Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact).		2020	DOI RDF
27	Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, Shaz Qadeer	Inductive sequentialization of asynchronous programs.	PLDI	2020	DBLP DOI BibTeX RDF
27	Vimuth Fernando, Keyur Joshi 0001, Sasa Misailovic	Verifying safety and accuracy of approximate parallel programs via canonical sequentialization.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
27	Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler	Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction.	Int. J. Softw. Tools Technol. Transf.	2019	DBLP DOI BibTeX RDF
27	Florian Bridoux	Sequentialization and Procedural Complexity in Automata Networks.	CoRR	2018	DBLP BibTeX RDF
27	Ruan V. B. Carvalho, Laís S. Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Sequentialization for full N-Graphs via sub-N-Graphs.	CoRR	2018	DBLP BibTeX RDF
27	Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala	Verifying distributed programs via canonical sequentialization.	Proc. ACM Program. Lang.	2017	DBLP DOI BibTeX RDF
27	Anand Yeolekar, Kumar Madhukar, Dipali Bhutada, R. Venkatesh 0001	Sequentialization Using Timestamps.	TAMC	2017	DBLP DOI BibTeX RDF
27	Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu	Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach.	SOFL+MSVL	2017	DBLP DOI BibTeX RDF
27	Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Concurrent Program Verification with Lazy Sequentialization and Interval Analysis.	NETYS	2017	DBLP DOI BibTeX RDF
27	Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution).	TACAS (2)	2017	DBLP DOI BibTeX RDF
27	Alexander Bakst	Sequentialization and Synchronization for Distributed Programs.		2017	RDF
27	Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong 0006, Ji Wang 0001	Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.	ACM Trans. Embed. Comput. Syst.	2016	DBLP DOI BibTeX RDF
27	Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.	ATVA	2016	DBLP DOI BibTeX RDF
27	Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Lazy sequentialization for TSO and PSO via shared memory abstractions.	FMCAD	2016	DBLP DOI BibTeX RDF
27	Haitao Zhang, Toshiaki Aoki, Yuki Chiba	Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach.	IEICE Trans. Inf. Syst.	2015	DBLP DOI BibTeX RDF
27	Vladimir Herdt, Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules.	ATVA	2015	DBLP DOI BibTeX RDF
27	Sunha Ahn, Sharad Malik, Aarti Gupta	Completeness bounds and sequentialization for model checking of interacting firmware and hardware.	CODES+ISSS	2015	DBLP DOI BibTeX RDF
27	Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution).	TACAS	2015	DBLP DOI BibTeX RDF
27	Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings - (Competition Contribution).	TACAS	2015	DBLP DOI BibTeX RDF
27	Omar Inverso	Bounded model checking of multi-threaded programs via sequentialization.		2015	RDF
27	Miquel Bertran, Francesc-Xavier Babot, August Climent	Formal communication elimination and sequentialization equivalence proofs for distributed system models.	Acta Informatica	2014	DBLP DOI BibTeX RDF
27	Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Sequentialization for N-Graphs via Sub-N-Graphs.	WoLLIC	2014	DBLP DOI BibTeX RDF
27	Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization.	CAV	2014	DBLP DOI BibTeX RDF
27	Omar Inverso, Ermenegildo Tomasco, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	Lazy-CSeq: A Lazy Sequentialization Tool for C - (Competition Contribution).	TACAS	2014	DBLP DOI BibTeX RDF
27	Ermenegildo Tomasco, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato	MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution).	TACAS	2014	DBLP DOI BibTeX RDF
27	Bernd Fischer 0002, Omar Inverso, Gennaro Parlato	CSeq: A Sequentialization Tool for C - (Competition Contribution).	TACAS	2013	DBLP DOI BibTeX RDF
27	Sagar Chaki, Arie Gurfinkel, Soonho Kong, Ofer Strichman	Compositional Sequentialization of Periodic Programs.	VMCAI	2013	DBLP DOI BibTeX RDF
27	Niloofar Razavi, Azadeh Farzan, Andreas Holzer	Bounded-Interference Sequentialization for Testing Concurrent Programs.	ISoLA (1)	2012	DBLP DOI BibTeX RDF
27	Salvatore La Torre, Gennaro Parlato	Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width.	FSTTCS	2012	DBLP DOI BibTeX RDF
27	Stefano Guerrini	A linear algorithm for MLL proof net correctness and sequentialization.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
27	Miquel Bertran, Francesc-Xavier Babot, August Climent	Formal Sequentialization of Distributed Systems via Program Rewriting.	PROLE	2006	DBLP DOI BibTeX RDF
27	Eben Upton	Optimal Sequentialization of Gated Data Dependence Graphs is NP-Complete.	PDPTA	2003	DBLP BibTeX RDF
27	André Arnold	An Example of Sequentialization of a Parallel Algorithm.	Sci. Comput. Program.	1989	DBLP DOI BibTeX RDF
19	Tom Schrijvers, Martin Sulzmann	Transactions in Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
19	Samson Abramsky	Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract).	CSL	2007	DBLP DOI BibTeX RDF
19	Robert Lorenz 0001, Gabriel Juhás	Towards Synthesis of Petri Nets from Scenarios.	ICATPN	2006	DBLP DOI BibTeX RDF
19	Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Can I Execute My Scenario in Your Net? VipTool Tells You!	ICATPN	2006	DBLP DOI BibTeX RDF
19	Christian Schuster, Jean-Luc Nagel, Christian Piguet, Pierre-André Farine	Architectural and technology influence on the optimal total power consumption.	DATE	2006	DBLP DOI BibTeX RDF
19	Adam Chlipala, Leaf Petersen, Robert Harper 0001	Strict bidirectional type checking.	TLDI	2005	DBLP DOI BibTeX RDF	strict logic, type inference, type theory
19	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Timed State Space Analysis of Real-Time Preemptive Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
19	Lutz Straßburger, François Lamarche	On Proof Nets for Multiplicative Linear Logic with Units.	CSL	2004	DBLP DOI BibTeX RDF
19	R. Achutharaman, R. Govindarajan, G. Hariprakash, Amos Omondi	Exploiting Java-ILP on a Simultaneous Multi-Trace Instruction Issue (SMTI) Processor.	IPDPS	2003	DBLP DOI BibTeX RDF
19	Andrés Farías, Mario Südholt	On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction.	OTM	2002	DBLP DOI BibTeX RDF
19	Tamás Gaál	Is this Finite-State Transducer Sequentiable?	CIAA	2001	DBLP DOI BibTeX RDF
19	Julia L. Lawall, Harry G. Mairson	Sharing Continuations: Proofnets for Languages with Explicit Control.	ESOP	2000	DBLP DOI BibTeX RDF
19	Bir Bhanu, Yingqiang Lin	Stochastic Models for Recognition of Occluded Objects.	SSPR/SPR	2000	DBLP DOI BibTeX RDF	multiple recognition models, hidden Markov modeling, object recognition, SAR images
19	Rajeev Barua, Walter Lee, Saman P. Amarasinghe, Anant Agarwal	Maps: A Compiler-Managed Memory System for Raw Machines.	ISCA	1999	DBLP DOI BibTeX RDF
19	Bir Bhanu, Bing Tian	Stochastic Models for Recognition of Articulated Objects.	ICIP (2)	1997	DBLP DOI BibTeX RDF	articulated objects recognition, probabilistic estimates, feature invariance estimation, scattering centers, training image, testing images, 1D sequences, maximum likelihood decision, hidden Markov modeling, HMM, stochastic models, experimental results, synthetic aperture radar, synthetic aperture radar, SAR images, multiple models
19	Gopal Gupta 0001, Enrico Pontelli	Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems.	IPPS	1997	DBLP DOI BibTeX RDF
19	Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001	From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.	ALP	1994	DBLP DOI BibTeX RDF