No abstract available.
Cited By
- AlBlwi S, Marsit I, Khaireddine B, Ayad A, Loh J and Mili A (2025). Subsumption, correctness and relative correctness, Science of Computer Programming, 239:C, Online publication date: 1-Jan-2025.
- Xu M, Fu J, Jiang H, Deng Y and Li Z (2024). Termination and Universal Termination Problems for Nondeterministic Quantum Programs, ACM Transactions on Software Engineering and Methodology, 33:8, (1-41), Online publication date: 30-Nov-2024.
- Horváth G Teaching Task Specification Efficiently in Introductory Programming Courses in Higher Education Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning, (111-122)
- Greiner S, Bühlmann N, Ohrndorf M, Tsigkanos C, Nierstrasz O and Kehrer T Automated Generation of Code Contracts: Generative AI to the Rescue? Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (1-14)
- Belardinelli F, Boureanu I, Malvone V and Rajaona F (2024). An SMT-based Approach to the Verification of Knowledge-Based Programs, Formal Aspects of Computing, 0:0
- Zhang L, Zilberstein N, Kaminski B and Silva A (2024). Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers, Proceedings of the ACM on Programming Languages, 8:OOPSLA2, (817-845), Online publication date: 8-Oct-2024.
- Bordis T, Kodetzki M, Schaefer I and Drusinsky D (2024). From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design, Computer, 57:7, (113-119), Online publication date: 1-Jul-2024.
- Tarjan R and Zwick U (2024). Finding strong components using depth-first search, European Journal of Combinatorics, 119:C, Online publication date: 1-Jun-2024.
- Nipkow T (2024). Gale-Shapley Verified, Journal of Automated Reasoning, 68:2, Online publication date: 1-Jun-2024.
- Cousot P (2024). Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation, Proceedings of the ACM on Programming Languages, 8:POPL, (175-208), Online publication date: 5-Jan-2024.
- Liu Z, Teng J and Liu B Multi-dimensional Abstraction and Decomposition for Separation of Concerns Dependable Software Engineering. Theories, Tools, and Applications, (152-170)
- Ameur-Boulifa R, Corradi Q, Henrio L and Madelaine E Refinements for Open Automata Software Engineering and Formal Methods, (11-29)
- Khaireddine B, Zakharchenko A, Martinez M and Mili A (2023). Toward a theory of program repair, Acta Informatica, 60:3, (209-255), Online publication date: 1-Sep-2023.
- Kovács L Algebra-Based Loop Analysis Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, (41-42)
- Hesselink W and Buhr P (2023). MCSH, a Lock with the Standard Interface, ACM Transactions on Parallel Computing, 10:2, (1-23), Online publication date: 30-Jun-2023.
- Avanzini M, Moser G and Schaper M (2023). Automated Expected Value Analysis of Recursive Programs, Proceedings of the ACM on Programming Languages, 7:PLDI, (1050-1072), Online publication date: 6-Jun-2023.
- Miyashita Y, Yamauchi T and Sugawara T Distributed Planning with Asynchronous Execution with Local Navigation for Multi-agent Pickup and Delivery Problem Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, (914-922)
- Banach R (2023). Graded Refinement, Retrenchment, and Simulation, ACM Transactions on Software Engineering and Methodology, 32:2, (1-69), Online publication date: 30-Apr-2023.
- Feng S, Chen M, Su H, Kaminski B, Katoen J and Zhan N (2023). Lower Bounds for Possibly Divergent Probabilistic Programs, Proceedings of the ACM on Programming Languages, 7:OOPSLA1, (696-726), Online publication date: 6-Apr-2023.
- Zilberstein N, Dreyer D and Silva A (2023). Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning, Proceedings of the ACM on Programming Languages, 7:OOPSLA1, (522-550), Online publication date: 6-Apr-2023.
- Bordis T, Runge T, Kittelmann A and Schaefer I (2023). Correctness-by-Construction, ACM SIGAda Ada Letters, 42:2, (75-78), Online publication date: 5-Apr-2023.
- Feng Y and Xu Y Verification of Nondeterministic Quantum Programs Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, (789-805)
- Rajaona F, Boureanu I, Malvone V and Belardinelli F Program Semantics and Verification Technique for AI-Centred Programs Formal Methods, (473-491)
- Chen W (2023). Weakest preconditioned goto axiom, Information Processing Letters, 180:C, Online publication date: 1-Feb-2023.
- Song Y, Jin Y, Yan W and Yang T Global Exponential Stabilization of Language Constrained Switched Linear Discrete-Time System Based on the S-procedure Approach 2019 IEEE 58th Conference on Decision and Control (CDC), (1565-1570)
- Bjorndahl A (2022). The Epistemology of Nondeterminism, Journal of Logic, Language and Information, 31:4, (619-644), Online publication date: 1-Dec-2022.
- You Z, Yi X, Xue J, Hu H, Huang J and Cheng Z Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph Structured Object-Oriented Formal Language and Method, (3-11)
- Lanzinger F, Ulbrich M and Weigl A A Refactoring for Data Minimisation Using Formal Verification Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, (345-364)
- Wu G, Cao L, Tian H and Wang W (2022). HY-DBSCAN, Journal of Parallel and Distributed Computing, 168:C, (57-69), Online publication date: 1-Oct-2022.
- Haslbeck M and Lammich P (2022). For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM, ACM Transactions on Programming Languages and Systems, 44:3, (1-36), Online publication date: 30-Sep-2022.
- Avanzini M, Moser G, Pechoux R, Perdrix S and Zamdzhiev V Quantum Expectation Transformers for Cost Analysis Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-13)
- Navarro M and Olmedo F (2022). Slicing of probabilistic programs based on specifications, Science of Computer Programming, 220:C, Online publication date: 1-Aug-2022.
- Feng Y, Li S and Ying M (2022). Verification of Distributed Quantum Programs, ACM Transactions on Computational Logic, 23:3, (1-40), Online publication date: 31-Jul-2022.
- Michaelson G (2022). Review of Formal Methods: An Appetizer, Formal Aspects of Computing, 34:2, (1-2), Online publication date: 30-Jun-2022.
- Bruni R, Giacobazzi R, Gori R and Ranzato F Abstract interpretation repair Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (426-441)
- Hähnle R and Huisman M Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools Computing and Software Science, (345-373)
- Pascual R, Le Gall P, Arnould A and Belhaouari H (2022). Topological consistency preservation with graph transformation schemes, Science of Computer Programming, 214:C, Online publication date: 1-Feb-2022.
- Winkler T, Lehmann J and Katoen J Out of Control: Reducing Probabilistic Models by Control-State Elimination Verification, Model Checking, and Abstract Interpretation, (450-472)
- Feng Y and Ying M (2021). Quantum Hoare Logic with Classical Variables, ACM Transactions on Quantum Computing, 2:4, (1-43), Online publication date: 31-Dec-2022.
- Hoppen A and Noll T A Debugger for Probabilistic Programs Software Engineering and Formal Methods, (282-289)
- Dubslaff C, Koopmann P and Turhan A (2021). Enhancing Probabilistic Model Checking with Ontologies, Formal Aspects of Computing, 33:6, (885-921), Online publication date: 1-Dec-2021.
- Runge T, Bordis T, Thüm T and Schaefer I Teaching Correctness-by-Construction and Post-hoc Verification – The Online Experience Formal Methods Teaching, (101-116)
- Ettinger R Lessons of Formal Program Design in Dafny Formal Methods Teaching, (84-100)
- Wang Z, Zhu S, Man K, Zhu P, Hao Y, Qian Z, Krishnamurthy S, La Porta T and De Lucia M Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, (3384-3399)
- Leivant D Algorithmically Broad Languages for Polynomial Time and Space Logic, Language, Information, and Computation, (372-387)
- Woodcock J Hoare and He’s Unifying Theories of Programming Theories of Programming, (285-316)
- Hayes I and King S Software Specification Theories of Programming, (251-270)
- Brookes S and Roscoe A CSP: A Practical Process Algebra Theories of Programming, (187-222)
- Apt K and Olderog E Assessing the Success and Impact of Hoare’s Logic Theories of Programming, (41-76)
- Banach R and Zhu H (2020). Language evolution and healthiness for critical cyber‐physical systems, Journal of Software: Evolution and Process, 33:9, Online publication date: 12-Sep-2021.
- Tomaszek S, Speith R and Schürr A (2021). Virtual network embedding: ensuring correctness and optimality by construction using model transformation and integer linear programming techniques, Software and Systems Modeling (SoSyM), 20:4, (1299-1332), Online publication date: 1-Aug-2021.
- Beyer D and Jakobs M (2021). Cooperative verifier-based testing with CoVeriTest, International Journal on Software Tools for Technology Transfer (STTT), 23:3, (313-333), Online publication date: 1-Jun-2021.
- Jungers M, Girard A and Fiacchini M Language constrained stabilization of discrete-time switched linear systems: a Lyapunov-Metzler inequalities approach 2016 IEEE 55th Conference on Decision and Control (CDC), (5539-5544)
- Hesselink W (2021). UNITY and Büchi automata, Formal Aspects of Computing, 33:2, (185-205), Online publication date: 1-Mar-2021.
- Bolelli F, Allegretti S and Grana C A Heuristic-Based Decision Tree for Connected Components Labeling of 3D Volumes: Implementation and Reproducibility Notes Reproducible Research in Pattern Recognition, (139-145)
- El-Fakih K and Bochmann G (2021). Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and Controllers, IEEE Transactions on Software Engineering, 47:1, (1-16), Online publication date: 1-Jan-2021.
- Riehle R and Michael J (2021). Improving the Trustworthiness of Software Through Rigorous Data Type Design, Computer, 54:1, (89-95), Online publication date: 1-Jan-2021.
- Dhulipala L, Hong C and Shun J (2021). ConnectIt, Proceedings of the VLDB Endowment, 14:4, (653-667), Online publication date: 1-Dec-2020.
- Lam P, Dietrich J and Pearce D Putting the semantics into semantic versioning Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (157-179)
- Bordis T, Runge T and Schaefer I Correctness-by-construction for feature-oriented software product lines Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (22-34)
- McIver A and Morgan C Correctness by Construction for Probabilistic Programs Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, (216-239)
- Gurov D, Hähnle R and Kamburjan E Who Carries the Burden of Modularity? Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, (3-21)
- Runge T, Knüppel A, Thüm T and Schaefer I Lattice-Based Information Flow Control-by-Construction for Security-by-Design Proceedings of the 8th International Conference on Formal Methods in Software Engineering, (44-54)
- Mu S and Chiang T Declarative Pearl: Deriving Monadic Quicksort Functional and Logic Programming, (124-138)
- Liénardy S and Donnet B GameCode Proceedings of the 2020 ACM Conference on International Computing Education Research, (306-306)
- Liénardy S Learning Computer Programming around a CAFÉ Proceedings of the 2020 ACM Conference on International Computing Education Research, (318-319)
- Raad A, Berdine J, Dang H, Dreyer D, O’Hearn P and Villard J Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic Computer Aided Verification, (225-252)
- Simon , Karnalim O, Sheard J, Dema I, Karkare A, Leinonen J, Liut M and McCauley R Choosing Code Segments to Exclude from Code Similarity Detection Proceedings of the Working Group Reports on Innovation and Technology in Computer Science Education, (1-19)
- Xue J, Cheng Z, Yang Q, You Z, Hu Q and Xie W Methodology and Platform of IS Code Generation Proceedings of the 2020 International Conference on Big Data in Management, (49-57)
- Banach R (2020). Automated urban train control with hybrid Event-B, Science of Computer Programming, 190:C, Online publication date: 1-May-2020.
- Montenegro M, Nieva S, Peña R and Segura C (2020). Extending Liquid Types to Arrays, ACM Transactions on Computational Logic, 21:2, (1-41), Online publication date: 30-Apr-2020.
- Jiang J, Zhu H, Li Q, Zhao Y, Zhang S, Gong P and Hong Z (2020). Event-based functional decomposition, Information and Computation, 271:C, Online publication date: 1-Apr-2020.
- Jahanian H and McIver A Reasoning with Failures Formal Methods and Software Engineering, (36-52)
- Bordis T, Runge T, Knüppel A, Thüm T and Schaefer I Variational correctness-by-construction Proceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems, (1-9)
- Eriksson J and Parsa M A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams Practical Aspects of Declarative Languages, (196-212)
- O'Hearn P (2019). Incorrectness logic, Proceedings of the ACM on Programming Languages, 4:POPL, (1-32), Online publication date: 1-Jan-2020.
- Apt K and Olderog E (2019). Fifty years of Hoare’s logic, Formal Aspects of Computing, 31:6, (751-807), Online publication date: 1-Dec-2019.
- Wang D, Hoffmann J and Reps T (2019). A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism, Electronic Notes in Theoretical Computer Science (ENTCS), 347:C, (303-324), Online publication date: 30-Nov-2019.
- Essertel G, Wei G and Rompf T (2019). Precise reasoning with structured time, structured heaps, and collective operations, Proceedings of the ACM on Programming Languages, 3:OOPSLA, (1-30), Online publication date: 10-Oct-2019.
- Hayes I and Meinicke L Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges Unifying Theories of Programming, (176-197)
- Woodcock J, Cavalcanti A, Foster S, Mota A and Ye K Probabilistic Semantics for RoboChart Unifying Theories of Programming, (80-105)
- Runge T, Thüm T, Cleophas L, Schaefer I and Watson B Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study Formal Methods. FM 2019 International Workshops, (388-405)
- Rabehaja T, Pal S and Hitchens M (2019). Design and implementation of a secure and flexible access-right delegation for resource constrained environments, Future Generation Computer Systems, 99:C, (593-608), Online publication date: 1-Oct-2019.
- Kienzle J, Mussbacher G, Combemale B and Deantoni J (2019). A unifying framework for homogeneous model composition, Software and Systems Modeling (SoSyM), 18:5, (3005-3023), Online publication date: 1-Oct-2019.
- Dubslaff C Compositional Feature-Oriented Systems Software Engineering and Formal Methods, (162-180)
- Echenim M, Peltier N and Sellami Y Ilinva: Using Abduction to Generate Loop Invariants Frontiers of Combining Systems, (77-93)
- O'Connor L Deferring the details and deriving programs Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, (27-39)
- Miyazawa A, Cavalcanti A and Wellings A (2019). , Science of Computer Programming, 181:C, (140-176), Online publication date: 15-Jul-2019.
- Korečko Š Utilizing Rail Traffic Control Simulator in Verified Software Development Courses Composability, Comprehensibility and Correctness of Working Software, (98-135)
- Cavalcanti A and Simao A (2019). Fault-based refinement-testing for CSP, Software Quality Journal, 27:2, (529-562), Online publication date: 1-Jun-2019.
- Liu X, Wang S, Wang P and Wu D Automatic grading of programming assignments Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, (126-137)
- Lourenço C, Frade M and Pinto J A generalized program verification workflow based on loop elimination and SA form Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, (75-84)
- Devine D and Alam O Feature model for extensions in modeling languages Proceedings of the 11th International Workshop on Modelling in Software Engineerings, (63-70)
- Alam O Towards an agile concern-driven development process Proceedings of the International Conference on Software and System Processes, (155-159)
- Liu Z, Bowen J, Liu B, Tyszberowicz S and Zhang T Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling Engineering Trustworthy Software Systems, (159-219)
- Kluge R, Stein M, Varró G, Schürr A, Hollick M and Mühlhäuser M (2019). A systematic approach to constructing families of incremental topology control algorithms using graph transformation, Software and Systems Modeling (SoSyM), 18:1, (279-319), Online publication date: 1-Feb-2019.
- Rahnamoon S and Murray Wonham W State-Based Control of Timed Discrete-Event Systems 2018 IEEE Conference on Decision and Control (CDC), (4833-4838)
- Wang D, Hoffmann J and Reps T (2018). PMAF: an algebraic framework for static analysis of probabilistic programs, ACM SIGPLAN Notices, 53:4, (513-528), Online publication date: 2-Dec-2018.
- Schaefer I, Runge T, Knüppel A, Cleophas L, Kourie D and Watson B Towards Confidentiality-by-Construction Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (502-515)
- Jones N On Modeling and Programming Leveraging Applications of Formal Methods, Verification and Validation. Modeling, (22-34)
- Kaminski B, Katoen J, Matheja C and Olmedo F (2018). Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms, Journal of the ACM, 65:5, (1-68), Online publication date: 31-Oct-2018.
- Danicic S and Laurence M (2018). Static Backward Slicing of Non-deterministic Programs and Systems, ACM Transactions on Programming Languages and Systems, 40:3, (1-46), Online publication date: 30-Sep-2018.
- Bolelli F, Cancilla M, Baraldi L and Grana C Connected Components Labeling on DRAGs: Implementation and Reproducibility Notes Reproducible Research in Pattern Recognition, (89-93)
- Wang D, Hoffmann J and Reps T PMAF: an algebraic framework for static analysis of probabilistic programs Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, (513-528)
- Lepercq É, Blaquière Y and Savaria Y (2018). A pattern-based routing algorithm for a novel electronic system prototyping platform, Integration, the VLSI Journal, 62:C, (224-237), Online publication date: 1-Jun-2018.
- Xu T and Wang G (2018). Finding strongly connected components of simple digraphs based on generalized rough sets theory, Knowledge-Based Systems, 149:C, (88-98), Online publication date: 1-Jun-2018.
- Marcozzi M, Bardin S, Kosmatov N, Papadakis M, Prevosto V and Correnson L Time to clean your test objectives Proceedings of the 40th International Conference on Software Engineering, (456-467)
- Olmedo F, Gretz F, Jansen N, Kaminski B, Katoen J and Mciver A (2018). Conditioning in Probabilistic Programming, ACM Transactions on Programming Languages and Systems, 40:1, (1-50), Online publication date: 31-Mar-2018.
- Attie P, Bab K and Sakr M (2017). Model and Program Repair via SAT Solving, ACM Transactions on Embedded Computing Systems, 17:2, (1-25), Online publication date: 31-Mar-2018.
- Holmes J, Groce A, Pinto J, Mittal P, Azimi P, Kellar K and O'brien J (2018). TSTL, International Journal on Software Tools for Technology Transfer (STTT), 20:1, (57-78), Online publication date: 1-Feb-2018.
- Vazou N, Tondwalkar A, Choudhury V, Scott R, Newton R, Wadler P and Jhala R (2017). Refinement reflection: complete verification with SMT, Proceedings of the ACM on Programming Languages, 2:POPL, (1-31), Online publication date: 1-Jan-2018.
- Grossman S, Abraham I, Golan-Gueta G, Michalevsky Y, Rinetzky N, Sagiv M and Zohar Y (2017). Online detection of effectively callback free objects with applications to smart contracts, Proceedings of the ACM on Programming Languages, 2:POPL, (1-28), Online publication date: 1-Jan-2018.
- McIver A, Morgan C, Kaminski B and Katoen J (2017). A new proof rule for almost-sure termination, Proceedings of the ACM on Programming Languages, 2:POPL, (1-28), Online publication date: 1-Jan-2018.
- Furia C, Nordio M, Polikarpova N and Tschannen J (2017). AutoProof, International Journal on Software Tools for Technology Transfer (STTT), 19:6, (697-716), Online publication date: 1-Nov-2017.
- Demasi R, Castro P, Maibaum T and Aguirre N (2017). Simulation relations for fault-tolerance, Formal Aspects of Computing, 29:6, (1013-1050), Online publication date: 1-Nov-2017.
- Jain C, Flick P, Pan T, Green O and Aluru S (2017). An Adaptive Parallel Algorithm for Computing Connected Components, IEEE Transactions on Parallel and Distributed Systems, 28:9, (2428-2439), Online publication date: 1-Sep-2017.
- Mani N, Helfert M and Pahl C (2017). A Domain-specific Rule Generation Using Model-Driven Architecture in Controlled Variability Model, Procedia Computer Science, 112:C, (2354-2362), Online publication date: 1-Sep-2017.
- Gorogiannis N, Raimondi F and Boureanu I A novel symbolic approach to verifying epistemic properties of programs Proceedings of the 26th International Joint Conference on Artificial Intelligence, (206-212)
- Farah Z, Ait-Ameur Y, Ouederni M and Tari K (2017). A correct-by-construction model for asynchronously communicating systems, International Journal on Software Tools for Technology Transfer (STTT), 19:4, (465-485), Online publication date: 1-Aug-2017.
- Denniston J, Melton A and Rodabaugh S Embedding TopSys into a topological category 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (1-4)
- Kaminski B and Katoen J A weakest pre-expectation semantics for mixed-sign expectations Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, (1-12)
- Pearce D Array programming in Whiley Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, (17-24)
- Khaireddine B, Zakharchenko A and Mili A A generic algorithm for program repair Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering, (65-71)
- Behringer B, Palz J and Berger T PEoPL Proceedings of the 39th International Conference on Software Engineering, (563-574)
- Kienzle J, Mussbacher G, Collet P and Alam O (2016). Delaying decisions in variable concern hierarchies, ACM SIGPLAN Notices, 52:3, (93-103), Online publication date: 12-May-2017.
- Ahman D, Hriţcu C, Maillard K, Martínez G, Plotkin G, Protzenko J, Rastogi A and Swamy N (2017). Dijkstra monads for free, ACM SIGPLAN Notices, 52:1, (515-529), Online publication date: 11-May-2017.
- Chaudhari D and Damani O (2017). Assumption propagation through annotated programs, Formal Aspects of Computing, 29:3, (495-530), Online publication date: 1-May-2017.
- Pinto A and Sangiovanni Vincentelli A (2017). CSL4P, Systems Engineering, 20:3, (220-234), Online publication date: 1-May-2017.
- D’Argenio P, Barthe G, Biewer S, Finkbeiner B and Hermanns H Is Your Software on Dope? Programming Languages and Systems, (83-110)
- Prokofyeva N, Uhanova M, Katalnikova S, Synytsya K and Jurenoks A (2017). Introductory Programming Training of First Year Students, Procedia Computer Science, 104:C, (286-293), Online publication date: 1-Mar-2017.
- Lim R and Thiele L Testbed Assisted Control Flow Tracing for Wireless Embedded Systems Proceedings of the 2017 International Conference on Embedded Wireless Systems and Networks, (180-191)
- Ye K and Woodcock J (2017). Model checking of state-rich formalism [InlineEquation not available, International Journal on Software Tools for Technology Transfer (STTT), 19:1, (73-96), Online publication date: 1-Feb-2017.
- Kersten R, Schäf M and Kahsai T (2017). Resource Contracts for Java, ACM SIGSOFT Software Engineering Notes, 41:6, (1-5), Online publication date: 5-Jan-2017.
- Ahman D, Hriţcu C, Maillard K, Martínez G, Plotkin G, Protzenko J, Rastogi A and Swamy N Dijkstra monads for free Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, (515-529)
- Aumüller M, Dietzfelbinger M and Klaue P (2016). How Good Is Multi-Pivot Quicksort?, ACM Transactions on Algorithms, 13:1, (1-47), Online publication date: 21-Dec-2016.
- Bride H, Julliand J and Masson P (2016). Tri-modal under-approximation for test generation, Science of Computer Programming, 132:P2, (190-208), Online publication date: 15-Dec-2016.
- O'Connor L, Chen Z, Rizkallah C, Amani S, Lim J, Murray T, Nagashima Y, Sewell T and Klein G (2016). Refinement through restraint: bringing down the cost of verification, ACM SIGPLAN Notices, 51:9, (89-102), Online publication date: 5-Dec-2016.
- Brafman R and Shani G (2016). Online belief tracking using regression for contingent planning, Artificial Intelligence, 241:C, (131-152), Online publication date: 1-Dec-2016.
- You Z, Xue J and Zuo Z (2016). Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms, Cluster Computing, 19:4, (2145-2156), Online publication date: 1-Dec-2016.
- Hu Q, Xue J and You Z Formal Development of Linear Structure Reusable Components in PAR Platform 6th International Workshop on Structured Object-Oriented Formal Language and Method - Volume 10189, (85-97)
- Bloemen V, Laarman A and van de Pol J (2016). Multi-core on-the-fly SCC decomposition, ACM SIGPLAN Notices, 51:8, (1-12), Online publication date: 9-Nov-2016.
- Behringer B and Fey M Implementing delta-oriented SPLs using PEoPL: an example scenario and case study Proceedings of the 7th International Workshop on Feature-Oriented Software Development, (28-38)
- Kienzle J, Mussbacher G, Collet P and Alam O Delaying decisions in variable concern hierarchies Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (93-103)
- Gouw S, Boer F, Ahrendt W and Bubel R (2016). Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic, Software and Systems Modeling (SoSyM), 15:4, (1117-1140), Online publication date: 1-Oct-2016.
- O'Connor L, Chen Z, Rizkallah C, Amani S, Lim J, Murray T, Nagashima Y, Sewell T and Klein G Refinement through restraint: bringing down the cost of verification Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, (89-102)
- Guo S, Kusano M and Wang C Conc-iSE: incremental symbolic execution of concurrent software Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (531-542)
- Padon O, McMillan K, Panda A, Sagiv M and Shoham S (2016). Ivy: safety verification by interactive generalization, ACM SIGPLAN Notices, 51:6, (614-630), Online publication date: 1-Aug-2016.
- Padhi S, Sharma R and Millstein T (2016). Data-driven precondition inference with learned features, ACM SIGPLAN Notices, 51:6, (42-56), Online publication date: 1-Aug-2016.
- Galán F and Cañete-Valdeón J (2016). Synthesis of positive logic programs for checking a class of definitions with infinite quantification, Information and Computation, 249:C, (205-236), Online publication date: 1-Aug-2016.
- Hino W, Kobayashi H, Hasuo I and Jacobs B Healthiness from Duality Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (682-691)
- Olmedo F, Kaminski B, Katoen J and Matheja C Reasoning about Recursive Probabilistic Programs Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, (672-681)
- Padon O, McMillan K, Panda A, Sagiv M and Shoham S Ivy: safety verification by interactive generalization Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (614-630)
- Padhi S, Sharma R and Millstein T Data-driven precondition inference with learned features Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (42-56)
- (2016). A formalization of programs in first-order logic with a discrete linear order, Artificial Intelligence, 235:C, (1-25), Online publication date: 1-Jun-2016.
- Kaminski B, Katoen J, Matheja C and Olmedo F Weakest Precondition Reasoning for Expected Run---Times of Probabilistic Programs Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632, (364-389)
- Aljasser K (2016). Implementing design patterns as parametric aspects using ParaAJ, Computer Languages, Systems and Structures, 45:C, (1-15), Online publication date: 1-Apr-2016.
- Bloemen V, Laarman A and van de Pol J Multi-core on-the-fly SCC decomposition Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (1-12)
- Gabow H (2016). The Minset-Poset Approach to Representations of Graph Connectivity, ACM Transactions on Algorithms, 12:2, (1-73), Online publication date: 12-Feb-2016.
- Schäfer S, Schneider S and Smolka G Axiomatic semantics for compiler verification Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, (188-196)
- Groce A, Ahmed I, Jensen C and McKenney P How verified is my code? Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (737-748)
- Rebiha R, Moura A and Matringe N (2015). Generating invariants for non-linear loops by linear algebraic methods, Formal Aspects of Computing, 27:5-6, (805-829), Online publication date: 1-Nov-2015.
- Pajic M, Park J, Lee I, Pappas G and Sokolsky O Automatic verification of linear controller software Proceedings of the 12th International Conference on Embedded Software, (217-226)
- Min C, Kashyap S, Lee B, Song C and Kim T Cross-checking semantic correctness Proceedings of the 25th Symposium on Operating Systems Principles, (361-377)
- Greifenberg T, Look M, Roidl S and Rumpe B Engineering tagging languages for DSLs Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (34-43)
- Jin W and Orso A (2015). Automated Support for Reproducing and Debugging Field Failures, ACM Transactions on Software Engineering and Methodology, 24:4, (1-35), Online publication date: 2-Sep-2015.
- Model and program repair via SAT solving Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, (148-157)
- Guo S, Kusano M, Wang C, Yang Z and Gupta A Assertion guided symbolic execution of multithreaded programs Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, (854-865)
- Leavens G and Naumann D (2015). Behavioral Subtyping, Specification Inheritance, and Modular Reasoning, ACM Transactions on Programming Languages and Systems, 37:4, (1-88), Online publication date: 13-Aug-2015.
- Chaudhari D and Damani O Combining Top-Down and Bottom-Up Techniques in Program Derivation Revised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 9527, (244-258)
- McIver A, Morgan C and Rabehaja T Abstract Hidden Markov Models Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), (597-608)
- Thimbleby H (2015). Safer User Interfaces: A Case Study in Improving Number Entry, IEEE Transactions on Software Engineering, 41:7, (711-729), Online publication date: 1-Jul-2015.
- Janan F and Brady M (2015). Shape Description and Matching Using Integral Invariants on Eccentricity Transformed Images, International Journal of Computer Vision, 113:2, (92-112), Online publication date: 1-Jun-2015.
- Passos F, Santos K, Barreto R, de Jesus G, Nunes G and Santos L A Systematic Study on Approaches to deal with the Systems' Evolution and Customization Proceedings of the annual conference on Brazilian Symposium on Information Systems: Information Systems: A Computer Socio-Technical Perspective - Volume 1, (467-474)
- Hanvey S and Cataño N Identifying transitivity threats in social networks Proceedings of the First International Workshop on TEchnical and LEgal aspects of data pRIvacy, (14-19)
- Yi Q, Yang Z, Liu J, Zhao C and Wang C A synergistic analysis method for explaining failed regression tests Proceedings of the 37th International Conference on Software Engineering - Volume 1, (257-267)
- Gore R, Reynolds Jr. P, Kamensky D, Diallo S and Padilla J (2015). Statistical Debugging for Simulations, ACM Transactions on Modeling and Computer Simulation, 25:3, (1-26), Online publication date: 7-May-2015.
- Gerhards J, Mora F, Aveneau L and Ghazanfarpour D (2015). Partitioned Shadow Volumes, Computer Graphics Forum, 34:2, (549-559), Online publication date: 1-May-2015.
- Bertolissi C, dos Santos D and Ranise S Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security, (297-308)
- Tschannen J, Furia C, Nordio M and Polikarpova N AutoProof Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 9035, (566-580)
- Rönkkö M, Heikkinen J, Kotovirta V and Chandrasekar V (2015). Automated preprocessing of environmental data, Future Generation Computer Systems, 45:C, (13-24), Online publication date: 1-Apr-2015.
- Mostowski W and Ulbrich M Dynamic dispatch for method contracts through abstract predicates Proceedings of the 14th International Conference on Modularity, (109-116)
- Avni G and Kupferman O (2014). Parameterized Weighted Containment, ACM Transactions on Computational Logic, 16:1, (1-25), Online publication date: 1-Mar-2015.
- Mandrioli D and Pradella M (2015). Programming Languages shouldn't be "too Natural", ACM SIGSOFT Software Engineering Notes, 40:1, (1-4), Online publication date: 6-Feb-2015.
- Ning Chen and Sunghun Kim (2015). STAR: Stack Trace Based Automatic Crash Reproduction via Symbolic Execution, IEEE Transactions on Software Engineering, 41:2, (198-220), Online publication date: 1-Feb-2015.
- Wild S, Nebel M and Neininger R (2015). Average Case and Distributional Analysis of Dual-Pivot Quicksort, ACM Transactions on Algorithms, 11:3, (1-42), Online publication date: 13-Jan-2015.
- Jaffar J and Murali V A path-sensitively sliced control flow graph Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (133-143)
- Hawkins R, Miyazawa A, Cavalcanti A, Kelly T and Rowlands J Assurance Cases for Block-Configurable Software Proceedings of the 33rd International Conference on Computer Safety, Reliability, and Security - Volume 8666, (155-169)
- Ward M and Zedan H (2014). Provably correct derivation of algorithms using FermaT, Formal Aspects of Computing, 26:5, (993-1031), Online publication date: 1-Sep-2014.
- Lin F A formalization of programs in first-order logic with a discrete linear order Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, (338-347)
- Sousa M, Dillig I, Vytiniotis D, Dillig T and Gkantsidis C Consolidation of queries with user-defined functions Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, (554-564)
- Sousa M, Dillig I, Vytiniotis D, Dillig T and Gkantsidis C (2014). Consolidation of queries with user-defined functions, ACM SIGPLAN Notices, 49:6, (554-564), Online publication date: 5-Jun-2014.
- Dausend M and Raschke A Introducing Aspect---Oriented Specification for Abstract State Machines Proceedings of the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 8477, (174-187)
- BjØrner D and Havelund K 40 Years of Formal Methods Proceedings of the 19th International Symposium on FM 2014: Formal Methods - Volume 8442, (42-61)
- Ganesan D and Lindvall M (2014). ADAM, ACM Transactions on Software Engineering and Methodology, 23:2, (1-51), Online publication date: 1-Mar-2014.
- Leike J and Tiwari A Synthesis for Polynomial Lasso Programs Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 8318, (434-452)
- Goel A, Khanna S, Larkin D and Tarjan R Disjoint set union with randomized linking Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms, (1005-1017)
- Furia C, Meyer B and Velder S (2014). Loop invariants, ACM Computing Surveys, 46:3, (1-51), Online publication date: 1-Jan-2014.
- Cerny T, Cemus K, Donahoo M and Song E (2013). Aspect-driven, data-reflective and context-aware user interfaces design, ACM SIGAPP Applied Computing Review, 13:4, (53-66), Online publication date: 1-Dec-2013.
- Alexandron G, Armoni M, Gordon M and Harel D On teaching programming with nondeterminism Proceedings of the 8th Workshop in Primary and Secondary Computing Education, (71-74)
- Stewart A, Gabarro J and Keenan A (2013). Reasoning about orchestrations of web services using partial correctness, Formal Aspects of Computing, 25:6, (833-846), Online publication date: 1-Nov-2013.
- Misra J Orchestration Formal Aspects of Component Software, (5-12)
- Kuncak V, Mayer M, Piskac R and Suter P (2013). Functional synthesis for linear arithmetic and sets, International Journal on Software Tools for Technology Transfer (STTT), 15:5-6, (455-474), Online publication date: 1-Oct-2013.
- Ko H and Gibbons J Relational algebraic ornaments Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, (37-48)
- Marinescu P and Cadar C KATCH: high-coverage testing of software patches Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (235-245)
- Flanagan C, Leino K, Lillibridge M, Nelson G, Saxe J and Stata R (2013). PLDI 2002, ACM SIGPLAN Notices, 48:4S, (22-33), Online publication date: 9-Jul-2013.
- Aleb N and Kechid S An interpolation based crossover operator for genetic programming Proceedings of the 15th annual conference companion on Genetic and evolutionary computation, (1107-1112)
- Blanc R, Kuncak V, Kneuss E and Suter P An overview of the Leon verification system Proceedings of the 4th Workshop on Scala, (1-10)
- Panangaden P Duality in Logic and Computation Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (4-11)
- Arlt S, Rümmer P and Schäf M Joogie Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, (3-8)
- Kulesza U, Soares S, Chavez C, Castor F, Borba P, Lucena C, Masiero P, Sant'Anna C, Ferrari F, Alves V, Coelho R, Figueiredo E, Pires P, Delicato F, Piveta E, Silva C, Camargo V, Braga R, Leite J, Lemos O, MendonçA N, Batista T, BonifáCio R, Cacho N, Silva L, Von Staa A, Silveira F, Valente M, Alencar F, Castro J, Ramos R, Penteado R and Rubira C (2013). The crosscutting impact of the AOSD Brazilian research community, Journal of Systems and Software, 86:4, (905-933), Online publication date: 1-Apr-2013.
- Denniston J, Melton A and Rodabaugh S (2013). Formal concept analysis and lattice-valued Chu systems, Fuzzy Sets and Systems, 216, (52-90), Online publication date: 1-Apr-2013.
- Kiemele L, Berg C, Gulliver A and Coady Y KFusion Proceedings of the 12th annual international conference on Aspect-oriented software development, (25-36)
- Avni G and Kupferman O Parameterized weighted containment Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures, (369-384)
- Hoare T Generic models of the laws of programming Theories of Programming and Formal Methods, (213-226)
- Abrial J Set-theoretic models of computations Theories of Programming and Formal Methods, (1-22)
- Mosbahi O (2013). Combining Formal Methods for the Development of Reactive Systems, ACM Transactions on Embedded Computing Systems, 12:1, (1-29), Online publication date: 1-Jan-2013.
- Oliveira M, Cavalcanti A and Woodcock J (2013). Unifying theories in ProofPower-Z, Formal Aspects of Computing, 25:1, (133-158), Online publication date: 1-Jan-2013.
- Beynon M Realising software development as a lived experience Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (229-244)
- Fourie J, Geldenhuys J and Inggs C Improving communication for distributed model checking Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference, (41-50)
- Filho M and Oliveira M Implementing tactics of refinement in CRefine Proceedings of the 10th international conference on Software Engineering and Formal Methods, (342-351)
- Jones C Abstraction as a unifying link for formal approaches to concurrency Proceedings of the 10th international conference on Software Engineering and Formal Methods, (1-15)
- van Emden M Matrix code Proceedings of the 14th symposium on Principles and practice of declarative programming, (13-24)
- Cachera D, Jensen T, Jobin A and Kirchner F Inference of polynomial invariants for imperative programs Proceedings of the 19th international conference on Static Analysis, (58-74)
- Jaffar J, Murali V, Navas J and Santosa A Path-Sensitive backward slicing Proceedings of the 19th international conference on Static Analysis, (231-247)
- Chen N and Kim S Puzzle-based automatic testing: bringing humans into the loop by solving puzzles Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering, (140-149)
- Zhang C, Lu L, Zhou H, Zhao J and Zhang Z MoonBox Proceedings of the Third ACM SIGOPS Asia-Pacific conference on Systems, (12-12)
- Zhang C, Lu L, Zhou H, Zhao J and Zhang Z MoonBox Proceedings of the Asia-Pacific Workshop on Systems, (1-6)
- Groce A and Erwig M Finding common ground: choose, assert, and assume Proceedings of the Ninth International Workshop on Dynamic Analysis, (12-17)
- Tomb A and Flanagan C Detecting inconsistencies via universal reachability analysis Proceedings of the 2012 International Symposium on Software Testing and Analysis, (287-297)
- Lal A, Qadeer S and Lahiri S A solver for reachability modulo theories Proceedings of the 24th international conference on Computer Aided Verification, (427-443)
- Leino K and Yessenov K (2012). Stepwise refinement of heap-manipulating code in Chalice, Formal Aspects of Computing, 24:4-6, (519-535), Online publication date: 1-Jul-2012.
- Hoare T and van Staden S (2012). In praise of algebra, Formal Aspects of Computing, 24:4-6, (423-431), Online publication date: 1-Jul-2012.
- Morgan C Elementary probability theory in the eindhoven style Proceedings of the 11th international conference on Mathematics of Program Construction, (48-73)
- Hoare T and van Staden S The laws of programming unify process calculi Proceedings of the 11th international conference on Mathematics of Program Construction, (7-22)
- Guttmann W Unifying correctness statements Proceedings of the 11th international conference on Mathematics of Program Construction, (198-219)
- Ball T, Majumdar R, Millstein T and Rajamani S (2012). Automatic predicate abstraction of C programs, ACM SIGPLAN Notices, 47:4a, (37-47), Online publication date: 18-Jun-2012.
- Bailes P and Brough L Making sense of recursion patterns Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches, (16-22)
- Hatcliff J, Leavens G, Leino K, Müller P and Parkinson M (2012). Behavioral interface specification languages, ACM Computing Surveys, 44:3, (1-58), Online publication date: 1-Jun-2012.
- Solin K (2012). Dual Choice and Iteration in an Abstract Algebra of Action, Studia Logica, 100:3, (607-630), Online publication date: 1-Jun-2012.
- Cataño N, Hanvey S and Rueda C Poporo Proceedings of the 50th international conference on Objects, Models, Components, Patterns, (9-16)
- Ripon S (2012). A unified tabular method for modeling variants of software product line, ACM SIGSOFT Software Engineering Notes, 37:3, (1-7), Online publication date: 16-May-2012.
- da Cruz D, Frade M and Pinto J Verification conditions for single-assignment programs Proceedings of the 27th Annual ACM Symposium on Applied Computing, (1264-1270)
- Kuncak V, Mayer M, Piskac R and Suter P (2012). Software synthesis procedures, Communications of the ACM, 55:2, (103-111), Online publication date: 1-Feb-2012.
- Bertolini C, Schäf M and Schweitzer P Infeasible code detection Proceedings of the 4th international conference on Verified Software: theories, tools, experiments, (310-325)
- Kassios I, Müller P and Schwerhoff M Comparing verification condition generation with symbolic execution Proceedings of the 4th international conference on Verified Software: theories, tools, experiments, (196-208)
- Cousot P and Cousot R An abstract interpretation framework for termination Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (245-258)
- Amighi A, Blom S, Huisman M and Zaharieva-Stojanovski M The VerCors project Proceedings of the sixth workshop on Programming languages meets program verification, (71-82)
- Cousot P and Cousot R (2012). An abstract interpretation framework for termination, ACM SIGPLAN Notices, 47:1, (245-258), Online publication date: 18-Jan-2012.
- Panangaden P Dexter kozen's influence on the theory of labelled markov processes Logic and Program Semantics, (334-337)
- Hallerstede S and Leuschel M (2011). Experiments in program verification using Event-B, Formal Aspects of Computing, 24:1, (97-125), Online publication date: 1-Jan-2012.
- Morgan C (2010). Compositional noninterference from first principles, Formal Aspects of Computing, 24:1, (3-26), Online publication date: 1-Jan-2012.
- Bandyopadhyay A (2011). TLRO based modeling of alternative commands and its application to generalized distributed resource allocation problem, ACM SIGSOFT Software Engineering Notes, 36:6, (1-5), Online publication date: 14-Nov-2011.
- McIver A and Morgan C (2011). Compositional refinement in agent-based security protocols, Formal Aspects of Computing, 23:6, (711-737), Online publication date: 1-Nov-2011.
- Guttmann W, Struth G and Weber T Automating algebraic methods in isabelle Proceedings of the 13th international conference on Formal methods and software engineering, (617-632)
- Iliasov A, Laibinis L, Troubitsyna E and Romanovsky A Formal derivation of a distributed program in event B Proceedings of the 13th international conference on Formal methods and software engineering, (420-436)
- Madhavan R and Komondoor R Null dereference verification via over-approximated weakest pre-conditions analysis Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (1033-1052)
- Madhavan R and Komondoor R (2011). Null dereference verification via over-approximated weakest pre-conditions analysis, ACM SIGPLAN Notices, 46:10, (1033-1052), Online publication date: 18-Oct-2011.
- Wimmer M, Schauerhuber A, Kappel G, Retschitzegger W, Schwinger W and Kapsammer E (2011). A survey on UML-based aspect-oriented design modeling, ACM Computing Surveys, 43:4, (1-33), Online publication date: 1-Oct-2011.
- Aboulsamh M and Davies J Specification and verification of model-driven data migration Proceedings of the First international conference on Model and data engineering, (214-225)
- Mohand-Oussaïd L, Aït-Sadoune I and Aït-Ameur Y Modelling information fission in output multi-modal interactive systems using event-b Proceedings of the First international conference on Model and data engineering, (200-213)
- Aleb N, Tamen Z and Kamel N An evolutionary approach for program model checking Proceedings of the First international conference on Model and data engineering, (186-199)
- Jaffar J, Navas J and Santosa A Unbounded symbolic execution for program verification Proceedings of the Second international conference on Runtime verification, (396-411)
- Mu S and Morihata A Generalising and dualising the third list-homomorphism theorem Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (385-391)
- Mu S and Morihata A (2011). Generalising and dualising the third list-homomorphism theorem, ACM SIGPLAN Notices, 46:9, (385-391), Online publication date: 18-Sep-2011.
- Hoare C, Hussain A, Möller B, O'Hearn P, Petersen R and Struth G On locality and the exchange law for concurrent processes Proceedings of the 22nd international conference on Concurrency theory, (250-264)
- Rößler J Understanding failures through facts Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, (404-407)
- Mraihi O, Ghardallou W, Louhichi A, Jilani L, Bsaies K and Mili A Computing preconditions and postconditions of while loops Proceedings of the 8th international conference on Theoretical aspects of computing, (173-193)
- Schwartz E, Avgerinos T and Brumley D Q Proceedings of the 20th USENIX conference on Security, (25-25)
- Stewart A (2011). A programming model for BSP with partitioned synchronisation, Formal Aspects of Computing, 23:4, (421-432), Online publication date: 1-Jul-2011.
- Bué P, Julliand J and Masson P Association of under-approximation techniques for generating tests from models Proceedings of the 5th international conference on Tests and proofs, (51-68)
- Méry D, Mosbah M and Tounsi M Refinement-based verification of local synchronization algorithms Proceedings of the 17th international conference on Formal methods, (338-352)
- Daniels D Position paper Proceedings of the 16th Ada-Europe international conference on Reliable software technologies, (211-213)
- Pingali K, Nguyen D, Kulkarni M, Burtscher M, Hassaan M, Kaleem R, Lee T, Lenharth A, Manevich R, Méndez-Lojo M, Prountzos D and Sui X The tao of parallelism in algorithms Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, (12-25)
- Pingali K, Nguyen D, Kulkarni M, Burtscher M, Hassaan M, Kaleem R, Lee T, Lenharth A, Manevich R, Méndez-Lojo M, Prountzos D and Sui X (2011). The tao of parallelism in algorithms, ACM SIGPLAN Notices, 46:6, (12-25), Online publication date: 4-Jun-2011.
- del Vado Vírseda R, Orna E, Berbis E and de León Guerrero S A logic teaching tool based on tableaux for verification and debugging of algorithms Proceedings of the Third international congress conference on Tools for teaching logic, (239-248)
- Weber B, Reichert M, Mendling J and Reijers H (2011). Survey paper, Computers in Industry, 62:5, (467-486), Online publication date: 1-Jun-2011.
- Mu S and Oliveira J Programming from galois connections Proceedings of the 12th international conference on Relational and algebraic methods in computer science, (294-313)
- Möller B Building structured theories Proceedings of the 12th international conference on Relational and algebraic methods in computer science, (1-21)
- Chen N GATE Proceedings of the 33rd International Conference on Software Engineering, (1078-1081)
- Bruns G and Huth M (2011). Access control via belnap logic, ACM Transactions on Information and System Security, 14:1, (1-27), Online publication date: 1-May-2011.
- Yang F and Jacquot J Scaling up with event-B Proceedings of the Third international conference on NASA Formal methods, (438-452)
- Back R and Preoteasa V Semantics and proof rules of invariant based programs Proceedings of the 2011 ACM Symposium on Applied Computing, (1658-1665)
- Fung K and Low G (2011). Quality factors for dynamic evolution in composition-based distributed applications, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 42:1, (29-58), Online publication date: 18-Feb-2011.
- Aichernig B, Brandl H, Jöbstl E and Krenn W (2011). UML in action, ACM SIGSOFT Software Engineering Notes, 36:1, (1-8), Online publication date: 24-Jan-2011.
- Hoare T Recovery blocks Dependable and Historic Computing, (261-266)
- Hallerstede S (2011). On the purpose of Event-B proof obligations, Formal Aspects of Computing, 23:1, (133-150), Online publication date: 1-Jan-2011.
- Prayaga L (2010). Mapping software engineering principles to stages in game development, Journal of Computing Sciences in Colleges, 26:2, (208-214), Online publication date: 1-Dec-2010.
- Weißbach M and Zimmermann W Termination analysis of business process workflows Proceedings of the 5th International Workshop on Enhanced Web Service Technologies, (18-25)
- Driver C, Reilly S, Linehan É, Cahill V and Clarke S (2011). Managing embedded systems complexity with aspect-oriented model-driven engineering, ACM Transactions on Embedded Computing Systems, 10:2, (1-26), Online publication date: 1-Dec-2010.
- Guttmann W Unifying recursion in partial, total and general correctness Proceedings of the Third international conference on Unifying theories of programming, (207-225)
- Chen Y Programmable verifiers in imperative programming Proceedings of the Third international conference on Unifying theories of programming, (172-187)
- Jifeng H A probabilistic BPEL-like language Proceedings of the Third international conference on Unifying theories of programming, (74-100)
- Cavalcanti A and Gaudel M Specification coverage for testing in circus Proceedings of the Third international conference on Unifying theories of programming, (1-45)
- Zeyda F and Cavalcanti A Automating refinement of circus programs Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications, (274-290)
- Sheard T, Stump A and Weirich S Language-based verification will change the world Proceedings of the FSE/SDP workshop on Future of software engineering research, (343-348)
- Podgurski A Evidence-based validation and improvement of electronic health record systems Proceedings of the FSE/SDP workshop on Future of software engineering research, (287-292)
- Conery J (2010). Ubiquity symposium 'What is computation?', Ubiquity, 2010:November, Online publication date: 1-Nov-2010.
- Sinha N Modular bug detection with inertial refinement Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design, (199-206)
- Hanenberg S (2010). Faith, hope, and love, ACM SIGPLAN Notices, 45:10, (933-946), Online publication date: 17-Oct-2010.
- Hanenberg S Faith, hope, and love Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (933-946)
- Joshi R Programming with miracles Proceedings of the 8th international conference on Integrated formal methods, (27-27)
- Pieterse V, Kourie D, Cleophas L and Watson B Performance of C++ bit-vector implementations Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists, (242-250)
- Henzinger T, Hottelier T, Kovács L and Rybalchenko A Aligators for arrays Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning, (348-356)
- Radke H Correctness of graph programs relative to HR+ conditions Proceedings of the 5th international conference on Graph transformations, (410-412)
- Grechanik M, McMillan C, DeFerrari L, Comi M, Crespi S, Poshyvanyk D, Fu C, Xie Q and Ghezzi C An empirical investigation into a large-scale Java open source code repository Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, (1-10)
- Katoen J, McIver A, Meinicke L and Morgan C Linear-invariant generation for probabilistic programs Proceedings of the 17th international conference on Static analysis, (390-406)
- Duran A, Cavalcanti A and Sampaio A (2010). An algebraic approach to the design of compilers for object-oriented languages, Formal Aspects of Computing, 22:5, (489-535), Online publication date: 1-Sep-2010.
- Parnas D From Requirements to Architecture Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (3-36)
- Santelices R and Harrold M Exploiting program dependencies for scalable multiple-path symbolic execution Proceedings of the 19th international symposium on Software testing and analysis, (195-206)
- Eckardt T and Henkler S Component behavior synthesis for critical systems Proceedings of the First international conference on Architecting Critical Systems, (52-71)
- Guttmann W Partial, total and general correctness Proceedings of the 10th international conference on Mathematics of program construction, (157-177)
- Berghammer R and Struth G On automated program construction and verification Proceedings of the 10th international conference on Mathematics of program construction, (22-41)
- Kuncak V, Mayer M, Piskac R and Suter P (2010). Complete functional synthesis, ACM SIGPLAN Notices, 45:6, (316-329), Online publication date: 12-Jun-2010.
- Kuncak V, Mayer M, Piskac R and Suter P Complete functional synthesis Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation, (316-329)
- Patwary M, Blair J and Manne F Experiments on union-find algorithms for the disjoint-set data structure Proceedings of the 9th international conference on Experimental Algorithms, (411-423)
- Labed Jilani L, Mraihi O, Louhichi A, Ghardallou W and Mili A Using invariant functions and invariant relations to compute loop functions Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, (317-318)
- Gu Z, Barr E, Hamilton D and Su Z Has the bug really been fixed? Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, (55-64)
- Solin K (2010). A sketch of a dynamic epistemic semiring, Information and Computation, 208:5, (594-604), Online publication date: 1-May-2010.
- Bandyopadhyay A (2010). Modeling of state transition rules and its application, ACM SIGSOFT Software Engineering Notes, 35:2, (1-7), Online publication date: 27-Mar-2010.
- Vogels F, Jacobs B and Piessens F A machine-checked soundness proof for an efficient verification condition generator Proceedings of the 2010 ACM Symposium on Applied Computing, (2517-2522)
- Sherif A, Cavalcanti A, Jifeng H and Sampaio A (2010). A process algebraic framework for specification and validation of real-time systems, Formal Aspects of Computing, 22:2, (153-191), Online publication date: 1-Mar-2010.
- D'Errico L and Loreti M Property-preserving refinement of concurrent systems Proceedings of the 5th international conference on Trustworthly global computing, (222-236)
- Filali-Amine M and Lawall J Development of a synchronous subset of AADL Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, (245-258)
- Near J and Jackson D An imperative extension to alloy Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z, (118-131)
- Hudnott E, Sinclair J and Darwen H Efficient multiple assignment to database tables Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases, (286-291)
- Dias J and Ramsey N Automatically generating instruction selectors using declarative machine descriptions Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (403-416)
- Bodik R, Chandra S, Galenson J, Kimelman D, Tung N, Barman S and Rodarmor C Programming with angelic nondeterminism Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (339-352)
- Perrelle V and Halbwachs N An analysis of permutations in arrays Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation, (279-294)
- Singh A and Bandyopadhyay A Specifying fault-tolerance using split precondition logic Proceedings of the 11th international conference on Distributed computing and networking, (466-472)
- Dias J and Ramsey N (2010). Automatically generating instruction selectors using declarative machine descriptions, ACM SIGPLAN Notices, 45:1, (403-416), Online publication date: 2-Jan-2010.
- Bodik R, Chandra S, Galenson J, Kimelman D, Tung N, Barman S and Rodarmor C (2010). Programming with angelic nondeterminism, ACM SIGPLAN Notices, 45:1, (339-352), Online publication date: 2-Jan-2010.
- Emerson E Meanings of model checking Concurrency, Compositionality, and Correctness, (237-249)
- Langmaack H On trojan horses of thompson-goerigk-type, their generation, intrusion, detection and prevention Concurrency, Compositionality, and Correctness, (74-95)
- Balliu M and Mastroeni I A weakest precondition approach to robustness Transactions on computational science X, (261-297)
- Furia C and Meyer B Inferring loop invariants using postconditions Fields of logic and computation, (277-300)
- Meinicke L and Solin K (2010). Refinement algebra for probabilistic programs, Formal Aspects of Computing, 22:1, (3-31), Online publication date: 1-Jan-2010.
- Mooij A (2010). Invariant-based reasoning about parameterized security protocols, Formal Aspects of Computing, 22:1, (63-81), Online publication date: 1-Jan-2010.
- Rabehaja T and Sanders J (2009). Data Refinement with Probability in Mind, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (165-176), Online publication date: 1-Dec-2009.
- Dunne S (2009). Of wlp and CSP, Electronic Notes in Theoretical Computer Science (ENTCS), 259, (35-45), Online publication date: 1-Dec-2009.
- Krenn W, Schlick R and Aichernig B Mapping UML to labeled transition systems for test-case generation Proceedings of the 8th international conference on Formal methods for components and objects, (186-207)
- Iliasov A, Troubitsyna E, Laibinis L and Romanovsky A Patterns for refinement automation Proceedings of the 8th international conference on Formal methods for components and objects, (70-88)
- Dang H, Höfner P and Möller B Towards Algebraic Separation Logic Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (59-72)
- Solin K A While Program Normal Form Theorem in Total Correctness Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (322-336)
- Louhichi A, Mraihi O, Jilani L, Bsaies K and Mili A Relational Methods in the Analysis of While Loops Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (242-259)
- Guttmann W General Correctness Algebra Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science, (150-165)
- Mili A, Aharon S and Nadkarni C (2009). Mathematics for reasoning about loop functions, Science of Computer Programming, 74:11-12, (989-1020), Online publication date: 1-Nov-2009.
- Jhala R and Majumdar R (2009). Software model checking, ACM Computing Surveys, 41:4, (1-54), Online publication date: 1-Oct-2009.
- Hashimoto Y and Nakajima S (2009). Modular Checking with Model Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 254, (105-122), Online publication date: 1-Oct-2009.
- Cohen E, Moskal M, Tobies S and Schulte W (2009). A Precise Yet Efficient Memory Model For C, Electronic Notes in Theoretical Computer Science (ENTCS), 254, (85-103), Online publication date: 1-Oct-2009.
- Bošković M and Hasselbring W Model Driven Performance Measurement and Assessment with MoDePeMART Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (62-76)
- Jaffar J, Santosa A and Voicu R An interpolation method for CLP traversal Proceedings of the 15th international conference on Principles and practice of constraint programming, (454-469)
- Nigam V and Miller D Algorithmic specifications in linear logic with subexponentials Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, (129-140)
- Nishimura S Refining exceptions in four-valued logic Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation, (113-127)
- James P and Chalin P ESC4 Proceedings of the 8th international workshop on Specification and verification of component-based systems, (19-26)
- Zhang A and Xie X Web services semantic model system Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication, (592-595)
- Armoni M and Ben-Ari M (2009). The concept of nondeterminism, ACM SIGCSE Bulletin, 41:2, (141-160), Online publication date: 25-Jun-2009.
- Méry D (2009). A simple refinement-based method for constructing algorithms, ACM SIGCSE Bulletin, 41:2, (51-59), Online publication date: 25-Jun-2009.
- Blanco J, Losano L, Aguirre N, Novaira M, Permigiani S and Scilingo G (2009). An introductory course on programming based on formal specification and program calculation, ACM SIGCSE Bulletin, 41:2, (31-37), Online publication date: 25-Jun-2009.
- Newsome J, McCamant S and Song D Measuring channel capacity to distinguish undue influence Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, (73-85)
- Balliu M and Mastroeni I A weakest precondition approach to active attacks analysis Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, (59-71)
- Chandra S, Fink S and Sridharan M Snugglebug Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, (363-374)
- Kovács L A complete invariant generation approach for p-solvable loops Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics, (242-256)
- Cosgaya-Lozano A and Zeh N A Heuristic Strong Connectivity Algorithm for Large Graphs Proceedings of the 8th International Symposium on Experimental Algorithms, (113-124)
- Keimel K and Plotkin G (2009). Predicate transformers for extended probability and non-determinism, Mathematical Structures in Computer Science, 19:3, (501-539), Online publication date: 1-Jun-2009.
- Solin K and von Wright J (2009). Enabledness and termination in refinement algebra, Science of Computer Programming, 74:8, (654-668), Online publication date: 1-Jun-2009.
- Morgan C (2009). The Shadow Knows, Science of Computer Programming, 74:8, (629-653), Online publication date: 1-Jun-2009.
- Chandra S, Fink S and Sridharan M (2009). Snugglebug, ACM SIGPLAN Notices, 44:6, (363-374), Online publication date: 28-May-2009.
- Ebnenasir A and Beik R Developing parallel programs Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, (1-8)
- Silva C, Lucena M, Castro J, Araujo J, Moreira A and Alencar F Support for aspectual modeling to Multiagent system architecture Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, (38-43)
- Morris J, Bunkenburg A and Tyrrell M (2009). Term transformers, ACM Transactions on Programming Languages and Systems, 31:4, (1-42), Online publication date: 1-May-2009.
- Feinerer I and Salzer G (2009). A comparison of tools for teaching formal software verification, Formal Aspects of Computing, 21:3, (293-301), Online publication date: 1-May-2009.
- Back R (2009). Invariant based programming: basic approach and teaching experiences, Formal Aspects of Computing, 21:3, (227-244), Online publication date: 1-May-2009.
- Cohen A and Namjoshi K (2009). Local proofs for global safety properties, Formal Methods in System Design, 34:2, (104-125), Online publication date: 1-Apr-2009.
- Kim E and Park K (2009). Improving multikey Quicksort for sorting strings with many equal elements, Information Processing Letters, 109:9, (454-459), Online publication date: 1-Apr-2009.
- Casas S, Perez-Schofield J and Marcos C (2009). Expert in conflicts, Expert Systems with Applications: An International Journal, 36:3, (5630-5642), Online publication date: 1-Apr-2009.
- Schröder L and Mossakowski T (2009). HasCasl, Theoretical Computer Science, 410:12-13, (1217-1260), Online publication date: 20-Mar-2009.
- Silva C, Castro J, Araujo J, Moreira A, Tedesco P and Mylopoulos J (2009). Advanced separation of concerns in agent-oriented design patterns, International Journal of Agent-Oriented Software Engineering, 3:2/3, (306-327), Online publication date: 1-Mar-2009.
- Caspersen M and Kolling M (2009). STREAM, ACM Transactions on Computing Education, 9:1, (1-29), Online publication date: 1-Mar-2009.
- Bandyopadhyay A (2009). Fairness and conspiracy concepts in concurrent systems, ACM SIGSOFT Software Engineering Notes, 34:2, (1-8), Online publication date: 28-Feb-2009.
- Demirbas M, Arora A and Kulathumani V (2009). Glance, Theoretical Computer Science, 410:6-7, (500-513), Online publication date: 20-Feb-2009.
- Lee H, Lee S, Kim Y and Chong H A localization algorithm using space information for indoor wireless sensor networks Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1, (725-728)
- Kulkarni M, Burtscher M, Inkulu R, Pingali K and Casçaval C (2009). How much parallelism is there in irregular applications?, ACM SIGPLAN Notices, 44:4, (3-14), Online publication date: 14-Feb-2009.
- Kulkarni M, Burtscher M, Inkulu R, Pingali K and Casçaval C How much parallelism is there in irregular applications? Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, (3-14)
- Navasa A, Pérez-Toledano M and Murillo J (2009). An ADL dealing with aspects at software architecture stage, Information and Software Technology, 51:2, (306-324), Online publication date: 1-Feb-2009.
- Oliveira M, Cavalcanti A and Woodcock J (2009). A UTP semantics for Circus, Formal Aspects of Computing, 21:1-2, (3-32), Online publication date: 1-Feb-2009.
- Elmas T, Qadeer S and Tasiran S (2009). A calculus of atomic actions, ACM SIGPLAN Notices, 44:1, (2-15), Online publication date: 21-Jan-2009.
- Elmas T, Qadeer S and Tasiran S A calculus of atomic actions Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (2-15)
- Boulmé S and Potet M Relaxing restrictions on invariant composition in the B method by ownership control a la SPEC# Rigorous Methods for Software Construction and Analysis, (1-16)
- Bonakdarpour B, Ebnenasir A and Kulkarni S (2009). Complexity results in revising UNITY programs, ACM Transactions on Autonomous and Adaptive Systems, 4:1, (1-28), Online publication date: 1-Jan-2009.
- Gibbons H (2009). Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem, Electronic Notes in Theoretical Computer Science (ENTCS), 225, (83-98), Online publication date: 1-Jan-2009.
- Song D, Brumley D, Yin H, Caballero J, Jager I, Kang M, Liang Z, Newsome J, Poosankam P and Saxena P BitBlaze Proceedings of the 4th International Conference on Information Systems Security, (1-25)
- Emiris I and Tsigaridas E (2008). Real algebraic numbers and polynomial systems of small degree, Theoretical Computer Science, 409:2, (186-199), Online publication date: 10-Dec-2008.
- Pons C and Garcia D (2008). A Lightweight Approach for the Semantic Validation of Model Refinements, Electronic Notes in Theoretical Computer Science (ENTCS), 220:1, (43-61), Online publication date: 1-Dec-2008.
- Samanta R, Deshmukh J and Emerson E Automatic generation of local repairs for Boolean programs Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, (1-10)
- Böhm P and Melham T A refinement approach to design and verification of on-chip communication protocols Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, (1-8)
- Hayes I Towards reasoning about teleo-reactive programs for robust real-time systems Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, (87-94)
- Zaks A and Pnueli A Program analysis for compiler validation Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (1-7)
- Batory D Using modern mathematics as an FOSD modeling language Proceedings of the 7th international conference on Generative programming and component engineering, (35-44)
- Seceleanu T and Jantsch A (2008). Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 15-Oct-2008.
- Yan L (2008). On foundation of engineering context-sensitive applications, Journal of Mobile Multimedia, 4:3, (185-199), Online publication date: 1-Oct-2008.
- Morris J and Tyrrell M (2008). Dually nondeterministic functions, ACM Transactions on Programming Languages and Systems, 30:6, (1-34), Online publication date: 1-Oct-2008.
- Woodcock J The miracle of reactive programming Proceedings of the 2nd international conference on Unifying theories of programming, (202-217)
- Guttmann W Lazy UTP Proceedings of the 2nd international conference on Unifying theories of programming, (82-101)
- He J Transaction calculus Proceedings of the 2nd international conference on Unifying theories of programming, (2-21)
- Chlipala A (2008). Modular development of certified program verifiers with a proof assistant1,2, Journal of Functional Programming, 18:5-6, (599-647), Online publication date: 1-Sep-2008.
- Weber B, Reichert M and Rinderle-Ma S (2008). Change patterns and change support features - Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, 66:3, (438-466), Online publication date: 1-Sep-2008.
- Rebiha R, Matringe N and Vieira Moura A Endomorphisms for Non-trivial Non-linear Loop Invariant Generation Proceedings of the 5th international colloquium on Theoretical Aspects of Computing, (425-439)
- Kovács L Aligator Proceedings of the 4th international joint conference on Automated Reasoning, (275-282)
- Seceleanu T and Jantsch A (2008). Modeling Communication with Synchronized Environments, Fundamenta Informaticae, 86:3, (343-369), Online publication date: 1-Aug-2008.
- Biyani K and Kulkarni S (2008). Assurance of dynamic adaptation in distributed systems, Journal of Parallel and Distributed Computing, 68:8, (1097-1112), Online publication date: 1-Aug-2008.
- Buse R and Weimer W A metric for software readability Proceedings of the 2008 international symposium on Software testing and analysis, (121-130)
- Beckman N, Nori A, Rajamani S and Simmons R Proofs from tests Proceedings of the 2008 international symposium on Software testing and analysis, (3-14)
- Sintzoff M Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems Proceedings of the 9th international conference on Mathematics of Program Construction, (336-359)
- Meinicke L and Hayes I Probabilistic Choice in Refinement Algebra Proceedings of the 9th international conference on Mathematics of Program Construction, (243-267)
- Abeywickrama D and Ramakrishnan S A model-based approach for engineering pervasive services in SOAs Proceedings of the 5th international conference on Pervasive services, (57-60)
- Abeywickrama D and Ramakrishnan S Towards engineering models of aspectual pervasive software services Proceedings of the 3rd ACM workshop on Software engineering for pervasive services, (3-8)
- Rondon P, Kawaguci M and Jhala R Liquid types Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation, (159-169)
- Rondon P, Kawaguci M and Jhala R (2008). Liquid types, ACM SIGPLAN Notices, 43:6, (159-169), Online publication date: 30-May-2008.
- Bruzzone A, Tremori A and Massei M HLA and human behavior models Proceedings of the 2008 Spring simulation multiconference, (659-666)
- Möller B Knowledge and games in modal semirings Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra, (320-336)
- Guttmann W Lazy relations Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra, (138-154)
- Conchon S and Filliâtre J Semi-persistent data structures Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems, (322-336)
- Kovács L Reasoning algebraically about P-solvable loops Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems, (249-264)
- Dietz J and Hoogervorst J Enterprise ontology in enterprise engineering Proceedings of the 2008 ACM symposium on Applied computing, (572-579)
- Bandyopadhyay A (2008). Weakest precondition based verification tool that models spatial ordering, ACM SIGSOFT Software Engineering Notes, 33:2, (1-5), Online publication date: 1-Mar-2008.
- Dongol B and Mooij A (2007). Streamlining progress-based derivations of concurrent programs, Formal Aspects of Computing, 20:2, (141-160), Online publication date: 1-Mar-2008.
- Lahiri S and Qadeer S (2008). Back to the future, ACM SIGPLAN Notices, 43:1, (171-182), Online publication date: 14-Jan-2008.
- Lahiri S and Qadeer S Back to the future Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (171-182)
- Wang Y On mathematical laws of software Transactions on computational science II, (46-83)
- Dévai G (2008). Programming language elements for correctness proofs, Acta Cybernetica, 18:3, (403-425), Online publication date: 1-Jan-2008.
- Davies S (2008). "Why should i care?", Journal of Computing Sciences in Colleges, 23:3, (90-97), Online publication date: 1-Jan-2008.
- Sant'Anna C, Lobato C, Kulesza U, Garcia A, Chavez C and Lucena C (2008). On the modularity assessment of aspect-oriented multiagent architectures: a quantitative study, International Journal of Agent-Oriented Software Engineering, 2:1, (34-61), Online publication date: 1-Jan-2008.
- Zhou H (2008). A new efficient retiming algorithm derived by formal manipulation, ACM Transactions on Design Automation of Electronic Systems, 13:1, (1-19), Online publication date: 1-Jan-2008.
- Xavier M, Cavalcanti A and Sampaio A (2008). Type Checking Circus Specifications, Electronic Notes in Theoretical Computer Science (ENTCS), 195, (75-93), Online publication date: 1-Jan-2008.
- Fleck A (2007). Prolog as the first programming language, ACM SIGCSE Bulletin, 39:4, (61-64), Online publication date: 1-Dec-2007.
- Ginat D (2007). Elaborating heuristic reasoning and rigor with mathematical games, ACM SIGCSE Bulletin, 39:4, (32-36), Online publication date: 1-Dec-2007.
- Mooij A Calculating and composing progress properties in terms of the leads-to relation Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, (366-386)
- De Groot M Integrating formal methods with system management Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering, (19-36)
- de Groot M Integrating Formal Methods with System Management Formal Methods and Software Engineering, (19-36)
- Mooij A Calculating and Composing Progress Properties in Terms of the Leads-to Relation Formal Methods and Software Engineering, (366-386)
- Ebnenasir A Diconic addition of failsafe fault-tolerance Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (44-53)
- Banerjee J, Bandyopadhyay A and Mandal A (2007). On the correctness issues in two-process mutual exclusion algorithms, ACM SIGSOFT Software Engineering Notes, 32:6, (1-es), Online publication date: 1-Nov-2007.
- Dawson J Compound monads in specification languages Proceedings of the 2007 workshop on Programming languages meets program verification, (3-10)
- Degerlund F and Sere K A framework for Incorporating trust into formal systems development Proceedings of the 4th international conference on Theoretical aspects of computing, (154-168)
- Chen Y, Xia B, Yang L, Zhan N and Zhou C Discovering non-linear ranking functions by solving semi-algebraic systems Proceedings of the 4th international conference on Theoretical aspects of computing, (34-49)
- Cansell D and Méry D Proved-patterns-based development for structured programs Proceedings of the Second international conference on Computer Science: theory and applications, (104-114)
- Brumley D, Caballero J, Liang Z, Newsome J and Song D Towards automatic discovery of deviations in binary implementations with applications to error detection and fingerprint generation Proceedings of 16th USENIX Security Symposium on USENIX Security Symposium, (1-16)
- Chander A, Espinosa D, Islam N, Lee P and Necula G (2007). Enforcing resource bounds via static verification of dynamic checks, ACM Transactions on Programming Languages and Systems, 29:5, (28-es), Online publication date: 2-Aug-2007.
- Soukup J and Soukup M (2007). The Inevitable Cycle, Computer, 40:8, (24-30), Online publication date: 1-Aug-2007.
- Bocca E, Briano C, Modula D, Pierfederici L and Frydman C Intelligent agents for moving and operating computer generated forces Proceedings of the 2007 Summer Computer Simulation Conference, (1074-1079)
- Ball T, Kupferman O and Sagiv M Leaping loops in the presence of abstraction Proceedings of the 19th international conference on Computer aided verification, (491-503)
- Jifeng H UTP semantics for web services Proceedings of the 6th international conference on Integrated formal methods, (353-372)
- Hallerstede S and Hoang T Qualitative probabilistic modelling in event-B Proceedings of the 6th international conference on Integrated formal methods, (293-312)
- Dunne S and Galloway A Lifting general correctness into partial correctness is ok Proceedings of the 6th international conference on Integrated formal methods, (215-232)
- Solin K A sketch of a dynamic epistemic semiring Proceedings of the 14th international conference on Logic, language, information and computation, (337-350)
- Banerjee J, Bandyopadhyay A and Mandal A (2007). Ordering of events in two-process concurrent system, ACM SIGSOFT Software Engineering Notes, 32:4, (1-es), Online publication date: 1-Jul-2007.
- Shen L, Ren S, Li F and Mu Y A time and interaction model for open distributed timing computation Proceedings of the 7th international conference on Algorithms and architectures for parallel processing, (83-94)
- Jaffar J, Yap R and Zhu K Generalized committed choice Proceedings of the 9th international conference on Coordination models and languages, (191-210)
- Trujillo S, Azanza M, Diaz O and Capilla R Exploring Extensibility of Architectural Design Decisions Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
- Ebnenasir A Designing Run-Time Fault-Tolerance Using Dynamic Updates Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
- Biyani K and Kulkarni S Mixed-Mode Adaptation in Distributed Systems Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
- Banerjee J, Bandyopadhyay A and Mandal A (2007). Some investigations on deadlock freedom issues of a cyclically connected system using Dijkstra's weakest precondition calculus, ACM SIGPLAN Notices, 42:5, (10-15), Online publication date: 1-May-2007.
- Jones N and Andersen N (2007). Flow analysis of lazy higher-order functional programs, Theoretical Computer Science, 375:1-3, (120-136), Online publication date: 20-Apr-2007.
- Ward M and Zedan H (2007). Slicing as a program transformation, ACM Transactions on Programming Languages and Systems, 29:2, (7-es), Online publication date: 1-Apr-2007.
- Knowles K and Flanagan C Type reconstruction for general refinement types Proceedings of the 16th European Symposium on Programming, (505-519)
- Smith D Requirement enforcement by transformation automata Proceedings of the 6th workshop on Foundations of aspect-oriented languages, (5-14)
- Back R, Eriksson J and Myreen M Testing and verifying invariant based programs in the SOCOS environment Proceedings of the 1st international conference on Tests and proofs, (61-78)
- Jhala R and Majumdar R Interprocedural analysis of asynchronous programs Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (339-350)
- Jhala R and Majumdar R (2007). Interprocedural analysis of asynchronous programs, ACM SIGPLAN Notices, 42:1, (339-350), Online publication date: 17-Jan-2007.
- Ball T and Kupferman O Better under-approximation of programs by hiding variables Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation, (314-328)
- Marché C Towards modular algebraic specifications for pointer programs Rewriting Computation and Proof, (235-258)
- Jifeng H Compensable programs Formal methods and hybrid real-time systems, (349-363)
- Freitas L and Woodcock J Proving theorems about JML classes Formal methods and hybrid real-time systems, (255-279)
- Chen Y, Xia B, Yang L and Zhan N Generating polynomial invariants with DISCOVERER and QEPCAD Formal methods and hybrid real-time systems, (67-82)
- Jones C Understanding programming language concepts via operational semantics Domain modeling and the duration calculus, (177-235)
- Backus J Can programming be liberated from the von Neumann style? ACM Turing award lectures
- Demirbas M, Arora A and Kulathumani V GLANCE Proceedings of the 10th international conference on Principles of Distributed Systems, (244-259)
- Christiansen H and Martinenghi D (2006). On Simplification of Database Integrity Constraints, Fundamenta Informaticae, 71:4, (371-417), Online publication date: 1-Dec-2006.
- Arumugam M, Wang L and Kulkarni S A case study on prototyping power management protocols for sensor networks Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems, (50-64)
- Johnsen E, Owe O and Yu I (2006). Creol, Theoretical Computer Science, 365:1, (23-66), Online publication date: 10-Nov-2006.
- Ginat D On novices' local views of algorithmic characteristics Proceedings of the 2006 international conference on Informatics in Secondary Schools - Evolution and Perspectives: the Bridge between Using and Understanding Computers, (127-137)
- Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F (2006). Temporal search, ACM SIGPLAN Notices, 41:11, (25-36), Online publication date: 1-Nov-2006.
- Trčka N Verifying χ models of industrial systems with SPIN Proceedings of the 8th international conference on Formal Methods and Software Engineering, (132-148)
- Westerlund T and Plosila J Time aware modelling and analysis of multiclocked VLSI systems Proceedings of the 8th international conference on Formal Methods and Software Engineering, (737-756)
- Meinicke L and Hayes I Reasoning algebraically about probabilistic loops Proceedings of the 8th international conference on Formal Methods and Software Engineering, (380-399)
- Leavens G JML’s rich, inherited specifications for behavioral subtypes Proceedings of the 8th international conference on Formal Methods and Software Engineering, (2-34)
- Dongol B Formalising progress properties of non-blocking programs Proceedings of the 8th international conference on Formal Methods and Software Engineering, (284-303)
- Newsome J, Brumley D, Franklin J and Song D Replayer Proceedings of the 13th ACM conference on Computer and communications security, (311-321)
- Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F Temporal search Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, (25-36)
- Steimann F The paradoxical success of aspect-oriented programming Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (481-497)
- Wang C, Yang Z, Ivančić F and Gupta A Whodunit? causal analysis for counterexamples Proceedings of the 4th international conference on Automated Technology for Verification and Analysis, (82-95)
- Caspersen M and Kölling M A novice's process of object-oriented programming Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, (892-900)
- Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F (2006). Temporal search, ACM SIGARCH Computer Architecture News, 34:5, (25-36), Online publication date: 20-Oct-2006.
- Crandall J, Wassermann G, de Oliveira D, Su Z, Wu S and Chong F (2006). Temporal search, ACM SIGOPS Operating Systems Review, 40:5, (25-36), Online publication date: 20-Oct-2006.
- Molina A and Shinohara T On approximate matching of programs for protecting libre software Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, (21-es)
- Kienzle J and Sendall S Addressing concurrency in object-oriented software development Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, (15-es)
- Steimann F (2006). The paradoxical success of aspect-oriented programming, ACM SIGPLAN Notices, 41:10, (481-497), Online publication date: 16-Oct-2006.
- Miller A, Donaldson A and Calder M (2006). Symmetry in temporal logic model checking, ACM Computing Surveys, 38:3, (8-es), Online publication date: 30-Sep-2006.
- Dony I and Le Charlier B (2006). A tool for helping teach a programming method, ACM SIGCSE Bulletin, 38:3, (212-216), Online publication date: 26-Sep-2006.
- Habel A, Pennemann K and Rensink A Weakest preconditions for high-level programs Proceedings of the Third international conference on Graph Transformations, (445-460)
- Christiansen H and Martinenghi D (2006). On Simplification of Database Integrity Constraints, Fundamenta Informaticae, 71:4, (371-417), Online publication date: 1-Sep-2006.
- Schneider S, Hoang T, Robinson K and Treharne H (2006). Tank monitoring: a pAMN case study, Formal Aspects of Computing, 18:3, (308-328), Online publication date: 1-Sep-2006.
- Cavalcanti A, Woodcock J and Dunne S (2006). Angelic nondeterminism in the unifying theories of programming, Formal Aspects of Computing, 18:3, (288-307), Online publication date: 1-Sep-2006.
- Jhala R, Majumdar R and Xu R Structural invariants Proceedings of the 13th international conference on Static Analysis, (71-87)
- Déharbe D and Medeiros S Aspect-oriented design in systemC Proceedings of the 19th annual symposium on Integrated circuits and systems design, (119-124)
- Manes E (2006). Boolean restriction categories and taut monads, Theoretical Computer Science, 360:1, (77-95), Online publication date: 21-Aug-2006.
- Sanders J Computations and relational bundles Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra, (30-62)
- Solin K On two dually nondeterministic refinement algebras Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra, (373-387)
- Rewitzky I and Brink C Monotone predicate transformers as up-closed multirelations Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra, (311-327)
- Yorsh G, Ball T and Sagiv M Testing, abstraction, theorem proving Proceedings of the 2006 international symposium on Software testing and analysis, (145-156)
- Sandström K and Oliver I A UML profile for asynchronous hardware design Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation, (15-26)
- Tchier F From operational to denotational demonic semantics of nondeterministic while loops Proceedings of the 10th WSEAS international conference on Computers, (1327-1335)
- Honda K, Berger M and Yoshida N Descriptive and relative completeness of logics for higher-order functions Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II, (360-371)
- Backhouse R and Michaelis D Exercises in quantifier manipulation Proceedings of the 8th international conference on Mathematics of Program Construction, (69-81)
- Solin K and von Wright J Refinement algebra with operators for enabledness and termination Proceedings of the 8th international conference on Mathematics of Program Construction, (397-415)
- Morgan C The shadow knows Proceedings of the 8th international conference on Mathematics of Program Construction, (359-378)
- Meinicke L and Hayes I Continuous action system refinement Proceedings of the 8th international conference on Mathematics of Program Construction, (316-337)
- Dongol B and Mooij A Progress in deriving concurrent programs Proceedings of the 8th international conference on Mathematics of Program Construction, (140-161)
- Boute R (2006). Calculational semantics, ACM Transactions on Programming Languages and Systems, 28:4, (747-793), Online publication date: 1-Jul-2006.
- Ager M, Danvy O and Rohde H (2006). Fast partial evaluation of pattern matching in strings, ACM Transactions on Programming Languages and Systems, 28:4, (696-714), Online publication date: 1-Jul-2006.
- Dony I and Le Charlier B A tool for helping teach a programming method Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, (212-216)
- Back R Invariant based programming Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency, (1-18)
- Refsdal A, Runde R and Stølen K Underspecification, inherent nondeterminism and probability in sequence diagrams Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (138-155)
- Evans D and Peck M Inculcating invariants in introductory courses Proceedings of the 28th international conference on Software engineering, (673-678)
- Cheng S, Garlan D and Schmerl B Architecture-based self-adaptation in the presence of multiple objectives Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, (2-8)
- Garcia A, Chavez C and Choren R An aspect-oriented modeling framework for multi-agent systems design Proceedings of the 7th international conference on Agent-oriented software engineering VII, (35-50)
- Guo J, Liao Y and Pamula R Static analysis based software architecture recovery Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III, (974-983)
- Clarke L and Rosenblum D (2006). A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, 31:3, (25-37), Online publication date: 1-May-2006.
- Niculescu V Cost evaluation from specifications for BSP programs Proceedings of the 20th international conference on Parallel and distributed processing, (320-320)
- Ait-Ameur Y, Ait-Sadoune I, Mota J and Baron M Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve Proceedings of the 18th Conference on l'Interaction Homme-Machine, (123-130)
- Groce A and Joshi R Exploiting traces in program analysis Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems, (379-393)
- McGuire M, Stathis G, Pfister H and Krishnamurthi S Abstract shade trees Proceedings of the 2006 symposium on Interactive 3D graphics and games, (79-86)
- Sims É (2006). Extending separation logic with fixpoints and postponed substitution, Theoretical Computer Science, 351:2, (258-275), Online publication date: 21-Feb-2006.
- Danielsson N, Hughes J, Jansson P and Gibbons J (2006). Fast and loose reasoning is morally correct, ACM SIGPLAN Notices, 41:1, (206-217), Online publication date: 12-Jan-2006.
- Lahiri S and Qadeer S (2006). Verifying properties of well-founded linked lists, ACM SIGPLAN Notices, 41:1, (115-126), Online publication date: 12-Jan-2006.
- Danielsson N, Hughes J, Jansson P and Gibbons J Fast and loose reasoning is morally correct Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (206-217)
- Lahiri S and Qadeer S Verifying properties of well-founded linked lists Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (115-126)
- Aaltonen T, Katara M, Kurki-Suonio R and Mikkonen T On horizontal specification architectures and their aspect-oriented implementations Transactions on Aspect-Oriented Software Development II, (1-29)
- Morgan C and McIver A Programming-logic analysis of fault tolerance Rigorous Development of Complex Fault-Tolerant Systems, (288-305)
- Laibinis L, Troubitsyna E, Leppänen S, Lilius J and Malik Q Formal service-oriented development of fault tolerant communicating systems Rigorous Development of Complex Fault-Tolerant Systems, (261-287)
- Laibinis L, Troubitsyna E, Iliasov A and Romanovsky A Rigorous development of fault-tolerant agent systems Rigorous Development of Complex Fault-Tolerant Systems, (241-260)
- Meyer B Dependable software Dependable Systems, (1-33)
- Reeve G and Reeves S Logic and refinement for charts Proceedings of the 29th Australasian Computer Science Conference - Volume 48, (13-23)
- Barnett M and Leino K (2005). Weakest-precondition of unstructured programs, ACM SIGSOFT Software Engineering Notes, 31:1, (82-87), Online publication date: 1-Jan-2006.
- Evans N and Treharne H (2006). Linking Semantic Models to Support CSP () B Consistency Checking, Electronic Notes in Theoretical Computer Science (ENTCS), 145, (201-217), Online publication date: 1-Jan-2006.
- Jones C (2006). Reasoning About Partial Functions in the Formal Development of Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 145, (3-25), Online publication date: 1-Jan-2006.
- Roychoudhury A, Mitra T and Negi H Analyzing loop paths for execution time estimation Proceedings of the Second international conference on Distributed Computing and Internet Technology, (458-469)
- Ebnenasir A, Kulkarni S and Bonakdarpour B Revising UNITY programs Proceedings of the 9th international conference on Principles of Distributed Systems, (275-290)
- Langmaack H (2005). What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?, Electronic Notes in Theoretical Computer Science (ENTCS), 141:2, (5-32), Online publication date: 1-Dec-2005.
- Boström P and Waldén M Development of fault tolerant grid applications using distributed b Proceedings of the 5th international conference on Integrated Formal Methods, (167-186)
- Hurd J, McIver A and Morgan C (2005). Probabilistic guarded commands mechanized in HOL, Theoretical Computer Science, 346:1, (96-112), Online publication date: 23-Nov-2005.
- Lermer K, Fidge C and Hayes I (2005). A theory for execution-time derivation in real-time programs, Theoretical Computer Science, 346:1, (3-27), Online publication date: 23-Nov-2005.
- Pedersen K and Constantinides C (2005). AspectAda, ACM SIGAda Ada Letters, XXV:4, (79-92), Online publication date: 17-Nov-2005.
- Pedersen K and Constantinides C AspectAda Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies, (79-92)
- Leino K and Logozzo F Loop invariants on demand Proceedings of the Third Asian conference on Programming Languages and Systems, (119-134)
- Mijajlović I and Yang H Data refinement with low-level pointer operations Proceedings of the Third Asian conference on Programming Languages and Systems, (19-36)
- Barnett M, Chang B, DeLine R, Jacobs B and Leino K Boogie Proceedings of the 4th international conference on Formal Methods for Components and Objects, (364-387)
- Clarke E, Sharygina N and Sinha N Program compatibility approaches Proceedings of the 4th international conference on Formal Methods for Components and Objects, (243-258)
- Mooij A and Wesselink W Incremental verification of owicki/gries proof outlines using PVS Proceedings of the 7th international conference on Formal Methods and Software Engineering, (390-404)
- Plosila J, Liljeberg P and Isoaho J Modelling and refinement of an on-chip communication architecture Proceedings of the 7th international conference on Formal Methods and Software Engineering, (219-234)
- Cacho N and Batista T Using AOP to customize a reflective middleware Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II, (1133-1150)
- Field J, Goyal D, Ramalingam G and Yahav E (2005). Typestate verification, Science of Computer Programming, 58:1-2, (57-82), Online publication date: 1-Oct-2005.
- Apel S, Leich T, Rosenmüller M and Saake G FeatureC++ Proceedings of the 4th international conference on Generative Programming and Component Engineering, (125-140)
- Leich T, Apel S and Saake G Using step-wise refinement to build a flexible lightweight storage manager Proceedings of the 9th East European conference on Advances in Databases and Information Systems, (324-337)
- Kalinichenko L, Stupnikov S and Zemtsov N Extensible canonical process model synthesis applying formal interpretation Proceedings of the 9th East European conference on Advances in Databases and Information Systems, (183-198)
- Bagnara R, Rodríguez-Carbonell E and Zaffanella E Generation of basic semi-algebraic invariants using convex polyhedra Proceedings of the 12th international conference on Static Analysis, (19-34)
- Barnett M and Leino K Weakest-precondition of unstructured programs Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (82-87)
- Fischer J, Jhala R and Majumdar R Joining dataflow with predicates Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, (227-236)
- Henzinger T, Jhala R and Majumdar R Permissive interfaces Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, (31-40)
- Chen W (2005). Probabilistic analysis of algorithms for the Dutch national flag problem, Theoretical Computer Science, 341:1, (398-410), Online publication date: 5-Sep-2005.
- Liew C (2005). Teaching software development skills early in the Curriculum through software engineering, ACM SIGCSE Bulletin, 37:3, (133-137), Online publication date: 1-Sep-2005.
- Fischer J, Jhala R and Majumdar R (2005). Joining dataflow with predicates, ACM SIGSOFT Software Engineering Notes, 30:5, (227-236), Online publication date: 1-Sep-2005.
- Henzinger T, Jhala R and Majumdar R (2005). Permissive interfaces, ACM SIGSOFT Software Engineering Notes, 30:5, (31-40), Online publication date: 1-Sep-2005.
- Garg V and Mittal N (2005). A Critique of Java for Concurrent Programming, IEEE Distributed Systems Online, 6:9, (3), Online publication date: 1-Sep-2005.
- Danicic S, Daoudi M, Fox C, Harman M, Hierons R, Howroyd J, Ourabya L and Ward M (2005). ConSUS, Journal of Systems and Software, 77:3, (241-262), Online publication date: 1-Sep-2005.
- Gibbs C, Liu C and Coady Y Sustainable system infrastructure and big bang evolution Proceedings of the 19th European conference on Object-Oriented Programming, (241-261)
- Celiku O and McIver A Compositional specification and analysis of cost-based properties in probabilistic programs Proceedings of the 2005 international conference on Formal Methods, (107-122)
- Westerlund T and Plosila J Formal specification of a protocol processor Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation, (122-131)
- Ball T, Kupferman O and Yorsh G Abstraction for falsification Proceedings of the 17th international conference on Computer Aided Verification, (67-81)
- Benedikt M, Bonifati A, Flesca S and Vyas A Verification of tree updates for optimization Proceedings of the 17th international conference on Computer Aided Verification, (379-393)
- Hamza H (2005). Separation of concerns for evolving systems, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
- Painter R and Coppit D (2005). A model for software plans, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
- Jamali N and Ren S (2005). A layered architecture for real-time distributed multi-agent systems, ACM SIGSOFT Software Engineering Notes, 30:4, (1-8), Online publication date: 1-Jul-2005.
- Klint P, Lämmel R and Verhoef C (2005). Toward an engineering discipline for grammarware, ACM Transactions on Software Engineering and Methodology, 14:3, (331-380), Online publication date: 1-Jul-2005.
- Kulkarni S and Ebnenasir A (2005). Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance, IEEE Transactions on Dependable and Secure Computing, 2:3, (201-215), Online publication date: 1-Jul-2005.
- Liew C Teaching software development skills early in the Curriculum through software engineering Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (133-137)
- Fraser G, Steinbauer G and Wotawa F Plan execution in dynamic environments Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, (208-217)
- Pawlak R, Duchien L and Seinturier L CompAr Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, (163-178)
- Jhala R and Majumdar R Path slicing Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (38-47)
- Jhala R and Majumdar R (2005). Path slicing, ACM SIGPLAN Notices, 40:6, (38-47), Online publication date: 12-Jun-2005.
- Giacobazzi R and Mastroeni I (2005). Transforming semantics by abstract interpretation, Theoretical Computer Science, 337:1-3, (1-50), Online publication date: 9-Jun-2005.
- Hamza H Separation of concerns for evolving systems Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, (1-5)
- Painter R and Coppit D A model for software plans Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, (1-5)
- Jamali N and Ren S A layered architecture for real-time distributed multi-agent systems Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, (1-8)
- Kulkarni S and Ebnenasir A Adding fault-tolerance using pre-synthesized components Proceedings of the 5th European conference on Dependable Computing, (72-90)
- Boström P and Waldén M An extension of event b for developing grid systems Proceedings of the 4th international conference on Formal Specification and Development in Z and B, (142-161)
- Morgan C, Hoang T and Abrial J The challenge of probabilistic event B Proceedings of the 4th international conference on Formal Specification and Development in Z and B, (162-171)
- Dezani-Ciancaglini M, Yoshida N, Ahern A and Drossopoulou S A distributed object-oriented language with session types Proceedings of the 1st international conference on Trustworthy global computing, (299-318)
- Chander A, Espinosa D, Islam N, Lee P and Necula G Enforcing resource bounds via static verification of dynamic checks Proceedings of the 14th European conference on Programming Languages and Systems, (311-325)
- Tix R, Keimel K and Plotkin G (2005). RETRACTED, Electronic Notes in Theoretical Computer Science (ENTCS), 129, (1-104), Online publication date: 1-Apr-2005.
- Lobo L and Arthur J Local and global analysis Proceedings of the 43rd annual ACM Southeast Conference - Volume 2, (256-261)
- Béguelin S Formalisation and verification of the globalplatform card specification using the b method Proceedings of the Second international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, (155-173)
- Rashid A and Sawyer P (2005). A database evolution taxonomy for object-oriented databases, Journal of Software Maintenance and Evolution: Research and Practice, 17:2, (93-141), Online publication date: 1-Mar-2005.
- McIver A and Morgan C (2005). Abstraction and refinement in probabilistic systems, ACM SIGMETRICS Performance Evaluation Review, 32:4, (41-47), Online publication date: 1-Mar-2005.
- Plosila J, Sere K and Waldén M (2005). Asynchronous system synthesis, Science of Computer Programming, 55:1-3, (259-288), Online publication date: 1-Mar-2005.
- Leino K, Millstein T and Saxe J (2005). Generating error traces from verification-condition counterexamples, Science of Computer Programming, 55:1-3, (209-226), Online publication date: 1-Mar-2005.
- Smeets N and Steegmans E A methodology for writing class contracts Proceedings of the 31st international conference on Theory and Practice of Computer Science, (418-422)
- Zhou H Deriving a new efficient algorithm for min-period retiming Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (990-993)
- Attie P and Chockler H Efficiently verifiable conditions for deadlock-freedom of large concurrent programs Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation, (465-481)
- Grumberg O, Lerda F, Strichman O and Theobald M (2005). Proof-guided underapproximation-widening for multi-process systems, ACM SIGPLAN Notices, 40:1, (122-131), Online publication date: 12-Jan-2005.
- Grumberg O, Lerda F, Strichman O and Theobald M Proof-guided underapproximation-widening for multi-process systems Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (122-131)
- Tejfel M, Horváth Z and Kozsik T (2005). Extending the sparkle core language with object abstraction, Acta Cybernetica, 17:2, (419-445), Online publication date: 10-Jan-2005.
- Klein F and Giese H Separation of concerns for mechatronic multi-agent systems through dynamic communities Software Engineering for Multi-Agent Systems III, (272-289)
- Garcia A, Kulesza U and Lucena C Aspectizing multi-agent systems Software Engineering for Multi-Agent Systems III, (121-143)
- Hemer D, Long G and Strooper P Plug-in proof support for formal development environments Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (69-79)
- Goldson D and Dongol B Concurrent program design in the extended theory of Owicki and Gries Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41, (41-50)
- Hunter C, Robinson P and Strooper P Agent-based distributed software verification Proceedings of the Twenty-eighth Australasian conference on Computer Science - Volume 38, (159-164)
- Bruce K (2004). Controversy on how to teach CS 1, ACM SIGCSE Bulletin, 36:4, (29-34), Online publication date: 1-Dec-2004.
- Manevich R, Sridharan M, Adams S, Das M and Yang Z (2004). PSE, ACM SIGSOFT Software Engineering Notes, 29:6, (63-72), Online publication date: 1-Nov-2004.
- Manevich R, Sridharan M, Adams S, Das M and Yang Z PSE Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, (63-72)
- Pons C, Giandini R, Pérez G, Pesce P, Becker V, Longinotti J and Cengia J PAMPERO UML Modeling Languages and Applications, (246-249)
- Pons C, Giandini R, Pérez G, Pesce P, Becker V, Longinotti J and Cengia J PAMPERO Proceedings of the 2004 international conference on UML Modeling Languages and Applications, (246-249)
- Dwyer M, Clarke L, Cobleigh J and Naumovich G (2004). Flow analysis for verifying properties of concurrent software systems, ACM Transactions on Software Engineering and Methodology, 13:4, (359-430), Online publication date: 1-Oct-2004.
- Seceleanu C and Seceleanu T Modular Design of Reactive Systems Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01, (265-271)
- Rodríguez-Carbonell E and Kapur D Program verification using automatic generation of invariants Proceedings of the First international conference on Theoretical Aspects of Computing, (325-340)
- Jifeng H and Naiyong J Integrating variants of DC Proceedings of the First international conference on Theoretical Aspects of Computing, (14-34)
- Fiadeiro J Software services Proceedings of the First international conference on Theoretical Aspects of Computing, (1-13)
- Blume M and McAllester D A sound (and complete) model of contracts Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (189-200)
- Blume M and McAllester D (2004). A sound (and complete) model of contracts, ACM SIGPLAN Notices, 39:9, (189-200), Online publication date: 19-Sep-2004.
- Zhang J Symbolic Execution of Program Paths Involving Pointer and Structure Variables Proceedings of the Quality Software, Fourth International Conference, (87-92)
- Ginat D (2004). Embedding instructive assertions in program design, ACM SIGCSE Bulletin, 36:3, (62-66), Online publication date: 1-Sep-2004.
- Colón M Schema-guided synthesis of imperative programs by constraint solving Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation, (166-181)
- Morgan C Of probabilistic wp and CSP - and compositionality Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years, (220-241)
- Rodríguez-Carbonell E and Kapur D Automatic Generation of Polynomial Loop Invariants Proceedings of the 2004 international symposium on Symbolic and algebraic computation, (266-273)
- Niculescu V (2004). On Data Distributions in the Construction of Parallel Programs, The Journal of Supercomputing, 29:1, (5-25), Online publication date: 1-Jul-2004.
- Bruce K Controversy on how to teach CS 1 Working group reports from ITiCSE on Innovation and technology in computer science education, (29-34)
- Ginat D Embedding instructive assertions in program design Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, (62-66)
- Brönnimann H, Iacono J, Katajainen J, Morin P, Morrison J and Toussaint G (2004). Space-efficient planar convex hull algorithms, Theoretical Computer Science, 321:1, (25-40), Online publication date: 16-Jun-2004.
- Ginat D (2004). Algorithmic patterns and the case of the sliding delta, ACM SIGCSE Bulletin, 36:2, (29-33), Online publication date: 1-Jun-2004.
- Batory D, Sarvela J and Rauschmayer A (2004). Scaling Step-Wise Refinement, IEEE Transactions on Software Engineering, 30:6, (355-371), Online publication date: 1-Jun-2004.
- Beyer D, Chlipala A, Henzinger T, Jhala R and Majumdar R Generating Tests from Counterexamples Proceedings of the 26th International Conference on Software Engineering, (326-335)
- Giannakopoulou D, Pasareanu C and Cobleigh J Assume-Guarantee Verification of Source Code with Design-Level Assumptions Proceedings of the 26th International Conference on Software Engineering, (211-220)
- Chiang C Teaching a formal method in a software engineering course Proceedings of the 2nd annual conference on Mid-south college computing, (39-52)
- Steele G and White J (2004). How to print floating-point numbers accurately, ACM SIGPLAN Notices, 39:4, (372-389), Online publication date: 1-Apr-2004.
- Khoo S and Shi K (2004). Program Adaptation via Output-Constraint Specialization, Higher-Order and Symbolic Computation, 17:1-2, (93-128), Online publication date: 1-Mar-2004.
- Flanagan C (2004). Automatic software model checking via constraint logic, Science of Computer Programming, 50:1-3, (253-270), Online publication date: 1-Mar-2004.
- Seceleanu T and Westerlund T Aspects of Formal and Graphical Design of a Bus System Proceedings of the conference on Design, automation and test in Europe - Volume 1
- Singh A and Bandyopadhyay A (2004). Adding the leads-to operator to Dijkstra's calculus, ACM SIGPLAN Notices, 39:2, (12-17), Online publication date: 1-Feb-2004.
- Teng G and Liu X Support software evolution with abstration rules and programming knowledge patterns Focus on computational neurobiology, (177-189)
- Attie P, Arora A and Emerson E (2004). Synthesis of fault-tolerant concurrent programs, ACM Transactions on Programming Languages and Systems, 26:1, (125-185), Online publication date: 1-Jan-2004.
- Giacobazzi R and Mastroeni I (2003). Non-Standard Semantics for Program Slicing, Higher-Order and Symbolic Computation, 16:4, (297-339), Online publication date: 1-Dec-2003.
- Jambon F First steps in the retro-engineering of a GUI toolkit in the B language Proceedings of the 15th Conference on l'Interaction Homme-Machine, (118-125)
- Lau T, Domingos P and Weld D Learning programs from traces using version space algebra Proceedings of the 2nd international conference on Knowledge capture, (36-43)
- Ager M, Danvy O and Rohde H (2003). Fast partial evaluation of pattern matching in strings, ACM SIGPLAN Notices, 38:10, (3-9), Online publication date: 1-Oct-2003.
- Gegg-Harrison T, Bunce G, Ganetzky R, Olson C and Wilson J (2003). Studying program correctness by constructing contracts, ACM SIGCSE Bulletin, 35:3, (129-133), Online publication date: 1-Sep-2003.
- Batory D, Liu J and Sarvela J (2003). Refinements and multi-dimensional separation of concerns, ACM SIGSOFT Software Engineering Notes, 28:5, (48-57), Online publication date: 1-Sep-2003.
- Batory D, Liu J and Sarvela J Refinements and multi-dimensional separation of concerns Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering, (48-57)
- Kurki-Suonio R (2003). Action systems in incremental and aspect-oriented modeling, Distributed Computing, 16:2-3, (201-217), Online publication date: 1-Sep-2003.
- Sabry A Modeling quantum computing in Haskell Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, (39-49)
- Back R and Preoteasa V Reasoning about recursive procedures with parameters Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding, (1-7)
- Pedreschi D and Ruggieri S (2003). On logic programs that always succeed, Science of Computer Programming, 48:2-3, (163-196), Online publication date: 1-Aug-2003.
- Watson B and Watson R (2003). A Boyer--Moore-style algorithm for regular expression pattern matching, Science of Computer Programming, 48:2-3, (99-117), Online publication date: 1-Aug-2003.
- Watson B (2003). A new algorithm for the construction of minimal acyclic DFAs, Science of Computer Programming, 48:2-3, (81-97), Online publication date: 1-Aug-2003.
- Fornara N and Colombetti M Defining interaction protocols using a commitment-based agent communication language Proceedings of the second international joint conference on Autonomous agents and multiagent systems, (520-527)
- Gegg-Harrison T, Bunce G, Ganetzky R, Olson C and Wilson J Studying program correctness by constructing contracts Proceedings of the 8th annual conference on Innovation and technology in computer science education, (129-133)
- Field J, Goyal D, Ramalingam G and Yahav E Typestate verification Proceedings of the 10th international conference on Static analysis, (439-462)
- Dor N, Rodeh M and Sagiv M CSSV Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, (155-167)
- Ager M, Danvy O and Rohde H Fast partial evaluation of pattern matching in strings Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (3-9)
- Abrial J, Cansell D and Méry D Formal derivation of spanning trees algorithms Proceedings of the 3rd international conference on Formal specification and development in Z and B, (457-476)
- McIver A, Morgan C and Hoang T Probabilistic termination in B Proceedings of the 3rd international conference on Formal specification and development in Z and B, (216-239)
- Dunne S Introducing backward refinement into B Proceedings of the 3rd international conference on Formal specification and development in Z and B, (178-196)
- Semoushin I, Tsyganova J and Ugarov V Computational and soft skills development through the project based learning Proceedings of the 2003 international conference on Computational science: PartII, (1098-1106)
- Leino K A SAT characterization of boolean-program correctness Proceedings of the 10th international conference on Model checking software, (104-120)
- Dor N, Rodeh M and Sagiv M (2003). CSSV, ACM SIGPLAN Notices, 38:5, (155-167), Online publication date: 9-May-2003.
- Batory D, Sarvela J and Rauschmayer A Scaling step-wise refinement Proceedings of the 25th International Conference on Software Engineering, (187-197)
- Kleijn J, Reniers M and Rooda J (2003). Analysis of an Industrial System, Formal Methods in System Design, 22:3, (249-282), Online publication date: 1-May-2003.
- Fontaine P and Gribomont E Decidability of invariant validation for paramaterized systems Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems, (97-112)
- Flanagan C Automatic software model checking using CLP Proceedings of the 12th European conference on Programming, (189-203)
- Schröder L and Mossakowski T Monad-independent Hoare logic in HasCasl Proceedings of the 6th international conference on Fundamental approaches to software engineering, (261-277)
- Fenkam P, Gall H and Jazayeri M Composing specifications of event based applications Proceedings of the 6th international conference on Fundamental approaches to software engineering, (67-86)
- Jones C (2003). The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, 25:2, (26-49), Online publication date: 1-Apr-2003.
- Hoare C (2003). Assertions, IEEE Annals of the History of Computing, 25:2, (14-25), Online publication date: 1-Apr-2003.
- Ghani N, Lüth C, De Marchi F and Power J (2003). Dualising initial algebras, Mathematical Structures in Computer Science, 13:2, (349-370), Online publication date: 1-Apr-2003.
- Van Eijk R, De Boer F, Van Der Hoek W and Meyer J (2003). A Verification Framework for Agent Communication, Autonomous Agents and Multi-Agent Systems, 6:2, (185-219), Online publication date: 1-Mar-2003.
- Back R and von Wright J Enforcing behavior with contracts Programming methodology, (17-52)
- Fahringer T and Scholz B (2003). Advanced symbolic analysis for compilers, 10.5555/1767745, Online publication date: 1-Jan-2003.
- Schmidt D Programming language semantics Encyclopedia of Computer Science, (1463-1466)
- Federighi F Programmer Encyclopedia of Computer Science, (1462-1463)
- Cox T, Hemmendinger D and Hemmendinger D Procedure-oriented languages Encyclopedia of Computer Science, (1441-1451)
- Gries D Loop invariant Encyclopedia of Computer Science, (1038-1040)
- Wagener J Guarded command Encyclopedia of Computer Science, (761-762)
- Keener L Bibliography Technology supporting business solutions, (179-191)
- Rönkkö M, Ravn A and Sere K (2003). Hybrid action systems, Theoretical Computer Science, 290:1, (937-973), Online publication date: 1-Jan-2003.
- Harrison C (2002). ICPL, ACM SIGCSE Bulletin, 34:4, (101-105), Online publication date: 1-Dec-2002.
- Gries D (2002). Where is programming methodology these days?, ACM SIGCSE Bulletin, 34:4, (5-7), Online publication date: 1-Dec-2002.
- Creak A (2002). Edsger W. Dijkstra, ACM SIGPLAN Notices, 37:12, (14-16), Online publication date: 1-Dec-2002.
- Letier E and van Lamsweerde A Deriving operational software specifications from system goals Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, (119-128)
- Mezini M and Ostermann K (2002). Integrating independent components with on-demand remodularization, ACM SIGPLAN Notices, 37:11, (52-67), Online publication date: 17-Nov-2002.
- Mezini M and Ostermann K Integrating independent components with on-demand remodularization Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (52-67)
- Lee L and Lumsdaine A Generic programming for high performance scientific applications Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, (112-121)
- Letier E and van Lamsweerde A (2002). Deriving operational software specifications from system goals, ACM SIGSOFT Software Engineering Notes, 27:6, (119-128), Online publication date: 1-Nov-2002.
- Berghammer R A generic program for minimal subsets with applications Proceedings of the 12th international conference on Logic based program synthesis and transformation, (144-157)
- Bull D and de Villiers P Using SPIN to verify protocols at the implementation level Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (195-204)
- Jhumka A, Hiller M, Claesson V and Suri N (2002). On systematic design of globally consistent executable assertions in embedded software, ACM SIGPLAN Notices, 37:7, (75-84), Online publication date: 17-Jul-2002.
- Moreira A, Araújo J and Brito I Crosscutting quality attributes for requirements engineering Proceedings of the 14th international conference on Software engineering and knowledge engineering, (167-174)
- Markiewicz M, Lucena C, Alencar P and Cowan D (2002). Views and Patterns in E-Commerce Application Design, Annals of Software Engineering, 13:1-4, (111-140), Online publication date: 25-Jun-2002.
- Jhumka A, Hiller M, Claesson V and Suri N On systematic design of globally consistent executable assertions in embedded software Proceedings of the joint conference on Languages, compilers and tools for embedded systems: software and compilers for embedded systems, (75-84)
- Leino K, Poetzsch-Heffter A and Zhou Y Using data groups to specify and check side effects Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (246-257)
- Flanagan C, Leino K, Lillibridge M, Nelson G, Saxe J and Stata R Extended static checking for Java Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (234-245)
- Ramalingam G, Warshavsky A, Field J, Goyal D and Sagiv M Deriving specialized program analyses for certifying component-client conformance Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation, (83-94)
- McIver A (2002). Quantitative program logic and expected time bounds in probabilistic distributed algorithms, Theoretical Computer Science, 282:1, (191-219), Online publication date: 7-Jun-2002.
- D'Hondt M Making software knowledgeable Proceedings of the 24th International Conference on Software Engineering, (735-736)
- Kamiya T SOMA Proceedings of the International Workshop on Principles of Software Evolution, (124-128)
- Leino K, Poetzsch-Heffter A and Zhou Y (2002). Using data groups to specify and check side effects, ACM SIGPLAN Notices, 37:5, (246-257), Online publication date: 17-May-2002.
- Flanagan C, Leino K, Lillibridge M, Nelson G, Saxe J and Stata R (2002). Extended static checking for Java, ACM SIGPLAN Notices, 37:5, (234-245), Online publication date: 17-May-2002.
- Ramalingam G, Warshavsky A, Field J, Goyal D and Sagiv M (2002). Deriving specialized program analyses for certifying component-client conformance, ACM SIGPLAN Notices, 37:5, (83-94), Online publication date: 17-May-2002.
- Roman G, Julien C and Huang Q Formal Specification and Design of Mobile Systems Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Sobel A and Clarkson M (2002). Formal Methods Application, IEEE Transactions on Software Engineering, 28:3, (308-320), Online publication date: 1-Mar-2002.
- Flanagan C and Qadeer S Predicate abstraction for software verification Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (191-202)
- Henzinger T, Jhala R, Majumdar R and Sutre G Lazy abstraction Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (58-70)
- Amtoft T, Consel C, Danvy O and Malmkjær K The abstraction and instantiation of string-matching programs The essence of computation, (332-357)
- Müller P (2002). Modular specification and verification of object-oriented programs, 10.5555/1767748, Online publication date: 1-Jan-2002.
- Flanagan C and Qadeer S (2002). Predicate abstraction for software verification, ACM SIGPLAN Notices, 37:1, (191-202), Online publication date: 1-Jan-2002.
- Henzinger T, Jhala R, Majumdar R and Sutre G (2002). Lazy abstraction, ACM SIGPLAN Notices, 37:1, (58-70), Online publication date: 1-Jan-2002.
- Bodeveix J and Filali M (2002). Reduction and Quantifier Elimination Techniques for Program Validation, Formal Methods in System Design, 20:1, (69-89), Online publication date: 1-Jan-2002.
- Roman G and McCann P (2002). A Notation and Logic for Mobile Computing, Formal Methods in System Design, 20:1, (47-68), Online publication date: 1-Jan-2002.
- Ginat D (2001). Starting top-down, refining bottom-up, sharpening by zoom-in, ACM SIGCSE Bulletin, 33:4, (28-31), Online publication date: 1-Dec-2001.
- Pucella R (2001). Review of Dynamic Logic (Foundations of Computing), ACM SIGACT News, 32:4, (9-17), Online publication date: 1-Dec-2001.
- Gray J, Bapty T, Neema S and Tuck J (2001). Handling crosscutting constraints in domain-specific modeling, Communications of the ACM, 44:10, (87-93), Online publication date: 1-Oct-2001.
- Elrad T, Filman R and Bader A (2001). Aspect-oriented programming, Communications of the ACM, 44:10, (29-32), Online publication date: 1-Oct-2001.
- McIver A and Morgan C (2001). Partial correctness for probabilistic demonic programs, Theoretical Computer Science, 266:1-2, (513-541), Online publication date: 6-Sep-2001.
- Jilani L, Desharnais J and Mili A (2001). Defining and Applying Measures of Distance Between Specifications, IEEE Transactions on Software Engineering, 27:8, (673-703), Online publication date: 1-Aug-2001.
- Ince D (2001). Eight Desert Island Books, Automated Software Engineering, 8:3-4, (355-358), Online publication date: 1-Aug-2001.
- Jonker C and Treur J (2001). Agent-Based Simulation of Animal Behaviour, Applied Intelligence, 15:2, (83-115), Online publication date: 26-Jun-2001.
- Ball T, Majumdar R, Millstein T and Rajamani S Automatic predicate abstraction of C programs Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, (203-213)
- Lee E and Parks T Dataflow process networks Readings in hardware/software co-design, (59-85)
- Liu T and Huang S (2001). Phase Synchronization on Asynchronous Uniform Rings with Odd Size, IEEE Transactions on Parallel and Distributed Systems, 12:6, (638-652), Online publication date: 1-Jun-2001.
- Ball T and Rajamani S Automatically validating temporal safety properties of interfaces Proceedings of the 8th international SPIN workshop on Model checking of software, (103-122)
- Sorensen I and Neilson D B High integrity software, (23-42)
- Ball T, Majumdar R, Millstein T and Rajamani S (2001). Automatic predicate abstraction of C programs, ACM SIGPLAN Notices, 36:5, (203-213), Online publication date: 1-May-2001.
- Attie P and Emerson E (2001). Synthesis of concurrent programs for an atomic read/write model of computation, ACM Transactions on Programming Languages and Systems, 23:2, (187-242), Online publication date: 1-Mar-2001.
- Flanagan C and Saxe J (2001). Avoiding exponential explosion, ACM SIGPLAN Notices, 36:3, (193-205), Online publication date: 1-Mar-2001.
- Ernst M, Cockrell J, Griswold W and Notkin D (2001). Dynamically Discovering Likely Program Invariants to Support Program Evolution, IEEE Transactions on Software Engineering, 27:2, (99-123), Online publication date: 1-Feb-2001.
- Ireland A and Stark J (2001). Proof planning for strategy development, Annals of Mathematics and Artificial Intelligence, 29:1-4, (65-97), Online publication date: 10-Jan-2001.
- Flanagan C and Saxe J Avoiding exponential explosion Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (193-205)
- Hesselink W and Groote J (2001). Wait-free concurrent memory management by create and read until deletion (CaRuD), Distributed Computing, 14:1, (31-39), Online publication date: 1-Jan-2001.
- Bos V and Kleijn J (2000). Formalisation of a Production System Modelling Language The operational semantics of χ Core, Fundamenta Informaticae, 41:4, (367-392), Online publication date: 1-Dec-2000.
- Monin J (2000). Proving the Correctness of the Standardized Algorithm for ABR Conformance, Formal Methods in System Design, 17:3, (221-243), Online publication date: 1-Dec-2000.
- Liu Y (2000). Efficiency by Incrementalization, Higher-Order and Symbolic Computation, 13:4, (289-313), Online publication date: 1-Dec-2000.
- Herrmann S and Mezini M (2000). PIROL, ACM SIGPLAN Notices, 35:10, (188-207), Online publication date: 1-Oct-2000.
- Herrmann S and Mezini M PIROL Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (188-207)
- Lev-Ami T, Reps T, Sagiv M and Wilhelm R (2000). Putting static analysis to work for verification, ACM SIGSOFT Software Engineering Notes, 25:5, (26-38), Online publication date: 1-Sep-2000.
- Doherty P, Łukaszewicz W and Madalińska-Bugaj E (2000). The PMA and Relativizing Minimal Change for Action Update, Fundamenta Informaticae, 44:1-2, (95-131), Online publication date: 15-Aug-2000.
- Necula G Translation validation for an optimizing compiler Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (83-94)
- Xu Z, Miller B and Reps T Safety checking of machine code Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, (70-82)
- Lev-Ami T, Reps T, Sagiv M and Wilhelm R Putting static analysis to work for verification Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, (26-38)
- Kilov H Business Specifications and RD-ODP Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
- Joshi R and Misra J Toward a theory of maximally concurrent programs (shortened version) Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, (319-328)
- Hooman J and Roosmalen O (2000). An Approach to Platform Independent Real-Time Programming, Real-Time Systems, 19:1, (61-85), Online publication date: 7-Jul-2000.
- Boute R (2000). Supertotal Function Definition in Mathematics and Software Engineering, IEEE Transactions on Software Engineering, 26:7, (662-672), Online publication date: 1-Jul-2000.
- Harrison J (2000). Floating Point Verification in HOL Light, Formal Methods in System Design, 16:3, (271-305), Online publication date: 1-Jun-2000.
- Necula G (2000). Translation validation for an optimizing compiler, ACM SIGPLAN Notices, 35:5, (83-94), Online publication date: 1-May-2000.
- Xu Z, Miller B and Reps T (2000). Safety checking of machine code, ACM SIGPLAN Notices, 35:5, (70-82), Online publication date: 1-May-2000.
- Sobel A Empirical results of a software engineering curriculum incorporating formal methods Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, (157-161)
- Blieberger J, Fahringer T and Scholz B (2000). Symbolic Cache Analysis for Real-Time Systems, Real-Time Systems, 18:2/3, (181-215), Online publication date: 1-May-2000.
- Sobel A (2000). Empirical results of a software engineering curriculum incorporating formal methods, ACM SIGCSE Bulletin, 32:1, (157-161), Online publication date: 1-Mar-2000.
- Doherty P, Łukaszewicz W and Madalińska-Bugaj E (2000). The PMA and Relativizing Minimal Change for Action Update, Fundamenta Informaticae, 44:1-2, (95-131), Online publication date: 1-Jan-2000.
- Netinant P, Constantinides C, Elrad T and Fayad M Aspect-oriented frameworks (poster session) Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum), (61-62)
- Scholz B, Blieberger J and Fahringer T Symbolic pointer analysis for detecting memory leaks Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (104-113)
- Scholz B, Blieberger J and Fahringer T (1999). Symbolic pointer analysis for detecting memory leaks, ACM SIGPLAN Notices, 34:11, (104-113), Online publication date: 1-Nov-1999.
- Back R, Petre L and Paltor I Analysing UML use cases as contracts Proceedings of the 2nd international conference on The unified modeling language: beyond the standard, (518-533)
- Mahony B (1999). The Least Conjunctive Refinement and Promotion in the Refinement Calculus, Formal Aspects of Computing, 11:1, (75-105), Online publication date: 1-Sep-1999.
- Walker R, Baniassad E and Murphy G An initial assessment of aspect-oriented programming Proceedings of the 21st international conference on Software engineering, (120-130)
- Manohar R, Lee T and Martin A Projection Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
- Hur S, Jagannathan A and Lillis J Timing driven maze routing Proceedings of the 1999 international symposium on Physical design, (208-213)
- Siddiqi J, Morrey I, Hibberd R and Buckberry G (1999). Understanding and exploring formal specifications, Annals of Software Engineering, 6:1-4, (411-432), Online publication date: 1-Apr-1999.
- Bjørner D and Cuéllar J (1999). Software engineering education, Annals of Software Engineering, 6:1-4, (365-409), Online publication date: 1-Apr-1999.
- Cowling A (1999). The first decade of an undergraduate degree programme in software engineering, Annals of Software Engineering, 6:1-4, (61-90), Online publication date: 1-Apr-1999.
- Arpinar Ï, Halici U, Arpinar S and Doğaç A (1999). Formalization of Workflows and Correctness Issues in the Presence of Concurrency, Distributed and Parallel Databases, 7:2, (199-248), Online publication date: 1-Apr-1999.
- Nezu N and Lu H Modeling deflection networks Proceedings of the 1999 ACM symposium on Applied computing, (66-73)
- Fränzle M and Müller-Olm M Compilation and Synthesis for Real-Time Embedded Controllers Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (256-287)
- Hoare C Theories of Programming Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), (3-28)
- Beynon M Empirical modelling and the foundations of artificial intelligence Computation for metaphors, analogy, and agents, (322-365)
- Odersky M (1998). Programming with variable functions, ACM SIGPLAN Notices, 34:1, (105-116), Online publication date: 1-Jan-1999.
- Bharadwaj R and Heitmeyer C (1999). Model Checking Complete Requirements Specifications Using Abstraction, Automated Software Engineering, 6:1, (37-68), Online publication date: 1-Jan-1999.
- Sivilotti P A class of synchronization systems that permit the use of large atomic blocks Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
- Garlan D, Jha S, Notkin D and Dingel J (1998). Reasoning about implicit invocation, ACM SIGSOFT Software Engineering Notes, 23:6, (209-221), Online publication date: 1-Nov-1998.
- Garlan D, Jha S, Notkin D and Dingel J Reasoning about implicit invocation Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering, (209-221)
- Xue J (1998). Formal derivation of graph algorithmic programs using partition-and-recur, Journal of Computer Science and Technology, 13:6, (553-561), Online publication date: 1-Nov-1998.
- Cheng B A Discussion About Integrated Techniques Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
- Backus J (1998). The History of Fortran I, II, and III, IEEE Annals of the History of Computing, 20:4, (68-78), Online publication date: 1-Oct-1998.
- Odersky M Programming with variable functions Proceedings of the third ACM SIGPLAN international conference on Functional programming, (105-116)
- de Marneffe P (1998). The problem of examination questions in algorithmics, ACM SIGCSE Bulletin, 30:3, (74-76), Online publication date: 1-Sep-1998.
- de Marneffe P The problem of examination questions in algorithmics Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education, (74-76)
- Arora A, Attie P and Emerson E Synthesis of fault-tolerant concurrent programs Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing, (173-182)
- Arora A and Kulkarni S (1998). Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance, IEEE Transactions on Software Engineering, 24:6, (435-450), Online publication date: 1-Jun-1998.
- Waldén M and Sere K (1998). Reasoning about Action Systems using the B-Method, Formal Methods in System Design, 13:1, (5-35), Online publication date: 1-May-1998.
- Cavalcanti A and Woodcock J (1998). ZRC – A Refinement Calculus for Z, Formal Aspects of Computing, 10:3, (267-289), Online publication date: 1-Mar-1998.
- Dingel J, Garlan D, Jha S and Notkin D (1998). Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning, Formal Aspects of Computing, 10:3, (193-213), Online publication date: 1-Mar-1998.
- Huang E and Elrad T Scheduling control mechanisms for managing indeterminate object behavior Proceedings of the 1998 ACM symposium on Applied Computing, (650-654)
- Attie P and Emerson E (1998). Synthesis of concurrent systems with many similar processes, ACM Transactions on Programming Languages and Systems, 20:1, (51-115), Online publication date: 1-Jan-1998.
- Arora A and Kulkarni S (1998). Component Based Design of Multitolerant Systems, IEEE Transactions on Software Engineering, 24:1, (63-78), Online publication date: 1-Jan-1998.
- Chetali B (1998). Formal Verification of Concurrent Programs Using the Larch Prover, IEEE Transactions on Software Engineering, 24:1, (46-62), Online publication date: 1-Jan-1998.
- Xue J and Davis R A Simple Program whose Derivation and proof is also Proceedings of the 1st International Conference on Formal Engineering Methods
- Liu X, Yang H and Zedan H Formal Methods for the Re-Engineering of Computing Systems Proceedings of the 21st International Computer Software and Applications Conference
- Novak G (1997). Software Reuse by Specialization of Generic Procedures through Views, IEEE Transactions on Software Engineering, 23:7, (401-417), Online publication date: 1-Jul-1997.
- Xue J (1997). A unified approach for developing efficient algorithmic programs, Journal of Computer Science and Technology, 12:4, (314-329), Online publication date: 1-Jul-1997.
- Kurki-Suonio R and Mikkonen T Liberating Object-Oriented Modeling from Programming-Level Abstractions Proceedings of the Workshops on Object-Oriented Technology, (195-199)
- Sidou D Towards a "Good" Functional and Executable Behavior Model Proceedings of the Workshops on Object-Oriented Technology, (17-22)
- Griffin T and Hull R (1997). A framework for implementing hypothetical queries, ACM SIGMOD Record, 26:2, (231-242), Online publication date: 1-Jun-1997.
- Griffin T and Hull R A framework for implementing hypothetical queries Proceedings of the 1997 ACM SIGMOD international conference on Management of data, (231-242)
- Giloi W (1997). Konrad Zuse's Plankalkül, IEEE Annals of the History of Computing, 19:2, (17-24), Online publication date: 1-Apr-1997.
- Gersting J and Young F (1997). Content + experiences = curriculum, ACM SIGCSE Bulletin, 29:1, (325-329), Online publication date: 1-Mar-1997.
- Gersting J and Young F Content + experiences = curriculum Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education, (325-329)
- Bentley J and Sedgewick R Fast algorithms for sorting and searching strings Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms, (360-369)
- Shapiro S (1997). Splitting the Difference, IEEE Annals of the History of Computing, 19:1, (20-54), Online publication date: 1-Jan-1997.
- Morgan C, McIver A, Seidel K and Sanders J (1996). Refinement-oriented probability for CSP, Formal Aspects of Computing, 8:6, (617-647), Online publication date: 1-Nov-1996.
- Ward M (1996). Derivation of Data Intensive Algorithms by Formal Transformation, IEEE Transactions on Software Engineering, 22:9, (665-686), Online publication date: 1-Sep-1996.
- Benedikt M, Griffin T and Libkin L Verifiable properties of database transactions Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (117-127)
- Stephan W and Biundo S Deduction-based refinement planning Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, (213-220)
- Hart J and Pizzarello A A scalable, automated process for year 2000 system correction Proceedings of the 18th international conference on Software engineering, (475-484)
- Attie P and Emerson E Synthesis of concurrent systems for an atomic read/atomic write model of computation Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, (111-120)
- Andrews D (1996). An exercise in modelling, Information and Software Technology, 38:5, (323-332), Online publication date: 1-May-1996.
- Denman R (1996). Derivation of recursive algorithms for CS2, ACM SIGCSE Bulletin, 28:1, (9-13), Online publication date: 1-Mar-1996.
- Denman R Derivation of recursive algorithms for CS2 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (9-13)
- Liu Y, Stoller S and Teitelbaum T Discovering auxiliary information for incremental computation Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (157-170)
- Billington D and Dromey R (1996). The co-invariant generator: An aid in deriving loop bodies, Formal Aspects of Computing, 8:1, (108-126), Online publication date: 1-Jan-1996.
- Alencar P and de Lucena C (1996). A logical framework for evolving software systems, Formal Aspects of Computing, 8:1, (3-46), Online publication date: 1-Jan-1996.
- Novak Jr. G (1995). Creation of Views for Reuse of Software with Different Data Representations, IEEE Transactions on Software Engineering, 21:12, (993-1005), Online publication date: 1-Dec-1995.
- Donat M Enhancing cleanroom techniques with refinement calculus Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
- Maung I (1995). On simulation, subtyping and substitutability in sequential object systems, Formal Aspects of Computing, 7:6, (620-651), Online publication date: 1-Nov-1995.
- Hoffman D and Strooper P (1995). State abstraction and modular software development, ACM SIGSOFT Software Engineering Notes, 20:4, (53-61), Online publication date: 1-Oct-1995.
- Hoffman D and Strooper P State abstraction and modular software development Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, (53-61)
- Lukaszewicz W and Madaliriska-Bugaj E Reasoning about action and change using Dijkstra's semantics for programming languages Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2, (1950-1955)
- Ng F, Butler G and Kay J (1995). An Intelligent Tutoring System for the Dijkstra-Gries Methodology, IEEE Transactions on Software Engineering, 21:5, (415-428), Online publication date: 1-May-1995.
- Sinclair J and Woodcock J (1995). Event refinement in state-based concurrent systems, Formal Aspects of Computing, 7:3, (266-288), Online publication date: 1-May-1995.
- Gamble R (1995). Integrating a formal specification course with a software projects course via an editing tool, ACM SIGCSE Bulletin, 27:1, (312-316), Online publication date: 15-Mar-1995.
- Ginat D (1995). Loop invariants and mathematical games, ACM SIGCSE Bulletin, 27:1, (263-267), Online publication date: 15-Mar-1995.
- Gamble R Integrating a formal specification course with a software projects course via an editing tool Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (312-316)
- Ginat D Loop invariants and mathematical games Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (263-267)
- Khrabrov A (1995). An Ada-like separate compilation style in C, ACM SIGAda Ada Letters, XV:2, (23-30), Online publication date: 1-Mar-1995.
- Rewitzky I and Brink C (1995). Predicate transformers as power operations, Formal Aspects of Computing, 7:2, (169-182), Online publication date: 1-Mar-1995.
- Jazaa A (1995). Toward better software automation, ACM SIGSOFT Software Engineering Notes, 20:1, (79-84), Online publication date: 1-Jan-1995.
- King S and Morgan C (1995). Exits in the refinement calculus, Formal Aspects of Computing, 7:1, (54-76), Online publication date: 1-Jan-1995.
- Butler M and Morgan C (1995). Action systems, unbounded nondeterminism, and infinite traces, Formal Aspects of Computing, 7:1, (37-53), Online publication date: 1-Jan-1995.
- van de Snepscheut J (1995). The sliding-window protocol revisited, Formal Aspects of Computing, 7:1, (3-17), Online publication date: 1-Jan-1995.
- Page E and Nance R Parallel discrete event simulation Proceedings of the eighth workshop on Parallel and distributed simulation, (88-93)
- Page E and Nance R (1994). Parallel discrete event simulation, ACM SIGSIM Simulation Digest, 24:1, (88-93), Online publication date: 1-Jul-1994.
- Gurevich Y (1994). Logic activities in Europe, ACM SIGACT News, 25:2, (11-24), Online publication date: 1-Jun-1994.
- Kurki-Suonio R (1994). Real time, Computer, 27:6, (71-76), Online publication date: 1-Jun-1994.
- Takaoka T Parallel program verification with directed graphs Proceedings of the 1994 ACM symposium on Applied computing, (462-466)
- Arnow D (1994). Teaching programming to liberal arts students, ACM SIGCSE Bulletin, 26:1, (141-144), Online publication date: 12-Mar-1994.
- Lau K, Bush V and Jinks P (1994). Towards an introductory formal programming course, ACM SIGCSE Bulletin, 26:1, (121-125), Online publication date: 12-Mar-1994.
- Denman R, Naumann D, Potter W and Richter G (1994). Derivation of programs for freshmen, ACM SIGCSE Bulletin, 26:1, (116-120), Online publication date: 12-Mar-1994.
- Arnow D Teaching programming to liberal arts students Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (141-144)
- Lau K, Bush V and Jinks P Towards an introductory formal programming course Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (121-125)
- Denman R, Naumann D, Potter W and Richter G Derivation of programs for freshmen Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (116-120)
- Dupée B (1994). Object oriented methods using Fortran 90, ACM SIGPLAN Fortran Forum, 13:1, (21-30), Online publication date: 1-Mar-1994.
- Yuen C and Feng M (1994). Parallel multiplication, ACM SIGPLAN Notices, 29:3, (12-17), Online publication date: 1-Mar-1994.
- Groote J and Ponse A (2022). Process algebra with guards: Combining Hoare logic with process algebra, Formal Aspects of Computing, 6:2, (115-164), Online publication date: 1-Mar-1994.
- de Boer F, Gabbrielli M, Marchiori E and Palamidessi C Proving concurrent constraint programs correct Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (98-108)
- Ramsey N Correctness of trap-based breakpoint implementations Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (15-24)
- Bar-David T (1994). Object oriented librarianship, ACM SIGPLAN OOPS Messenger, 5:1, (1-5), Online publication date: 1-Jan-1994.
- Cunningham H and Cai Y Specification and refinement of a message router Proceedings of the 7th international workshop on Software specification and design, (20-29)
- Harman M and Danicic S (1993). Projecting functional models of imperative programs, ACM SIGPLAN Notices, 28:11, (33-41), Online publication date: 1-Nov-1993.
- Arora A and Gouda M (1993). Closure and Convergence, IEEE Transactions on Software Engineering, 19:11, (1015-1027), Online publication date: 1-Nov-1993.
- Parnas D (1993). Predicate Logic for Software Engineering, IEEE Transactions on Software Engineering, 19:9, (856-862), Online publication date: 1-Sep-1993.
- Stephan W and Biundo S A new logical framework for deductive planning Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1, (32-38)
- Schek H, Weikum G and Ye H Towards a unified theory of concurrency control and recovery Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, (300-311)
- Terwilliger R (1993). Toward tools to support the Gries/Dijkstra design process, ACM SIGSOFT Software Engineering Notes, 18:2, (50-59), Online publication date: 1-Apr-1993.
- Camp T, Kearns P and Ahuja M (1993). Proof Rules for Flush Channels, IEEE Transactions on Software Engineering, 19:4, (366-378), Online publication date: 1-Apr-1993.
- Banâtre J and Le Métayer D (1993). Programming by multiset transformation, Communications of the ACM, 36:1, (98-111), Online publication date: 1-Jan-1993.
- Liu Z and Joseph M (1992). Transformation of programs for fault-tolerance, Formal Aspects of Computing, 4:5, (442-469), Online publication date: 1-Sep-1992.
- Yuen C (1992). Hamming numbers, lazy evaluation, and eager disposal, ACM SIGPLAN Notices, 27:8, (71-75), Online publication date: 1-Aug-1992.
- Manna Z and Waldinger R (1992). Fundamentals of Deductive Program Synthesis, IEEE Transactions on Software Engineering, 18:8, (674-704), Online publication date: 1-Aug-1992.
- Kurki-Suonio R (1992). Operational specification with joint actions, Distributed Computing, 6:1, (19-37), Online publication date: 1-Jul-1992.
- Garg P and Bhansali S Process programming by hindsight Proceedings of the 14th international conference on Software engineering, (280-293)
- Jacob J (1992). Basic Theorems about Security, Journal of Computer Security, 1:3-4, (385-411), Online publication date: 1-May-1992.
- Anderson J and Gouda M (1992). A criterion for atomicity, Formal Aspects of Computing, 4:3, (273-298), Online publication date: 1-May-1992.
- Li J Improvements to systematic program development Proceedings of the 30th annual ACM Southeast Regional Conference, (308-311)
- Kanellakis P and Shvartsman A (1992). Efficient parallel algorithms can be made robust, Distributed Computing, 5:4, (201-217), Online publication date: 1-Apr-1992.
- Abernethy K and Kelly J Comparing object-oriented and data flow models—a case study Proceedings of the 1992 ACM annual conference on Communications, (541-547)
- Maghrabi T and Golshani F Automatic program generation using sequent calculus Proceedings of the 1992 ACM annual conference on Communications, (73-82)
- Tam W (1992). Teaching loop invariants to beginners by examples, ACM SIGCSE Bulletin, 24:1, (92-96), Online publication date: 1-Mar-1992.
- Tam W Teaching loop invariants to beginners by examples Proceedings of the twenty-third SIGCSE technical symposium on Computer science education, (92-96)
- Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
- Lukkien J and van de Snepscheut J (1992). Weakest preconditions for progress, Formal Aspects of Computing, 4:2, (195-236), Online publication date: 1-Mar-1992.
- Damy S and Perrin G Techniques for the design of communicating processes Proceedings of the 6th international workshop on Software specification and design, (67-74)
- Broy M Declarative specification and declarative programming Proceedings of the 6th international workshop on Software specification and design, (2-11)
- Kilov H (1991). Objects concepts and bibliography, ACM SIGPLAN Notices, 26:10, (11-12), Online publication date: 1-Oct-1991.
- Podgurski A Reliability, sampling, and algorithmic randomness Proceedings of the symposium on Testing, analysis, and verification, (11-20)
- Hennessy M (1991). A proof system for communicating processes with value-passing, Formal Aspects of Computing, 3:4, (346-366), Online publication date: 1-Oct-1991.
- Murphy D and Sanders J (1991). Book reviews, Formal Aspects of Computing, 3:2, (206-212), Online publication date: 1-Jun-1991.
- Balzer R Tolerating inconsistency Proceedings of the 13th international conference on Software engineering, (158-165)
- Höft H (1991). Implementation of a non-deterministic loop, ACM SIGCSE Bulletin, 23:2, (24-28), Online publication date: 1-May-1991.
- Lafontaine C, Ledru Y and Schobbens P (1991). An experiment in formal software development, Communications of the ACM, 34:5, (62-ff.), Online publication date: 1-May-1991.
- Pleasant J Systematic program development/proof using Dromey's method Proceedings of the 19th annual conference on Computer Science, (169-173)
- Oyang Y (1991). Exploiting multi-way branching to boost superscalar processor performance, ACM SIGPLAN Notices, 26:3, (68-78), Online publication date: 2-Jan-1991.
- Goldberg A (1990). Reusing software developments, ACM SIGSOFT Software Engineering Notes, 15:6, (107-119), Online publication date: 1-Dec-1990.
- Vishnubhotla P Fine-grain parallelism in the ALPS programming language Proceedings of the 1990 ACM/IEEE conference on Supercomputing, (506-514)
- Hvorecký J (1990). On a connection between programming and mathematics, ACM SIGCSE Bulletin, 22:4, (53-54), Online publication date: 1-Nov-1990.
- Kovats T (1990). A conservative alternative to pancode, ACM SIGPLAN Notices, 25:11, (80-84), Online publication date: 1-Nov-1990.
- Goldberg A Reusing software developments Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (107-119)
- Reddy U (1990). Formal methods in transformational derivation of programs, ACM SIGSOFT Software Engineering Notes, 15:4, (104-114), Online publication date: 1-Sep-1990.
- Wing J (1990). A Specifier's Introduction to Formal Methods, Computer, 23:9, (8-23), Online publication date: 1-Sep-1990.
- Jonsson D (1990). The flow of control notations pancode and boxcharts, ACM SIGPLAN Notices, 25:8, (106-119), Online publication date: 1-Aug-1990.
- Huang J (1990). State Constraints and Pathwise Decomposition of Programs, IEEE Transactions on Software Engineering, 16:8, (880-896), Online publication date: 1-Aug-1990.
- Pair C (1990). GRIN, IEEE Annals of the History of Computing, 12:3, (159-166), Online publication date: 1-Jul-1990.
- Guindon R (2018). Designing the design process, Human-Computer Interaction, 5:2, (305-344), Online publication date: 1-Jun-1990.
- Steele G and White J (1990). How to print floating-point numbers accurately, ACM SIGPLAN Notices, 25:6, (112-126), Online publication date: 1-Jun-1990.
- Steele G and White J How to print floating-point numbers accurately Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, (112-126)
- Rudolph B (1990). Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, 33:5, (563-576), Online publication date: 1-May-1990.
- Van Horebeek I and Lewi J (1990). Are constructive formal specifications less abstract?, ACM SIGPLAN Notices, 25:5, (60-68), Online publication date: 1-May-1990.
- Reddy U Formal methods in transformational derivation of programs Conference proceedings on Formal methods in software development, (104-114)
- Bishop J (1990). The Effect of Data Abstraction on Loop Programming Techniques, IEEE Transactions on Software Engineering, 16:4, (389-402), Online publication date: 1-Apr-1990.
- Lafontaine C, Ledru Y and Schobbens P An experiment in formal software development: using the B theorem prover on a VDM case study Proceedings of the 12th international conference on Software engineering, (34-42)
- Chen W A formal approach to program inversion Proceedings of the 1990 ACM annual conference on Cooperation, (398-403)
- Attie P, Francez N and Grumberg O Fairness and hyperfairness in multi-party interactions Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (292-305)
- Saraswat V and Rinard M Concurrent constraint programming Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (232-245)
- Moschovakis Y Computable process Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (72-80)
- Runciman C and Toyn I Retrieving re-usable software components by polymorphic type Proceedings of the fourth international conference on Functional programming languages and computer architecture, (166-173)
- van de Snepscheut J and Swenker J (1989). On the design of some systolic algorithms, Journal of the ACM, 36:4, (826-840), Online publication date: 1-Oct-1989.
- Merritt S (1989). A top down unification of minimum cost spanning tree algorithms, ACM SIGCOMM Computer Communication Review, 19:4, (116-127), Online publication date: 1-Aug-1989.
- Merritt S A top down unification of minimum cost spanning tree algorithms Symposium proceedings on Communications architectures & protocols, (116-127)
- Ramsey N (1989). Developing formally verified Ada programs, ACM SIGSOFT Software Engineering Notes, 14:3, (257-265), Online publication date: 1-May-1989.
- Kurki-Suonio R and Järvinen H (1989). Action system approach to the specification and design of distributed systems, ACM SIGSOFT Software Engineering Notes, 14:3, (34-40), Online publication date: 1-May-1989.
- Gerth R and Pnueli A (1989). Rooting UNITY, ACM SIGSOFT Software Engineering Notes, 14:3, (11-19), Online publication date: 1-May-1989.
- Mills H, Basili V, Gannon J and Hamlet R (1989). Mathematical Principles for a First Course in Software Engineering, IEEE Transactions on Software Engineering, 15:5, (550-559), Online publication date: 1-May-1989.
- Ramsey N Developing formally verified Ada programs Proceedings of the 5th international workshop on Software specification and design, (257-265)
- Kurki-Suonio R and Järvinen H Action system approach to the specification and design of distributed systems Proceedings of the 5th international workshop on Software specification and design, (34-40)
- Gerth R and Pnueli A Rooting UNITY Proceedings of the 5th international workshop on Software specification and design, (11-19)
- Backhouse R, Chisholm P, Malcolm G and Saaman E (1989). Do-it-yourself type theory, Formal Aspects of Computing, 1:1, (19-84), Online publication date: 1-Mar-1989.
- Luker P (1989). Never mind the language, what about the paradigm?, ACM SIGCSE Bulletin, 21:1, (252-256), Online publication date: 1-Feb-1989.
- Weems B (1989). Operations on sets of intervals - an exercise for data structures or algorithms, ACM SIGCSE Bulletin, 21:1, (174-176), Online publication date: 1-Feb-1989.
- Luker P Never mind the language, what about the paradigm? Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (252-256)
- Weems B Operations on sets of intervals - an exercise for data structures or algorithms Proceedings of the twentieth SIGCSE technical symposium on Computer science education, (174-176)
- Wing J and Nixon M (1989). Extending Ina Jo with Temporal Logic, IEEE Transactions on Software Engineering, 15:2, (181-197), Online publication date: 1-Feb-1989.
- Bauer F, Möller B, Partsch H and Pepper P (1989). Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming, IEEE Transactions on Software Engineering, 15:2, (165-180), Online publication date: 1-Feb-1989.
- Guaspari D Penelope, an Ada verification system Proceedings of the conference on Tri-Ada '89: Ada technology in context: application, development, and deployment, (216-224)
- Kovats T (1988). Comments on innovative control constructs in pancode and EPN, ACM SIGPLAN Notices, 23:12, (151-157), Online publication date: 1-Dec-1988.
- Holt R and Cordy J (1988). The Turing programming language, Communications of the ACM, 31:12, (1410-1423), Online publication date: 1-Dec-1988.
- Clark K (1988). PARLOG and its Applications, IEEE Transactions on Software Engineering, 14:12, (1792-1804), Online publication date: 1-Dec-1988.
- Manber U (1988). Using induction to design algorithms, Communications of the ACM, 31:11, (1300-1313), Online publication date: 1-Nov-1988.
- Davidson C (1988). Quicksort Revisited, IEEE Transactions on Software Engineering, 14:10, (1480-1481), Online publication date: 1-Oct-1988.
- Elmagarmid A, Soundararajan N and Liu M (1988). A Distributed Deadlock Detection and Resolution Algorithm and its Correctness Proof, IEEE Transactions on Software Engineering, 14:10, (1443-1452), Online publication date: 1-Oct-1988.
- Fetzer J (1988). Program verification: the very idea, Communications of the ACM, 31:9, (1048-1063), Online publication date: 1-Sep-1988.
- Murphy S and Shankar A (1988). Service specification and protocol construction for the transport layer, ACM SIGCOMM Computer Communication Review, 18:4, (88-97), Online publication date: 1-Aug-1988.
- Murphy S and Shankar A Service specification and protocol construction for the transport layer Symposium proceedings on Communications architectures and protocols, (88-97)
- Hemmendinger D (1988). The `Hamming' in Prolog, ACM SIGPLAN Notices, 23:6, (115-120), Online publication date: 1-Jun-1988.
- Damm W (1988). A Microprogramming Logic, IEEE Transactions on Software Engineering, 14:5, (559-574), Online publication date: 1-May-1988.
- Craigen D, Kromodimoeljo S, Meisels I, Neilson A, Pase B and Saaltink M m-EVES: A tool for verifying software Proceedings of the 10th international conference on Software engineering, (324-333)
- Hemmendinger D (1988). The “Hamming problem” in Prolog, ACM SIGPLAN Notices, 23:4, (81-86), Online publication date: 1-Apr-1988.
- Cherniak C (1988). Undebuggability and cognitive science, Communications of the ACM, 31:4, (402-412), Online publication date: 1-Apr-1988.
- Wolf A, Clarke L and Wileden J (1988). A Model of Visibility Control, IEEE Transactions on Software Engineering, 14:4, (512-520), Online publication date: 1-Apr-1988.
- Billington J, Wheeler G and Wilbur-Ham M (1988). PROTEAN, IEEE Transactions on Software Engineering, 14:3, (301-316), Online publication date: 1-Mar-1988.
- Zahn C (1988). A phased programming paradigm, ACM SIGCSE Bulletin, 20:1, (9-12), Online publication date: 1-Feb-1988.
- Zahn C A phased programming paradigm Proceedings of the nineteenth SIGCSE technical symposium on Computer science education, (9-12)
- Dromey R (1988). Systematic Program Development, IEEE Transactions on Software Engineering, 14:1, (12-29), Online publication date: 1-Jan-1988.
- Fullerton J (1987). An alternate design for Fortran 8X, ACM SIGPLAN Fortran Forum, 6:3, (31-40), Online publication date: 1-Dec-1987.
- Murphy S and Shankar A (1987). A verified connection management protocol for the transport layer, ACM SIGCOMM Computer Communication Review, 17:5, (110-125), Online publication date: 1-Oct-1987.
- Manna Z and Pnueli A Specification and verification of concurrent programs by A ∀ automata Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (1-2)
- Hsu Y, Pan Y and Kubitz W A path selection global touter Proceedings of the 24th ACM/IEEE Design Automation Conference, (641-644)
- Murphy S and Shankar A A verified connection management protocol for the transport layer Proceedings of the ACM workshop on Frontiers in computer communications technology, (110-125)
- Hoare C, Hayes I, Jifeng H, Morgan C, Roscoe A, Sanders J, Sorensen I, Spivey J and Sufrin B (1987). Laws of programming, Communications of the ACM, 30:8, (672-686), Online publication date: 1-Aug-1987.
- Bril R (1987). On cacheability of lock-variables in tightly coupled multiprocessor systems, ACM SIGARCH Computer Architecture News, 15:3, (25-32), Online publication date: 1-Jul-1987.
- Shankar A and Lam S (1987). Time-dependent distributed systems, Distributed Computing, 2:2, (61-79), Online publication date: 1-Jun-1987.
- Bunda J (1987). APL function definition notation, ACM SIGAPL APL Quote Quad, 17:4, (253-255), Online publication date: 1-May-1987.
- Perry D Software interconnection models Proceedings of the 9th international conference on Software Engineering, (61-69)
- Mills H, Basili V, Gannon J and Hamlet R Teaching principles of computer programming Proceedings of the 15th annual conference on Computer Science, (336-341)
- Bunda J APL function definition notation Proceedings of the international conference on APL: APL in transition, (253-255)
- Robillard P (1986). Schematic pseudocode for program constructs and its computer automation by SCHEMACODE, Communications of the ACM, 29:11, (1072-1089), Online publication date: 1-Nov-1986.
- Shankar A A verified sliding window protocol with variable flow control Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, (84-91)
- Shankar A (1986). A verified sliding window protocol with variable flow control, ACM SIGCOMM Computer Communication Review, 16:3, (84-91), Online publication date: 1-Aug-1986.
- Boehm H and Demers A (1986). Implementing RUSSELL, ACM SIGPLAN Notices, 21:7, (186-195), Online publication date: 1-Jul-1986.
- Boehm H and Demers A Implementing RUSSELL Proceedings of the 1986 SIGPLAN symposium on Compiler construction, (186-195)
- Ito N, Sato M, Kuno E and Rokusawa K The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D Proceedings of the 13th annual international symposium on Computer architecture, (149-156)
- Sergot M, Sadri F, Kowalski R, Kriwaczek F, Hammond P and Cory H (1986). The British Nationality Act as a logic program, Communications of the ACM, 29:5, (370-386), Online publication date: 1-May-1986.
- Berzins V, Gray M and Naumann D (1986). Abstraction-based software development, Communications of the ACM, 29:5, (402-415), Online publication date: 1-May-1986.
- Ito N, Sato M, Kuno E and Rokusawa K (1986). The architecture and preliminary evaluation results of the experimental parallel inference machine PIM-D, ACM SIGARCH Computer Architecture News, 14:2, (149-156), Online publication date: 1-May-1986.
- Bentley J, Sleator D, Tarjan R and Wei V (1986). A locally adaptive data compression scheme, Communications of the ACM, 29:4, (320-330), Online publication date: 1-Apr-1986.
- Botting R (1986). Into the fourth dimension—an introduction to dynamic analysis and design, ACM SIGSOFT Software Engineering Notes, 11:2, (36-48), Online publication date: 1-Apr-1986.
- Shock R An algorithm for batch updates Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (233-236)
- Habermann A Technological advances in software engineering Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (29-37)
- Lengauer C and Huang C A mechanically certified theorem about optimal concurrency of sorting networks Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (307-317)
- Cohen A and Myers T (1985). Information sharing, ACM SIGPLAN Notices, 20:9, (27-31), Online publication date: 1-Sep-1985.
- Ellman T Generalizing logic circuit designs by analyzing proofs of correctness Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1, (643-646)
- (1985). Old-fashioned logic for verification, ACM SIGSOFT Software Engineering Notes, 10:4, (87-89), Online publication date: 1-Aug-1985.
- Saaltink M (1985). Relational semantics, ACM SIGSOFT Software Engineering Notes, 10:4, (82-83), Online publication date: 1-Aug-1985.
- Dershowitz N (1985). Program abstraction and instantiation, ACM Transactions on Programming Languages and Systems, 7:3, (446-477), Online publication date: 1-Jul-1985.
- Nelson G Juno, a constraint-based graphics system Proceedings of the 12th annual conference on Computer graphics and interactive techniques, (235-243)
- Nelson G (1985). Juno, a constraint-based graphics system, ACM SIGGRAPH Computer Graphics, 19:3, (235-243), Online publication date: 1-Jul-1985.
- Gries D and Prins J (1985). A new notion of encapsulation, ACM SIGPLAN Notices, 20:7, (131-139), Online publication date: 1-Jul-1985.
- Gries D and Prins J A new notion of encapsulation Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, (131-139)
- Harel D A general result on infinite trees and its applications Proceedings of the sixteenth annual ACM symposium on Theory of computing, (418-427)
- Barringer H, Kuiper R and Pnueli A Now you may compose temporal logic specifications Proceedings of the sixteenth annual ACM symposium on Theory of computing, (51-63)
- Gerth R Transition logic Proceedings of the sixteenth annual ACM symposium on Theory of computing, (39-50)
- Damm W An axiomatization of low-level parallelism in microarchitectures Proceedings of the 17th annual workshop on Microprogramming, (314-323)
- Gries R and Woodward J Software tools used in the development of a VLSI VAX Microcomputer Proceedings of the 17th annual workshop on Microprogramming, (55-58)
- Damm W (1984). An axiomatization of low-level parallelism in microarchitectures, ACM SIGMICRO Newsletter, 15:4, (314-323), Online publication date: 1-Dec-1984.
- Gries R and Woodward J (1984). Software tools used in the development of a VLSI VAX Microcomputer, ACM SIGMICRO Newsletter, 15:4, (55-58), Online publication date: 1-Dec-1984.
- Winner R (1984). Unassigned objects, ACM Transactions on Programming Languages and Systems, 6:4, (449-467), Online publication date: 1-Oct-1984.
- Kusalik A (1984). Serialization of process reduction in Concurrent Prolog, New Generation Computing, 2:3, (289-298), Online publication date: 1-Sep-1984.
- Grumberg O, Francez N and Katz S Fair termination of communicating processes Proceedings of the third annual ACM symposium on Principles of distributed computing, (254-265)
- Givler J and Kieburtz R Schema recognition for program transformations Proceedings of the 1984 ACM Symposium on LISP and functional programming, (74-84)
- Kelly V The CRITTER system Proceedings of the 21st Design Automation Conference, (419-425)
- Clow G A global routing algorithm for general cells Proceedings of the 21st Design Automation Conference, (45-51)
- Diaz-Herrera J (1984). Pragmatic problems with step-wise refinement program development, ACM SIGSOFT Software Engineering Notes, 9:2, (80-88), Online publication date: 1-Apr-1984.
- Chyou S Structure charts and program correctness proofs Proceedings of the 7th international conference on Software engineering, (486-498)
- Chong K and Hsia P Diagnostic system for distributed software Proceedings of the 7th international conference on Software engineering, (30-40)
- Hehner E (1984). Predicative programming Part I, Communications of the ACM, 27:2, (134-143), Online publication date: 1-Feb-1984.
- Halpern J A good Hoare axiom system for an ALGOL-like language Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (262-271)
- Shapiro E Systems programming in concurrent prolog Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (93-105)
- Francez N and Kozen D Generalized fair termination Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (46-53)
- Reps T and Alpern B Interactive proof checking Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (36-45)
- Szymanski B, Prywes N, Lock E and Pnueli A On the scope of static checking in definitional languages Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, (197-207)
- Pritchard P (1984). Some negative results concerning prime number generators, Communications of the ACM, 27:1, (53-57), Online publication date: 1-Jan-1984.
- Olderog E A characterization of Hoare's logic for programs with Pascal-like procedures Proceedings of the fifteenth annual ACM symposium on Theory of computing, (320-329)
- Gabow H and Tarjan R A linear-time algorithm for a special case of disjoint set union Proceedings of the fifteenth annual ACM symposium on Theory of computing, (246-251)
- Sleator D and Tarjan R Self-adjusting binary trees Proceedings of the fifteenth annual ACM symposium on Theory of computing, (235-245)
- Wagner A and Dasgupta S (1983). Axiomatic proof rules for a machine-specific microprogramming language, ACM SIGMICRO Newsletter, 14:4, (151-158), Online publication date: 1-Dec-1983.
- Winner R and Carter E (1983). Toward type-oriented dynamic vertical migration, ACM SIGMICRO Newsletter, 14:4, (128-139), Online publication date: 1-Dec-1983.
- Wagnon G and Maine D (1983). An E-Machine workbench, ACM SIGMICRO Newsletter, 14:4, (101-111), Online publication date: 1-Dec-1983.
- Pitchumani V and Stabler E (1983). An Inductive Assertion Method for Register Transfer Level Design Verification, IEEE Transactions on Computers, 32:12, (1073-1080), Online publication date: 1-Dec-1983.
- Wile D (1983). Program developments, Communications of the ACM, 26:11, (902-911), Online publication date: 1-Nov-1983.
- Kessels J (1983). On-the-fly optimization of data structures, Communications of the ACM, 26:11, (895-901), Online publication date: 1-Nov-1983.
- Molluzzo J (1983). A curriculum for a University course in advanced COBOL, ACM SIGCSE Bulletin, 15:3, (44-49), Online publication date: 1-Sep-1983.
- Remmers J (1983). Should we really teach more about the GOTO? (a reaction to an article by H.D. Shapiro), ACM SIGCSE Bulletin, 15:3, (36-39), Online publication date: 1-Sep-1983.
- Moitra A Synthesis of communicating processes Proceedings of the second annual ACM symposium on Principles of distributed computing, (123-130)
- Parnas D (1983). A generalized control structure and its formal definition, Communications of the ACM, 26:8, (572-581), Online publication date: 1-Aug-1983.
- McFarland M and Parker A (1983). An Abstract Model of Behavior for Hardware Descriptions, IEEE Transactions on Computers, 32:7, (621-637), Online publication date: 1-Jul-1983.
- Francis R (1983). Containment defines a class of recursive data structures, ACM SIGPLAN Notices, 18:4, (58-64), Online publication date: 1-Apr-1983.
- Jacob R (1983). Using formal specifications in the design of a human-computer interface, Communications of the ACM, 26:4, (259-264), Online publication date: 1-Apr-1983.
- Culik K and Rizki M Logic versus mathematics in computer science education Proceedings of the fourteenth SIGCSE technical symposium on Computer science education, (14-20)
- Culik K and Rizki M (1983). Logic versus mathematics in computer science education, ACM SIGCSE Bulletin, 15:1, (14-20), Online publication date: 1-Feb-1983.
- Paige R Transformational programming Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (73-87)
- Nelson G Verifying reachability invariants of linked structures Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (38-47)
- Dixon J, McLean J and Parnas D (1982). Rapid prototyping by means of abstract module specifications written as trace axioms, ACM SIGSOFT Software Engineering Notes, 7:5, (45-49), Online publication date: 1-Dec-1982.
- Li W An operational semantics of multitasking and exception handling in Ada Proceedings of the AdaTEC Conference on Ada, (138-151)
- Schlichting R and Schneider F Understanding and using asynchronous message passing (Preliminary Version) Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, (141-147)
- Wise M A parallel Prolog Proceedings of the 1982 ACM symposium on LISP and functional programming, (56-66)
- Jeffords R (1982). Technical correspondence, Communications of the ACM, 25:6, (390-392), Online publication date: 1-Jun-1982.
- Crockett D (1982). Technical correspondence, Communications of the ACM, 25:6, (391-392), Online publication date: 1-Jun-1982.
- Wills J (1982). Technical correspondence, Communications of the ACM, 25:6, (389-390), Online publication date: 1-Jun-1982.
- Levy M (1982). Modularity and the sequential file update problem, Communications of the ACM, 25:6, (362-367), Online publication date: 1-Jun-1982.
- Cristian F (1982). Exception Handling and Software Fault Tolerance, IEEE Transactions on Computers, 31:6, (531-540), Online publication date: 1-Jun-1982.
- de Bakker J and Zucker J Denotational semantics of concurrency Proceedings of the fourteenth annual ACM symposium on Theory of computing, (153-158)
- Suzuki N (1982). Analysis of pointer “rotation”, Communications of the ACM, 25:5, (330-335), Online publication date: 1-May-1982.
- Bitner J (1982). An Asymptotically Optimal Algorithm for the Dutch National Flag Problem, SIAM Journal on Computing, 11:2, (243-262), Online publication date: 1-May-1982.
- Dixon J, McLean J and Parnas D Rapid prototyping by means of abstract module specifications written as trace axioms Proceedings of the workshop on Rapid prototyping, (45-49)
- Reddy U Programming with sequences Proceedings of the 20th annual ACM Southeast Regional Conference, (189-198)
- Coulter N Information hiding, the Intel iAPX 432,and Ada Proceedings of the 20th annual ACM Southeast Regional Conference, (160-167)
- Landwehr C (1982). Technical correspondence, Communications of the ACM, 25:4, (292), Online publication date: 1-Apr-1982.
- Sherman R, Pnueli A and Harel D Is the interesting part of process logic uninteresting? Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (347-360)
- Clarke E, German S and Halpern J On effective axiomatizations of Hoare logics Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (309-321)
- Boehm H A logic for expressions with side-effects Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (268-280)
- Frank G Specification of data structures for FP programs Proceedings of the 1981 conference on Functional programming languages and computer architecture, (221-228)
- Clark K and Gregory S A relational language for parallel programming Proceedings of the 1981 conference on Functional programming languages and computer architecture, (171-178)
- Narayana K and Clint M (1981). On the formal treatment of a permutation finding program, ACM SIGPLAN Notices, 16:10, (62-73), Online publication date: 1-Oct-1981.
- Borgida A and Wong H Data models and data manipulation languages Proceedings of the seventh international conference on Very Large Data Bases - Volume 7, (260-271)
- Brodie M On modelling behavioural semantics of databases Proceedings of the seventh international conference on Very Large Data Bases - Volume 7, (32-42)
- Richards D (1981). On the file update problems, ACM SIGCSE Bulletin, 13:3, (38-39), Online publication date: 1-Sep-1981.
- Dwyer B (1981). Technical correspondence, Communications of the ACM, 24:8, (538-539), Online publication date: 1-Aug-1981.
- Peterson W (1981). Technical correspondence, Communications of the ACM, 24:8, (536-538), Online publication date: 1-Aug-1981.
- Parnas D (1981). Lastig gepreek uit nuenen, ACM SIGSOFT Software Engineering Notes, 6:3, (64-65), Online publication date: 1-Jul-1981.
- McFarland M On proving the correctness of optimizing transformations in a digital design automation system Proceedings of the 18th Design Automation Conference, (90-97)
- Redwine S (1981). A paradigm for dealing with exceptions, ACM SIGPLAN Notices, 16:5, (36-38), Online publication date: 1-May-1981.
- Flon L and Suzuki N (1981). The Total Correctness of Parallel Programs, SIAM Journal on Computing, 10:2, (227-246), Online publication date: 1-May-1981.
- Kylov H and Nudelman S (1981). Structured programs in PL/I, ACM SIGPLAN Notices, 16:4, (68-69), Online publication date: 1-Apr-1981.
- Hamilton D (1981). We have met the enemy and she is us, ACM SIGSOFT Software Engineering Notes, 6:2, (18-22), Online publication date: 1-Apr-1981.
- Lingard R A software methodology for building interactive tools Proceedings of the 5th international conference on Software engineering, (394-399)
- Andrews G (1981). Parallel programs, Communications of the ACM, 24:3, (140-145), Online publication date: 1-Mar-1981.
- Riley D Teaching problem solving in an introductory computer science class Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (244-251)
- Riley D (1981). Teaching problem solving in an introductory computer science class, ACM SIGCSE Bulletin, 13:1, (244-251), Online publication date: 1-Feb-1981.
- Polak W Program verification based on denotation semantics Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (149-158)
- Cartwright R, Hood R and Matthews P Paths Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-27)
- Logrippo L Input-directed program design Proceedings of the ACM '81 conference, (263-267)
- Beale N and Jones P An ADATM compatible specification language Proceedings of the ACM '81 conference, (139-143)
- Dwyer B (1981). One more time — how to update a master file, Communications of the ACM, 24:1, (3-8), Online publication date: 1-Jan-1981.
- Johnson L (1980). do considered obviously odd in three dimensions, ACM SIGPLAN Notices, 15:12, (44-44), Online publication date: 1-Dec-1980.
- Johnson L (1980). do considered reflectively, ACM SIGPLAN Notices, 15:12, (43-43), Online publication date: 1-Dec-1980.
- Bernstein P, Blaustein B and Clarke E Fast maintenance of semantic integrity assertions using redundant aggregate data Proceedings of the sixth international conference on Very Large Data Bases - Volume 6, (126-136)
- Kung H and Lehman P (1980). Concurrent manipulation of binary search trees, ACM Transactions on Database Systems, 5:3, (354-382), Online publication date: 1-Sep-1980.
- Casanova M and Bernstein P (1980). A Formal System for Reasoning about Programs Accessing a Relational Database, ACM Transactions on Programming Languages and Systems, 2:3, (386-414), Online publication date: 1-Jul-1980.
- Broy M and Krieg-Bruckner B (1980). Derivation of Invariant Assertions During Program Development by Transformation, ACM Transactions on Programming Languages and Systems, 2:3, (321-337), Online publication date: 1-Jul-1980.
- Wasserman A The design of PLAIN Proceedings of the May 19-22, 1980, national computer conference, (731-740)
- Pratt V Dynamic algebras and the nature of induction Proceedings of the twelfth annual ACM symposium on Theory of computing, (22-28)
- Cohen N (1980). Gödel numbers, ACM SIGPLAN Notices, 15:4, (70-74), Online publication date: 1-Apr-1980.
- Ellison R A programming sequence for the liberal arts college Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (161-164)
- Ellison R (1980). A programming sequence for the liberal arts college, ACM SIGCSE Bulletin, 12:1, (161-164), Online publication date: 1-Feb-1980.
- Boute R (1980). Simplifying ADA by removing limitations, ACM SIGPLAN Notices, 15:2, (17-29), Online publication date: 1-Feb-1980.
- Hennessy M (1980). The Semantics of Call-By-Value and Call-By-Name in a Nondeterministic Environment, SIAM Journal on Computing, 9:1, (67-84), Online publication date: 1-Feb-1980.
- Guttag J and Horning J Formal specification as a design tool Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (251-261)
- Meyer A and Halpern J Axiomatic definitions of programming languages Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (203-212)
- Moss C (1980). Structured programming with loop statements, ACM SIGPLAN Notices, 15:1, (86-94), Online publication date: 1-Jan-1980.
- Orr K Structured programming in the 1980s Proceedings of the ACM 1980 annual conference, (323-326)
- Keller R (1979). On selective and repetitive constructs, ACM SIGPLAN Notices, 14:11, (60-63), Online publication date: 1-Nov-1979.
- Wertz H A system to improve incorrect programs Proceedings of the 4th international conference on Software engineering, (286-293)
- Blikle A On correct program development Proceedings of the 4th international conference on Software engineering, (164-173)
- Ploedereder E Pragmatic techniques for program analysis and verification Proceedings of the 4th international conference on Software engineering, (63-72)
- Boehm B Software engineering-as it is Proceedings of the 4th international conference on Software engineering, (11-21)
- Anson E The semantics of graphical input Proceedings of the 6th annual conference on Computer graphics and interactive techniques, (113-120)
- Anson E (1979). The semantics of graphical input, ACM SIGGRAPH Computer Graphics, 13:2, (113-120), Online publication date: 1-Aug-1979.
- Denvir B (1979). On orthogonality in programming languages, ACM SIGPLAN Notices, 14:7, (18-30), Online publication date: 1-Jul-1979.
- Winograd T (1979). Beyond programming languages, Communications of the ACM, 22:7, (391-401), Online publication date: 1-Jul-1979.
- Reynolds J (1979). Reasoning about arrays, Communications of the ACM, 22:5, (290-299), Online publication date: 1-May-1979.
- Lamport L (1979). A general construction for expressing repetition, ACM SIGPLAN Notices, 14:3, (38-42), Online publication date: 1-Mar-1979.
- Trickey H and Lee E (1979). Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer, ACM SIGCSE Bulletin, 11:1, (240-244), Online publication date: 1-Feb-1979.
- Hyde D, Gay B and Utter D (1979). The integration of a Problem Solving Process in the first course, ACM SIGCSE Bulletin, 11:1, (54-59), Online publication date: 1-Feb-1979.
- Calm F and White J An extension to algebraic specifications to incorporate state behavior Proceedings of the 1979 annual conference, (212-220)
- Adams J, Armstrong J and Smartt M Assertional checking and symbolic execution Proceedings of the 1979 annual conference, (152-156)
- Meertens L Abstracto 84 Proceedings of the 1979 annual conference, (33-39)
- Trickey H and Lee E Experience with OLGA A Maximal language for the minimal PDP-11 minicomputer Proceedings of the tenth SIGCSE technical symposium on Computer science education, (240-244)
- Hyde D, Gay B and Utter D The integration of a Problem Solving Process in the first course Proceedings of the tenth SIGCSE technical symposium on Computer science education, (54-59)
- Cousot P and Cousot R Systematic design of program analysis frameworks Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (269-282)
- Andler S Predicate path expressions Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (226-236)
- Greif I and Meyer A Specifying programming language semantics Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (180-189)
- Pratt V Process logic Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (93-100)
- Constable R and Johnson S A PL/CV precis Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (7-20)
- Biggerstaff T Factored Specifications In The Synthesis Of LISP Functions Proceedings of the 1978 annual conference, (393-402)
- Dasgupta S (1978). Towards a microprogramming language schema, ACM SIGMICRO Newsletter, 9:4, (144-153), Online publication date: 1-Dec-1978.
- Budkowski S and Dembinski P (1978). Firmware versus software verification, ACM SIGMICRO Newsletter, 9:4, (119-127), Online publication date: 1-Dec-1978.
- Dasgupta S Towards a microprogramming language schema Proceedings of the 11th annual workshop on Microprogramming, (144-153)
- Budkowski S and Dembinski P Firmware versus software verification Proceedings of the 11th annual workshop on Microprogramming, (119-127)
- Friedman D and Wise D (1978). A note on conditional expressions, Communications of the ACM, 21:11, (931-933), Online publication date: 1-Nov-1978.
- McMaster C (1978). An analysis of algorithms for the Dutch National Flag Problem, Communications of the ACM, 21:10, (842-846), Online publication date: 1-Oct-1978.
- Kemp F (1978). Design of a structured APL, ACM SIGAPL APL Quote Quad, 9:1, (11-13), Online publication date: 1-Sep-1978.
- Backus J (1978). The history of FORTRAN I, II, and III, ACM SIGPLAN Notices, 13:8, (165-180), Online publication date: 1-Aug-1978.
- Backus J (1978). Can programming be liberated from the von Neumann style?, Communications of the ACM, 21:8, (613-641), Online publication date: 1-Aug-1978.
- Postma S (1978). FEA, ACM SIGPLAN Notices, 13:7, (43-59), Online publication date: 1-Jul-1978.
- Wertz H (1978). A system to understand incorrect programs, ACM Lisp Bulletin:2, (27-34), Online publication date: 1-Jul-1978.
- Tarjan R (2006). Complexity of Combinatorial Algorithms, SIAM Review, 20:3, (457-491), Online publication date: 1-Jul-1978.
- Bergland G Structured design methodologies Proceedings of the 15th Design Automation Conference, (475-493)
- Backus J The history of Fortran I, II, and III History of programming languages, (25-74)
- Parnas D Designing software for ease of extension and contraction Proceedings of the 3rd international conference on Software engineering, (264-277)
- Boyd D and Pizzarello A Introduction to the WELLMADE design methodology Proceedings of the 3rd international conference on Software engineering, (94-100)
- (1978). Letters to the Editor, Interfaces, 8:3, (113-117), Online publication date: 1-May-1978.
- Pratt V A practical decision method for propositional dynamic logic (Preliminary Report) Proceedings of the tenth annual ACM symposium on Theory of computing, (326-337)
- Weiner L The roots of structured programming Papers of the SIGCSE/CSA technical symposium on Computer science education, (243-254)
- Chvalovsky V Computer science education at universities Papers of the SIGCSE/CSA technical symposium on Computer science education, (41-47)
- Weiner L (1978). The roots of structured programming, ACM SIGCSE Bulletin, 10:1, (243-254), Online publication date: 1-Feb-1978.
- Chvalovsky V (1978). Computer science education at universities, ACM SIGCSE Bulletin, 10:1, (41-47), Online publication date: 1-Feb-1978.
- Duran J Heuristics for program synthesis using loop invariants Proceedings of the 1978 annual conference - Volume 2, (891-900)
- Nordström B Assignments and high level data types Proceedings of the 1978 annual conference - Volume 2, (630-638)
- Mohan C (1978). Survey of recent operating systems research, designs and implementations, ACM SIGOPS Operating Systems Review, 12:1, (53-89), Online publication date: 1-Jan-1978.
- Harel D and Pratt V Nondeterminism in logics of programs Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (203-213)
- Sedgwick A (1977). Structuring control in Fortran, ACM SIGPLAN Notices, 12:11, (55-60), Online publication date: 1-Nov-1977.
- Lindsey C (1977). Structure charts a structured alternative to flowcharts, ACM SIGPLAN Notices, 12:11, (36-49), Online publication date: 1-Nov-1977.
- Gerber A (1977). Process synchronization by counter variables, ACM SIGOPS Operating Systems Review, 11:4, (6-17), Online publication date: 1-Oct-1977.
- Keller R (1977). On control constructs for constructing programs, ACM SIGPLAN Notices, 12:9, (36-44), Online publication date: 1-Sep-1977.
- Shabe G, Peck S and Hickey R Team dynamics in systems development and management Proceedings of the fifteenth annual SIGCPR conference, (164-189)
- Manna Z and Waldinger R The automatic synthesis of recursive programs Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (29-36)
- Yelowitz L and Duncan A Abstractions, instantiations, and proofs of marking algorithms Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (13-21)
- Cousot P and Cousot R Automatic synthesis of optimal invariant assertions Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (1-12)
- Earnshaw R (1977). Line generation for incremental and raster devices, ACM SIGGRAPH Computer Graphics, 11:2, (199-205), Online publication date: 1-Aug-1977.
- Manna Z and Waldinger R (1977). The automatic synthesis of recursive programs, ACM SIGART Bulletin:64, (29-36), Online publication date: 1-Aug-1977.
- Yelowitz L and Duncan A (1977). Abstractions, instantiations, and proofs of marking algorithms, ACM SIGART Bulletin:64, (13-21), Online publication date: 1-Aug-1977.
- Cousot P and Cousot R (1977). Automatic synthesis of optimal invariant assertions, ACM SIGART Bulletin:64, (1-12), Online publication date: 1-Aug-1977.
- Manna Z and Waldinger R (1977). The automatic synthesis of recursive programs, ACM SIGPLAN Notices, 12:8, (29-36), Online publication date: 1-Aug-1977.
- Yelowitz L and Duncan A (1977). Abstractions, instantiations, and proofs of marking algorithms, ACM SIGPLAN Notices, 12:8, (13-21), Online publication date: 1-Aug-1977.
- Cousot P and Cousot R (1977). Automatic synthesis of optimal invariant assertions, ACM SIGPLAN Notices, 12:8, (1-12), Online publication date: 1-Aug-1977.
- Earnshaw R Line generation for incremental and raster devices Proceedings of the 4th annual conference on Computer graphics and interactive techniques, (199-205)
- van der Meulen S (1977). ALGOL 68 might-have-beens, ACM SIGPLAN Notices, 12:6, (1-18), Online publication date: 1-Jun-1977.
- Hennessy M and Ashcroft E Parameter-passing mechanisms and nondeterminism Proceedings of the ninth annual ACM symposium on Theory of computing, (306-311)
- Constable R On the theory of programming logics Proceedings of the ninth annual ACM symposium on Theory of computing, (269-285)
- Harel D, Meyer A and Pratt V Computability and completeness in logics of programs (Preliminary Report) Proceedings of the ninth annual ACM symposium on Theory of computing, (261-268)
- Popek G, Horning J, Lampson B, Mitchell J and London R (1977). Notes on the design of Euclid, ACM SIGOPS Operating Systems Review, 11:2, (11-18), Online publication date: 1-Apr-1977.
- van der Meulen S ALGOL 68 might-have-beens Proceedings of the Strathclyde ALGOL 68 conference, (1-18)
- Popek G, Horning J, Lampson B, Mitchell J and London R Notes on the design of Euclid Proceedings of an ACM conference on Language design for reliable software, (11-18)
- Popek G, Horning J, Lampson B, Mitchell J and London R (1977). Notes on the design of Euclid, ACM SIGSOFT Software Engineering Notes, 2:2, (11-18), Online publication date: 1-Mar-1977.
- Popek G, Horning J, Lampson B, Mitchell J and London R (1977). Notes on the design of Euclid, ACM SIGPLAN Notices, 12:3, (11-18), Online publication date: 1-Mar-1977.
- Steele G Debunking the “expensive procedure call” myth or, procedure call implementations considered harmful or, LAMBDA Proceedings of the 1977 annual conference, (153-162)
- Hehner E Structuring Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (201-205)
- Dershowitz N and Manna Z The evolution of programs Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (144-154)
- Wegner P (1976). Programming Languages The First 25 Years, IEEE Transactions on Computers, 25:12, (1207-1225), Online publication date: 1-Dec-1976.
- Wegner P Research paradigms in computer science Proceedings of the 2nd international conference on Software engineering, (322-330)
- Scott D (1976). Data Types as Lattices, SIAM Journal on Computing, 5:3, (522-587), Online publication date: 1-Sep-1976.
- Aguzzoli S A linear space decision procedure for Gödel propositional logic 2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), (194-200)
Index Terms
- A Discipline of Programming
Recommendations
Mixed-integer quadratic programming
This paper considers mixed-integer quadratic programs in which the objective function is quadratic in the integer and in the continuous variables, and the constraints are linear in the variables of both types. The generalized Benders' decomposition is a ...
The Sequential Unconstrained Minimization Technique for Nonlinear Programing, a Primal-Dual Method
This article is based on an idea proposed by C. W. Carroll for transforming a mathematical programming problem into a sequence of unconstrained minimization problems. It describes the theoretical validation of Carroll's proposal for the convex ...
On linear programming relaxations for solving polynomial programming problems
Highlights- Theoretically compared the tightness of the J-set relaxation with the recursive McCormick relaxations.
AbstractThis paper studies linear programming (LP) relaxations for solving polynomial programming problems. A polynomial programming problem can be equivalently formulated as a quadratically constrained quadratic program (QCQP) by introducing ...