Limit Search Results
Author
SpringerLink (Online service)
(25)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324
(3)
Matheja, Christoph. editor. (orcid)0000-0001-9151-0441
(3)
Language
Publication Date
-
Subject
Computer science.
(15)
Formal methods (Computer science)
(14)
Software engineering.
(12)
Computer Science Logic and Foundations of Programming.
(10)
Theory of Computation.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
42 Results Found Subscribe to search results
000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Author 
Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73751-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75783-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Author 
Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75778-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
Author 
Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-92196-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Author 
Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-52113-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
Author 
Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7743-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
Author 
Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-56222-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Symbolic approaches to modeling and analysis of biological systems
Symbolic approaches to modeling and analysis of biological systems
Author 
Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.
Preferred Shelf Number 
QH324.2 .S96 2023
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Self-Aware Computing Systems
Self-Aware Computing Systems
Author 
Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Real-life Applications with Membrane Computing
Real-life Applications with Membrane Computing
Author 
Zhang, Gexiang. author. Pérez-Jiménez, Mario J. author. Gheorghe, Marian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55989-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Current Trends on Knowledge-Based Systems
Current Trends on Knowledge-Based Systems
Author 
Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51905-0
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
Author 
Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51653-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
Author 
Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51963-0
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Author 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Models of Computation
Models of Computation
Author 
Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42900-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-64021-1
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Author 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers
Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papers
Author 
Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56300-8
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production
New Frontiers in Information and Production Systems Modelling and Analysis Incentive Mechanisms, Competence Management, Knowledge-based Production
Author 
Różewski, Przemysław. editor. Novikov, Dmitry. editor. Bakhtadze, Natalia. editor. Zaikin, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-23338-3
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
LATIN 2016: Theoretical Informatics 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
Author 
Kranakis, Evangelos. editor. (orcid)0000-0002-8959-4428 Navarro, Gonzalo. editor. Chávez, Edgar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49529-2
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-44561-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Linear and Integer Programming Made Easy
Linear and Integer Programming Made Easy
Author 
Hu, T. C. author. Kahng, Andrew B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24001-5
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Introduction to Artificial Intelligence
Introduction to Artificial Intelligence
Author 
Flasiński, Mariusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40022-8
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Author 
Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34171-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Formal methods applied to industrial complex systems
Formal methods applied to industrial complex systems
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342122.1)
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781119004707
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Formal methods applied to complex systems : implementation of the B Method
Formal methods applied to complex systems : implementation of the B Method
Author 
Boulanger, Jean-Louis, editor.
Preferred Shelf Number 
ONLINE(342119.1)
Electronic Access 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781119002727
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Formal methods for industrial critical systems a survey of applications
Formal methods for industrial critical systems a survey of applications
Author 
Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)
Formal ontology in information systems Proceedings of the seventh International Conference (FOIS 2012)
Author 
FOIS (Conference) (7th : 2012 : Graz, Austria) Donnelly, Maureen. Guizzardi, Giancarlo. IOS Press.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489950
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Industrial used of formal method formal verification
Industrial used of formal method formal verification
Author 
Boulanger, Jean-Louis.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Teamwork in multi-agent systems a formal approach
Teamwork in multi-agent systems a formal approach
Author 
Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9780470665237
http://site.ebrary.com/lib/alltitles/Doc?id=10389590
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Modeling in Event-B system and software engineering
Modeling in Event-B system and software engineering
Author 
Abrial, Jean-Raymond.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Digital system verification a combined formal methods and simulation framework
Digital system verification a combined formal methods and simulation framework
Author 
Li, Lun, 1970- Thornton, Mitchell Aaron.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Practical UML statecharts in C/C++ event-driven programming for embedded systems
Practical UML statecharts in C/C++ event-driven programming for embedded systems
Author 
Samek, Miro.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750687065
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Process algebra for parallel and distributed processing
Process algebra for parallel and distributed processing
Author 
Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-
Preferred Shelf Number 
QA76.58 .P7664 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Modeling and verification of real-time systems formalisms and software tools
Modeling and verification of real-time systems formalisms and software tools
Author 
Merz, Stephan. Navet, Nicolas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Verification techniques for system-level design
Verification techniques for system-level design
Author 
Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Author 
Drusinsky, Doron.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Software specification methods
Software specification methods
Author 
Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html
John Wiley http://dx.doi.org/10.1002/9780470612514
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Dynamic logic
Dynamic logic
Author 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Cafe an industrial-strength algebraic formal method
Cafe an industrial-strength algebraic formal method
Author 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Availability 
Online Library~1
Available:
Copies: