Tasiran, Serdar.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Tasiran, Serdar.; Reynolds, Andrew.; SpringerLink (Online service)
(Language materials, printed)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
SpringerLink (Online service); Tasiran, Serdar.; Qadeer, Shaz.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /
by:
Tasiran, Serdar.; SpringerLink (Online service); Dillig, Isil.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(Language materials, printed)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
Tasiran, Serdar.; Workshop on the Preservation of Stability under Discretization ((2001 :); Dillig, Isil.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer System Implementation.
Artificial intelligence.
Software engineering.
Theory of Computation.
Programming Techniques.
Computer programs
Computer network architectures.
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Computers.
Programming Languages, Compilers, Interpreters.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Information theory.
System Performance and Evaluation.
Logic in AI.
The Computing Profession.
Computer Science.
Computer simulation.
Special Purpose and Application-Based Systems.
Simulation and Modeling.
Computer science.
Computer system failures.
Computer Hardware.
Programming languages (Electronic computers).
Computer software
Computer Science Logic and Foundations of Programming.