Bouajjani, Ahmed.
Overview
Works: | 6 works in 4 publications in 1 languages |
---|
Titles
Computer aided verification21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Maler, Oded.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022 : proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Holík, Lukas.; SpringerLink (Online service); Wu, Zhilin.
(Electronic resources)
Networked systemsthird International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015 : revised selected papers /
by:
(1998 :); Bouajjani, Ahmed.; Fauconnier, Hugues.; SpringerLink (Online service)
(Electronic resources)
Automated technology for verification and analysis8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Chin, Wei-Ngan.; SpringerLink (Online service)
(Electronic resources)
Verification, model checking, and abstract interpretation18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Monniaux, David.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed objects, components, and systems37th IFIP WG 6.1 International Conference, FORTE 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
by:
(1998 :); Bouajjani, Ahmed.; Silva, Alexandra.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Artificial intelligence
Software engineering
Computer network protocols
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Computer software
Artificial Intelligence (incl. Robotics)
Automatic theorem proving
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Logic Design.
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Formal methods (Computer science)
Computer Engineering and Networks.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
Computer networks
Cloud computing
Computer Hardware.
Mobile computing