A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “bounded model checking” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Integrating Loop Acceleration Into Bounded Model Checking
2024 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

7

citations
Integrating Loop Acceleration into Bounded Model Checking
2024 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

3

citations
Partially ordered stochastic conformance checking
2024 Knowledge and Information Systems article Business, Management and Accounting Business Process Modeling and Analysis Open access

Sander J. J. Leemans, Tobias Brockhoff, Wil M. P. van der Aalst, Artem Polyvyanyy

5

citations
A NICER View of the Nearest and Brightest Millisecond Pulsar: PSR J0437–4715
2024 The Astrophysical Journal Letters article Physics and Astronomy Pulsars and Gravitational Waves Research Open access

Devarshi Choudhury, Tuomo Salmi, S. Vinciguerra, Thomas E. Riley, Yves Kini, Anna L. Watts, +14 more

286

citations

4 results