Skip to contents

Plagge, Daniel [Author] ; Leuschel, Michael [Degree supervisor]; Denecker, Marc [Degree supervisor]

Supporting Validation and Verification of State-Based Formal Models

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2016
Plagge, Daniel; Leuschel, Michael

Lecture Notes in Computer Science: Validating B,Z and TLA + Using ProB and Kodkod

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Lecture Notes in Computer Science (2012), Seite 372-386
Plagge, Daniel; Leuschel, Michael

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2010

Published in: International Journal on Software Tools for Technology Transfer, 12 (2010) 1, Seite 9-21
Dobrikov, Ivaylo; Leuschel, Michael; Plagge, Daniel

Lecture Notes in Computer Science: LTL Model Checking under Fairness in ProB

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Lecture Notes in Computer Science (2016), Seite 204-211
Hallerstede, Stefan; Leuschel, Michael; Plagge, Daniel

Validation of formal models by refinement animation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2013

Published in: Science of Computer Programming, 78 (2013) 3, Seite 272-292
Hallerstede, Stefan; Leuschel, Michael; Plagge, Daniel

Lecture Notes in Computer Science: Refinement-Animation for Event-B — Towards a Method of Validation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Lecture Notes in Computer Science (2010), Seite 287-301
Leuschel, Michael; Falampin, Jérôme; Fritz, Fabian; Plagge, Daniel

Automated property verification for large scale B models with ProB

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2011

Published in: Formal Aspects of Computing, 23 (2011) 6, Seite 683-709
Leuschel, Michael; Falampin, Jérôme; Fritz, Fabian; Plagge, Daniel

Lecture Notes in Computer Science: Automated Property Verification for Large Scale B Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Lecture Notes in Computer Science (2009), Seite 708-723
Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan; Leuschel, Michael; Lösch, Felix; Plagge, Daniel

Lecture Notes in Computer Science: On Fitting a Formal Method into Practice

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Lecture Notes in Computer Science (2011), Seite 195-210
Wieczorek, Sebastian; Kozyura, Vitaly; Roth, Andreas; Leuschel, Michael; Bendisposto, Jens; Plagge, Daniel; Schieferdecker, Ina

Lecture Notes in Computer Science: Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Lecture Notes in Computer Science (2009), Seite 179-194
Bonamente, Massimiliano; Carlstrom, John; Leitch, Eric; Joy, Marshall; Marrone, Daniel; Mantz, Adam; Muchovej, Stephen; Plagge, Thomas; Reese, Erik

Measurement of the cosmological distance scale using X-ray and Sunyaev–Zel'dovich effect observations of galaxy clusters

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2012

Published in: Proceedings of the International Astronomical Union, 8 (2012) S289, Seite 339-343
Ma, Zhenkun; Wang, Sanyi; Cooper, Curt S.; Fung, Anthony K.L.; Lynch, John K.; Plagge, Frederick; Chu, Daniel T.W.

Asymmetric dipolar cycloaddition reactions: a practical, convergent synthesis of chiral pyrrolidines

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1997

Published in: Tetrahedron: Asymmetry, 8 (1997) 6, Seite 883-887
Claxton, Michael; Pulix, Michela; Seah, Michelle K. Y.; Bernardo, Ralph; Zhou, Peng; Aljuraysi, Sultan; Liloglou, Triantafillos; Arnaud, Philippe; Kelsey, Gavin; Messerschmidt, Daniel M.; Plagge, Antonius

Variable allelic expression of imprinted genes at the Peg13, Trappc9, Ago2 cluster in single neural cells

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frontiers Media SA, 2022

Published in: Frontiers in Cell and Developmental Biology, 10 (2022)
Abdulla, Zubair; Carlstrom, John E.; Mantz, Adam B.; Marrone, Daniel P.; Greer, Christopher H.; Lamb, James W.; Leitch, Erik M.; Muchovej, Stephen; O’Donnell, Christine; Plagge, Thomas J.; Woody, David

Constraints on the Thermal Contents of the X-Ray Cavities of Cluster MS 0735.6+7421 with Sunyaev–Zel’dovich Effect Observations

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Astronomical Society, 2019

Published in: The Astrophysical Journal, 871 (2019) 2, Seite 195
Plagge, Thomas J.; Marrone, Daniel P.; Abdulla, Zubair; Bonamente, Massimiliano; Carlstrom, John E.; Gralla, Megan; Greer, Christopher H.; Joy, Marshall; Lamb, James W.; Leitch, Erik M.; Mantz, Adam; Muchovej, Stephen; Woody, David

CARMA MEASUREMENTS OF THE SUNYAEV-ZEL'DOVICH EFFECT IN RX J1347.5–1145

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Astronomical Society, 2013

