Search results for "Unfoldings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
174	Vijay Chandru, Ramesh Hariharan, Narasimha M. Krishnakumar	Short-Cuts on Star, Source and Planar Unfoldings.	FSTTCS	2004	DBLP DOI BibTeX RDF
147	Parosh Aziz Abdulla, S. Purushothaman Iyer, Aletta Nylén	SAT-Solving the Coverability Problem for Petri Nets.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Petri nets, unfoldings, coverability, infinite state systems, partial-order methods
71	Victor Khomenko, Maciej Koutny	Verification of bounded Petri nets using integer programming.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming
61	Michael Codish, Cohavit Taboch	A Semantic Basis for Termination Analysis of Logic Programs and Its Realization Using Symbolic Norm Constraints.	ALP/HOA	1997	DBLP DOI BibTeX RDF
52	Vitaly E. Kozura	Unfoldings of Coloured Petri Nets.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
52	Stephan Melzer, Stefan Römer	Deadlock Checking Using Net Unfoldings.	CAV	1997	DBLP DOI BibTeX RDF
47	Roland Meyer 0001, Victor Khomenko, Tim Strazny	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.	Petri Nets	2008	DBLP DOI BibTeX RDF	finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
47	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.	ACSD	2004	DBLP DOI BibTeX RDF	net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits
47	Victor Khomenko, Maciej Koutny, Alexandre Yakovlev	Detecting State Coding Conflicts in STG Unfoldings Using SAT.	ACSD	2003	DBLP DOI BibTeX RDF	complete state coding, CSC, net unfoldings, Petri nets, asynchronous circuits, SAT, signal transition graphs, STG, automated synthesis
47	Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev	Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings.	ACSD	1998	DBLP DOI BibTeX RDF	CSC conflicts, Petri Nets, unfoldings, asynchronous design
46	Victor Khomenko, Maciej Koutny	Branching Processes of High-Level Petri Nets.	TACAS	2003	DBLP DOI BibTeX RDF	model checking, Verification, high-level Petri nets, unfolding
46	Parke Godfrey, Jarek Gryz	View Disassembly.	ICDT	1999	DBLP DOI BibTeX RDF
41	Eric Fabre, Albert Benveniste	Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Distributed systems, Diagnosis, Partial orders, Discrete event systems, Unfoldings, Fault management, Alarm correlation
41	Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard	Distributed Monitoring of Concurrent and Asynchronous Systems*.	Discret. Event Dyn. Syst.	2005	DBLP DOI BibTeX RDF	concurrent, fault diagnosis, distributed, asynchronous, unfoldings, fault management, event structures
37	Victor Khomenko, Agnes Madalinski, Alexandre Yakovlev	Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings.	ACSD	2006	DBLP DOI BibTeX RDF
37	Jörg Desel, Gabriel Juhás, Christian Neumair	Finite Unfoldings of Unbounded Petri Nets.	ICATPN	2004	DBLP DOI BibTeX RDF
37	Victor Khomenko, Maciej Koutny, Walter Vogler	Canonical prefixes of Petri net unfoldings.	Acta Informatica	2003	DBLP DOI BibTeX RDF
37	Stefan Haar	Probabilistic Unfoldings and Partial Order Fairness in Petri Nets.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
37	Victor Khomenko, Maciej Koutny, Walter Vogler	Canonical Prefixes of Petri Net Unfoldings.	CAV	2002	DBLP DOI BibTeX RDF	canonical prefix, Model checking, Petri nets, unfolding
37	Marko Mäkelä	Optimising Enabling Tests and Unfoldings of Algebraic System Nets.	ICATPN	2001	DBLP DOI BibTeX RDF	reachability analysis, unification, high-level Petri nets, unfolding
37	Burkhard Graves	Computing Reachability Properties Hidden in Finite Net Unfoldings.	FSTTCS	1997	DBLP DOI BibTeX RDF
37	Javier Esparza	Model Checking Using Net Unfoldings.	TAPSOFT	1993	DBLP DOI BibTeX RDF
30	Eric Fabre	Trellis Processes : A Compact Representation for Runs of Concurrent Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis
30	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged processes: a new condensed representation of Petri net behaviour.	Acta Informatica	2006	DBLP DOI BibTeX RDF
30	Ugo A. Buy, Mihai Lehene, Houshang Darabi	Latency-Based Supervisors for Enforcing Deadlines in Time Petri Nets.	SEW	2005	DBLP DOI BibTeX RDF
30	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged Processes - A New Condensed Representation of Petri Net Behaviour.	CONCUR	2005	DBLP DOI BibTeX RDF
30	Victor Khomenko, Maciej Koutny	Towards an Efficient Algorithm for Unfolding Petri Nets.	CONCUR	2001	DBLP DOI BibTeX RDF	Model checking, Petri nets, concurrency, unfolding
30	Victor Khomenko, Maciej Koutny	LP Deadlock Checking Using Partial Order Dependencies.	CONCUR	2000	DBLP DOI BibTeX RDF
30	Aiguo Xie, Sangyun Kim 0001, Peter A. Beerel	Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice.	ASYNC	1999	DBLP DOI BibTeX RDF
30	P. Madhusudan, P. S. Thiagarajan	Controllers for Discrete Event Systems via Morphisms.	CONCUR	1998	DBLP DOI BibTeX RDF
30	Ugo Montanari, Marco Pistore	Checking Bisimilarity for Finitary pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
30	Philippe Devienne, Patrick Lebègue	Weighted Graphs: A Tool for Logic Programming.	CAAP	1986	DBLP DOI BibTeX RDF
26	Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs
22	Xu Yang, Chen Ye 0002, Yijun Chen	Depth-First Net Unfoldings and Equivalent Reduction.	Symmetry	2023	DBLP DOI BibTeX RDF
22	Satyan L. Devadoss, Matthew S. Harvey	Unfoldings and nets of regular polytopes.	Comput. Geom.	2023	DBLP DOI BibTeX RDF
22	Marc de Visme, Glynn Winskel	Causal Unfoldings and Disjunctive Causes.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
22	Takumi Shiota, Toshiki Saitoh	Overlapping Edge Unfoldings for Archimedean Solids and (Anti)prisms.	WALCOM	2023	DBLP DOI BibTeX RDF
22	Bruno Courcelle	Unfoldings and Coverings of Weighted Graphs.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
22	Bruno Courcelle, Yves Métivier	Unfoldings and coverings of weighted graphs.	CoRR	2022	DBLP DOI BibTeX RDF
22	Elena Arseneva, Erik D. Demaine, Tonan Kamata, Ryuhei Uehara	Discretization to Prove the Nonexistence of "Small" Common Unfoldings Between Polyhedra.	CCCG	2022	DBLP BibTeX RDF
22	Satyan L. Devadoss, Matthew S. Harvey	Unfoldings and Nets of Regular Polytopes.	CoRR	2021	DBLP BibTeX RDF
22	Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle	Verification of Concurrent Programs Using Petri Net Unfoldings.	VMCAI	2021	DBLP DOI BibTeX RDF
22	Juraj Kolcák	Dépliages et interprétation abstraite pour réseaux de régulation biologiques paramétrés. (Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks).		2021	RDF
22	Ian Lizarraga, Robert Marangell, Martin Wechselberger	Slow Unfoldings of Contact Singularities in Singularly Perturbed Systems Beyond the Standard Form.	J. Nonlinear Sci.	2020	DBLP DOI BibTeX RDF
22	Loïg Jezequel, Agnes Madalinski, Stefan Schwoon	Distributed computation of vector clocks in Petri net unfoldings for test selection.	Discret. Event Dyn. Syst.	2020	DBLP DOI BibTeX RDF
22	Martin L. Demaine, Robert A. Hearn, Junnosuke Hoshido, Jason S. Ku, Ryuhei Uehara	Rectangular Unfoldings of Polycubes.	J. Inf. Process.	2020	DBLP DOI BibTeX RDF
22	Marc de Visme, Glynn Winskel	Causal Unfoldings and Disjunctive Causes.	CoRR	2020	DBLP BibTeX RDF
22	G. Michele Pinna, Eric Fabre	Spreading nets: A uniform approach to unfoldings.	J. Log. Algebraic Methods Program.	2020	DBLP DOI BibTeX RDF
22	Nicholas Barvinok, Mohammad Ghomi	Pseudo-Edge Unfoldings of Convex Polyhedra.	Discret. Comput. Geom.	2020	DBLP DOI BibTeX RDF
22	Xinzhu Zhao, Bo Dong, Bo Yu 0003	Unfoldings and the rank-one approximation of the tensor.	J. Comput. Appl. Math.	2020	DBLP DOI BibTeX RDF
22	Jin Akiyama, Kiyoko Matsunaga	Unfoldings of an envelope.	Eur. J. Comb.	2019	DBLP DOI BibTeX RDF
22	Martin L. Demaine, Robert A. Hearn, Jason S. Ku, Ryuhei Uehara	Rectangular Unfoldings of Polycubes.	CCCG	2019	DBLP BibTeX RDF
22	Marc de Visme, Glynn Winskel	Causal Unfoldings.	CALCO	2019	DBLP DOI BibTeX RDF
22	Kari Kähkönen, Keijo Heljanko	Testing Programs with Contextual Unfoldings.	ACM Trans. Embed. Comput. Syst.	2018	DBLP DOI BibTeX RDF
22	Étienne Payet	Guided Unfoldings for Finding Loops in Standard Term Rewriting.	CoRR	2018	DBLP BibTeX RDF
22	Alberto Lutz-Ley, Ernesto López-Mellado	Stability Analysis of Discrete Event Systems Modeled by Petri Nets Using Unfoldings.	IEEE Trans Autom. Sci. Eng.	2018	DBLP DOI BibTeX RDF
22	Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa	Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
22	Yao Cheng 0001, Sher Ali Cheema, Martin Haardt, Amir Weiss, Arie Yeredor	First-Order Perturbation Analysis of Secsi With Generalized Unfoldings.	ICASSP	2018	DBLP DOI BibTeX RDF
22	Luis Garcia, Andres Gutierrez, Isaac Ruiz, Andrew Winslow	Vertex Unfoldings of Orthogonal Polyhedra: Positive, Negative, and Inconclusive Results.	CCCG	2018	DBLP BibTeX RDF
22	Lanlan Dong, Guanjun Liu, Dongming Xiang	Verifying CTL with Unfoldings of Petri Nets.	ICA3PP (4)	2018	DBLP DOI BibTeX RDF
22	Étienne Payet	Guided Unfoldings for Finding Loops in Standard Term Rewriting.	LOPSTR	2018	DBLP DOI BibTeX RDF
22	Ismaila Abdullahi	Automated verification of object Petri nets based on transformation, unfoldings and SAT solving.		2018	RDF
22	Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza	Minimizing Test Suites with Unfoldings of Multithreaded Programs.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
22	Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening	Abstract Interpretation with Unfoldings.	CoRR	2017	DBLP BibTeX RDF
22	Marcelo Sousa, César Rodríguez, Vijay Victor D'Silva, Daniel Kroening	Abstract Interpretation with Unfoldings.	CAV (2)	2017	DBLP DOI BibTeX RDF
22	Tim Shaw, Simon J. Bowen, John Bowers 0001	Unfoldings: Multiple Explorations of Sound and Space.	NIME	2016	DBLP DOI BibTeX RDF
22	Amit Vutha, Martin Golubitsky	Normal Forms and Unfoldings of Singular Strategy Functions.	Dyn. Games Appl.	2015	DBLP DOI BibTeX RDF
22	Kie Van Ivanky Saputra	Dynamical Systems with a Codimension-One Invariant Manifold: The Unfoldings and Its Bifurcations.	Int. J. Bifurc. Chaos	2015	DBLP DOI BibTeX RDF
22	Giovanna Diaz, Joseph O'Rourke	Hypercube Unfoldings that Tile R^3 and R^2.	CoRR	2015	DBLP BibTeX RDF
22	Joseph O'Rourke	Spiral Unfoldings of Convex Polyhedra.	CoRR	2015	DBLP BibTeX RDF
22	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Processes and unfoldings: concurrent computations in adhesive categories.	Math. Struct. Comput. Sci.	2014	DBLP DOI BibTeX RDF
22	Kari Kähkönen, Keijo Heljanko	Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution.	ACSD	2014	DBLP DOI BibTeX RDF
22	Houssam-Eddine Gougam, Audine Subias, Yannick Pencolé	Discriminability Analysis of Supervision Patterns by Net Unfoldings.	WODES	2014	DBLP DOI BibTeX RDF
22	Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon	Characterization of Reachable Attractors Using Petri Net Unfoldings.	CMSB	2014	DBLP DOI BibTeX RDF
22	Michael Köhler-Bußmeier	Defining Multi-Party Compromises using Unfoldings of Workflow Nets.	Fundam. Informaticae	2013	DBLP DOI BibTeX RDF
22	Javier Esparza, Loïg Jezequel, Stefan Schwoon	Computation of Summaries Using Net Unfoldings.	CoRR	2013	DBLP BibTeX RDF
22	Thomas Chatain	Concurrency in Real-Time Distributed Systems, from Unfoldings to Implementability.		2013	RDF
22	Stefan Haar, Eric Fabre	Diagnosis with Petri Net Unfoldings.	Control of Discrete-Event Systems	2013	DBLP DOI BibTeX RDF
22	Takashi Horiyama, Wataru Shoji	The Number of Different Unfoldings of Polyhedra.	ISAAC	2013	DBLP DOI BibTeX RDF
22	Jin-ichi Itoh, Chie Nara	Transformability and Reversibility of Unfoldings of Doubly-Covered Polyhedra.	JCDCGG	2013	DBLP DOI BibTeX RDF
22	César Rodríguez, Stefan Schwoon	An Improved Construction of Petri Net Unfoldings.	FSFMA	2013	DBLP DOI BibTeX RDF
22	Petr Novosad, Milan Ceska 0001	Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets.	EUROCAST (1)	2013	DBLP DOI BibTeX RDF
22	Javier Esparza, Loïg Jezequel, Stefan Schwoon	Computation of Summaries Using Net Unfoldings.	FSTTCS	2013	DBLP DOI BibTeX RDF
22	César Rodríguez	Verification based on unfoldings of Petri nets with read arcs. (Vérification à l'aide de dépliages de réseaux de Petri étendus avec des arcs de lecture).		2013	RDF
22	John Guckenheimer, Philipp Meerkamp	Unfoldings of Singular Hopf Bifurcation.	SIAM J. Appl. Dyn. Syst.	2012	DBLP DOI BibTeX RDF
22	Stefan Ragnarsson, Charles F. Van Loan	Block Tensor Unfoldings.	SIAM J. Matrix Anal. Appl.	2012	DBLP DOI BibTeX RDF
22	Jin-ichi Itoh, Joseph O'Rourke, Costin Vîlcu	Source Unfoldings of Convex Polyhedra via Certain Closed Curves	CoRR	2012	DBLP BibTeX RDF
22	Florian Roemer, Carola Schroeter, Martin Haardt	A semi-algebraic framework for approximate CP decompositions via joint matrix diagonalization and generalized unfoldings.	ACSCC	2012	DBLP DOI BibTeX RDF
22	Javier Esparza, Christian Kern	Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings.	ACSD	2012	DBLP DOI BibTeX RDF
22	Kari Kähkönen, Olli Saarikivi, Keijo Heljanko	Using unfoldings in automated testing of multithreaded programs.	ASE	2012	DBLP DOI BibTeX RDF
22	Haisheng Wang, Liviu Grigore, Ugo A. Buy, Mihai Lehene, Houshang Darabi	Enforcing Periodic Transition Deadlines in Time Petri Nets With Net Unfoldings.	IEEE Trans. Syst. Man Cybern. Part A	2011	DBLP DOI BibTeX RDF
22	Stefan Ragnarsson, Charles F. Van Loan	Block Tensor Unfoldings	CoRR	2011	DBLP BibTeX RDF
22	Toshiki Endo, Yuki Suzuki	Vertex unfoldings of tight polyhedra	CoRR	2011	DBLP BibTeX RDF
22	Jin-ichi Itoh, Chie Nara	Unfoldings of doubly covered polyhedra and applications to space-fillers.	Period. Math. Hung.	2011	DBLP DOI BibTeX RDF
22	G. Michele Pinna	How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings.	Petri Nets	2011	DBLP DOI BibTeX RDF
22	Victor Khomenko	Logic Decomposition of Asynchronous Circuits Using STG Unfoldings.	ASYNC	2011	DBLP DOI BibTeX RDF
22	Stefan Schwoon, César Rodríguez	Construction and SAT-Based Verification of Contextual Unfoldings.	DCFS	2011	DBLP DOI BibTeX RDF
22	Dirk Fahland, Wil M. P. van der Aalst	Simplifying Mined Process Models: An Approach Based on Unfoldings.	BPM	2011	DBLP DOI BibTeX RDF
22	Takashi Horiyama, Wataru Shoji	Edge Unfoldings of Platonic Solids Never Overlap.	CCCG	2011	DBLP BibTeX RDF
22	Petr Novosad, Milan Ceska 0001	Unfoldings of Bounded Hybrid Petri Nets.	EUROCAST (1)	2011	DBLP DOI BibTeX RDF