Margaria, Tiziana.
Overview
| Works: | 1 works in 25 publications in 1 languages | |
|---|---|---|
Titles
Engineering of computer-based systems8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023 : proceedings /
by:
(1998 :); Kofroň, Jan.; Margaria, Tiziana.; Seceleanu, Cristina.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validationREoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationspecification and verification : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part III /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Correct hardware design and verification methods11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
by:
(1998 :); Margaria, Tiziana.; Melham, Tom.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part IV /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationfoundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part III /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationsoftware engineering methodologies : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part IV /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Yi, Wang.
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationmodeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationtools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part IV /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Service-oriented computing - ICSOC 20086th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
Bouguettaya, Athman.; ICSOC 2008 (Sydney, N.S.W.)) ((2008 :); Krueger, Ingolf.; Margaria, Tiziana.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validationapplication areas : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part V /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Process design for natural scientistsan agile model-driven approach /
by:
Lamprecht, Anna-Lena.; Margaria, Tiziana.; SpringerLink (Online service)
(Language materials, printed)
Models, mindsets, metathe what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
Graf, Susanne.; Larsen, Kim G.; Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard,
(Electronic resources)
Leveraging applications of formal methods, verification and validationrigorous engineering of collective adaptive systems : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification, and validation4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification, and validation4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationverification principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part II /
by:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings.Part I /
by:
(1998 :); Legay, Axel.; Margaria, Tiziana.; SpringerLink (Online service)
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Technologies for mastering change5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validation. Applications and case studies5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationspecialized techniques and applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Language materials, printed)
Leveraging applications of formal methods, verification and validationapplications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part III /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationdiscussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Leveraging applications of formal methods, verification and validationtechnologies for mastering change : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 : proceedings.Part I /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Language materials, printed)
Leveraging applications of formal methods, verification and validationengineering principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings.Part II /
by:
(1998 :); Margaria, Tiziana.; SpringerLink (Online service); Steffen, Bernhard.
(Electronic resources)
Show more
Fewer
Subjects
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Computing Methodologies.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Systems engineering
Computer software
Operating Systems.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Science
Information Systems Applications (incl. Internet)
Database Management.
Algorithm Analysis and Problem Complexity.
Control Structures and Microprogramming.
System design
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Robots
Special Purpose and Application-Based Systems.
Computer Science Logic and Foundations of Programming.
Data Mining and Knowledge Discovery.
Models and Principles.
Computer Engineering and Networks.
Information Systems Applications (incl.Internet)
Service-oriented architecture (Computer science)
Business Information Systems.
Machine learning
The Computing Profession.
Computer science
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science.
Computer Communication Networks.
Computers and Society.
Simulation and Modeling.
Computer Systems Organization and Communication Networks.
Computer System Implementation.
Blockchains (Databases)
Computer Hardware.
Integrated circuits
System analysis
Computer engineering