Published in: The Astrophysical Journal, 770 (2013) 2, Seite 112
Bonamente, Massimiliano; Hasler, Nicole; Bulbul, Esra; Carlstrom, John E; Culverhouse, Thomas L; Gralla, Megan; Greer, Christopher; Hawkins, David; Hennessy, Ryan; Joy, Marshall; Kolodziejczak, Jeffery; Lamb, James W; Landry, David; Leitch, Erik M; Marrone, Daniel P; Miller, Amber; Mroczkowski, Tony; Muchovej, Stephen; Plagge, Thomas; Pryke, Clem; Sharp, Matthew; Woody, David

Comparison of pressure profiles of massive relaxed galaxy clusters using the Sunyaev–Zel'dovich and x-ray data

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOP Publishing, 2012

Published in: New Journal of Physics, 14 (2012) 2, Seite 025010
Hasler, Nicole; Bulbul, Esra; Bonamente, Massimiliano; Carlstrom, John E.; Culverhouse, Thomas L.; Gralla, Megan; Greer, Christopher; Hawkins, David; Hennessy, Ryan; Joy, Marshall; Kolodziejczak, Jeffery; Lamb, James W.; Landry, David; Leitch, Erik M.; Mantz, Adam; Marrone, Daniel P.; Miller, Amber; Mroczkowski, Tony; Muchovej, Stephen; Plagge, Thomas; Pryke, Clem; Woody, David

JOINT ANALYSIS OF X-RAY AND SUNYAEV–ZEL'DOVICH OBSERVATIONS OF GALAXY CLUSTERS USING AN ANALYTIC MODEL OF THE INTRACLUSTER MEDIUM

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Astronomical Society, 2012

Published in: The Astrophysical Journal, 748 (2012) 2, Seite 113
Marrone, Daniel P.; Smith, Graham P.; Okabe, Nobuhiro; Bonamente, Massimiliano; Carlstrom, John E.; Culverhouse, Thomas L.; Gralla, Megan; Greer, Christopher H.; Hasler, Nicole; Hawkins, David; Hennessy, Ryan; Joy, Marshall; Lamb, James W.; Leitch, Erik M.; Martino, Rossella; Mazzotta, Pasquale; Miller, Amber; Mroczkowski, Tony; Muchovej, Stephen; Plagge, Thomas; Pryke, Clem; Sanderson, Alastair J. R.; Takada, Masahiro; Woody, David;

LoCuSS: THE SUNYAEV–ZEL'DOVICH EFFECT AND WEAK-LENSING MASS SCALING RELATION

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Astronomical Society, 2012

Published in: The Astrophysical Journal, 754 (2012) 2, Seite 119
Gralla, Megan B.; Sharon, Keren; Gladders, Michael D.; Marrone, Daniel P.; Barrientos, L. Felipe; Bayliss, Matthew; Bonamente, Massimiliano; Bulbul, Esra; Carlstrom, John E.; Culverhouse, Thomas; Gilbank, David G.; Greer, Christopher; Hasler, Nicole; Hawkins, David; Hennessy, Ryan; Joy, Marshall; Koester, Benjamin; Lamb, James; Leitch, Erik; Miller, Amber; Mroczkowski, Tony; Muchovej, Stephen; Oguri, Masamune; Plagge, Tom; [...]

SUNYAEV-ZEL'DOVICH EFFECT OBSERVATIONS OF STRONG LENSING GALAXY CLUSTERS: PROBING THE OVERCONCENTRATION PROBLEM

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Astronomical Society, 2011

Published in: The Astrophysical Journal, 737 (2011) 2, Seite 74
Meyer, Michael D.; Altenbach, Robert J.; Basha, Fatima Z.; Carroll, William A.; Drizin, Irene; Elmore, Steven W.; Ehrlich, Paul P.; Lebold, Suzanne A.; Tietje, Karin; Sippy, Kevin B.; Wendt, Michael D.; Plata, Daniel J.; Plagge, Fred; Buckner, Steven A.; Brune, Michael E.; Hancock, Arthur A.; Kerwin, James F.

Synthesis and Pharmacological Characterization of 3-[2-((3aR,9bR)-cis-6-Methoxy- 2,3,3a,4,5,9b-hexahydro-1H- benz[e]isoindol-2-yl)ethyl]pyrido[3‘,4‘:4,5]thieno[3,2-d]pyrimidine- 2,4(1H,3H)-dione (A-131701): A Uroselective α1A Adrenoceptor Antagonist for the Symptomatic Treatment of Benign Prostatic Hyperplasia

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

American Chemical Society (ACS), 1997

Published in: Journal of Medicinal Chemistry, 40 (1997) 20, Seite 3141-3143

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication