106 results
Search Results
2. Tools and Methods of Program Analysis : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
3. Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops : CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
4. From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers
5. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
6. Frontiers in Software Engineering Education : Second International Workshop, FISEE 2023, Villebrumier, France, January 23–25, 2023, Invited Papers
7. Composability, Comprehensibility and Correctness of Working Software : 8th Summer School, CEFP 2019, Budapest, Hungary, June 17–21, 2019, Revised Selected Papers
8. Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers
9. Fundamentals of Software Engineering : 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers
10. Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation : First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
11. Verified Software. Theories, Tools and Experiments. : 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
12. Rewriting Logic and Its Applications : 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
13. Language, Logic, and Computation : 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers
14. Testing Software and Systems : 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
15. Artificial Intelligence Logic and Applications : The 3rd International Conference, AILA 2023, Changchun, China, August 5–6, 2023, Proceedings
16. Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
17. Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings
18. Implementation and Application of Automata : 26th International Conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022, Proceedings
19. Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
20. Transactions on Petri Nets and Other Models of Concurrency XVI
21. Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
22. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II
23. Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
24. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part IV
25. Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
26. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I
27. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V
28. Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings
29. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part II
30. Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
31. Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
32. Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I
33. Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
34. Parallel and Distributed Computing, Applications and Technologies : Proceedings of PDCAT 2023
35. Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
36. Formal Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
37. Applicable Formal Methods for Safe Industrial Products : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
38. Computational Science – ICCS 2023 : 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part III
39. NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings
40. Transactions on Petri Nets and Other Models of Concurrency XVII
41. Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings
42. Search-Based Software Engineering : 14th International Symposium, SSBSE 2022, Singapore, November 17–18, 2022, Proceedings
43. PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings
44. Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
45. Dependable Software Engineering. Theories, Tools, and Applications : 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings
46. Reachability Problems : 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
47. Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings
48. Mathematics of Program Construction : 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
49. Quantitative Evaluation of Systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings
50. Formal Modeling and Analysis of Timed Systems : 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.