Construction and SAT−based verification of Contextual Unfoldings

Construction and SAT−based verification of Contextual Unfoldings

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Schwoon, S, Rodríguez, C
Formáid:	Conference item
Foilsithe / Cruthaithe:	Springer 2011

Míreanna comhchosúla

Efficient Contextual Unfolding
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2011)

Efficient unfolding of contextual Petri nets
de réir: Baldan, P, et al.
Foilsithe / Cruthaithe: (2012)

An Improved Construction of Petri Net Unfoldings
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2013)

Contextual Merged Processes
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2013)

Contextual Merged Processes
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2013)

Implementation of a complete prefix unfolder for contextual nets
de réir: Rodríguez, C
Foilsithe / Cruthaithe: (2010)

Verification Based on Unfoldings of Petri Nets with Read Arcs
de réir: Rodríguez, C
Foilsithe / Cruthaithe: (2013)

Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2013)

Verification of Petri Nets with Read Arcs
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2012)

Verification of Petri Nets with Read Arcs
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2012)

ExpliSAT: Guiding SAT−Based Software Verification with Explicit States
de réir: Barner, S, et al.
Foilsithe / Cruthaithe: (2007)

SAT-based scalable formal verification solutions /
de réir: 262924 Ganai, Malay, et al.
Foilsithe / Cruthaithe: (2007)

Contextualizing formal verification for systems security engineering
de réir: Shaked, A, et al.
Foilsithe / Cruthaithe: (2024)

Unfolding-based partial order reduction
de réir: Rodríguez, C, et al.
Foilsithe / Cruthaithe: (2015)

Efficient verification of comcurrent systems using local analysis based approximations and SAT solving
de réir: Antonino, P, et al.
Foilsithe / Cruthaithe: (2019)

Abstract interpretation with unfoldings
de réir: Sousa, M, et al.
Foilsithe / Cruthaithe: (2017)

Efficient verification of concurrent systems using synchronisation analysis and SAT/SMT solving
de réir: Antonino, P, et al.
Foilsithe / Cruthaithe: (2019)

Unfoldings
de réir: Johnson, Caryn L. (Caryn Lindani)
Foilsithe / Cruthaithe: (2011)

The universe unfolding /
de réir: 322285 King, Ivan R.
Foilsithe / Cruthaithe: (1976)

Stability of unfoldings/
de réir: 185404 Wassermann, Gordon
Foilsithe / Cruthaithe: (1974)

Multistep protein unfolding during nanopore translocation.
de réir: Rodriguez-Larrea, D, et al.
Foilsithe / Cruthaithe: (2013)

Multistep protein unfolding during nanopore translocation
de réir: Rodriguez-Larrea, D, et al.
Foilsithe / Cruthaithe: (2013)

AvatarSAT: An Auto-tuning Boolean SAT Solver
de réir: Ganesh, Vijay, et al.
Foilsithe / Cruthaithe: (2009)

A hierarchy of tractable subclasses for SAT and counting SAT problems
de réir: Rinard, Martin C., et al.
Foilsithe / Cruthaithe: (2010)

SAT in silence.
de réir: Brockdorff, N
Foilsithe / Cruthaithe: (2009)

Unfolding Orthogonal Polyhedra with Quadratic Refinement: The Delta-Unfolding Algorithm
de réir: Damian, Mirela, et al.
Foilsithe / Cruthaithe: (2014)

SAT−based Summarisation for Boolean Programs
de réir: Basler, G, et al.
Foilsithe / Cruthaithe: (2007)

Contextual fraction as a measure of contextuality
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2017)

Contextual acceptance of insect-based foods
de réir: Motoki, K, et al.
Foilsithe / Cruthaithe: (2020)

The argumentative side unfolds
de réir: Waheed, Moniza
Foilsithe / Cruthaithe: (2021)

Unfolding creativity in design
de réir: Shaari, Nazlina
Foilsithe / Cruthaithe: (2014)

The under-appreciated unfold
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (1999)

Unfolding Abstract Datatypes
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2008)

Unfolding abstract datatypes
de réir: Gibbons, J
Foilsithe / Cruthaithe: (2008)

Unfolding Pointer Algorithms
de réir: Bird, R
Foilsithe / Cruthaithe: (2001)

The Under−Appreciated Unfold
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (1998)

Under-appreciated unfold
de réir: Gibbons, J, et al.
Foilsithe / Cruthaithe: (1998)

Reveal Your Faults: It's Only Fair!
de réir: Haar, S, et al.
Foilsithe / Cruthaithe: (2013)

Design & development of CanSat with capability of inter-CanSat communication
de réir: Teng, Yu Hui.
Foilsithe / Cruthaithe: (2013)

Characterization of the unfolded state of bovine alpha-lactalbumin and comparison with unfolded states of homologous proteins.
de réir: Wirmer, J, et al.
Foilsithe / Cruthaithe: (2006)