Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 11
Volume 11, Number 1, January 2004
- Andrea De Lucia
, James R. Cordy, John Mylopoulos:
Introduction. 5-6 - Ana L. Milanova, Atanas Rountev, Barbara G. Ryder:
Precise Call Graphs for C Programs with Function Pointers. 7-26 - Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David W. Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya:
Syntax-Directed Amorphous Slicing. 27-61 - Hon Fung Li, Juergen Rilling, Dhrubajyoti Goswami:
Granularity-Driven Dynamic Predicate Slicing Algorithms for Message Passing Systems. 63-89 - Alan Bundy:
Desert Island Column. 91-92
Volume 11, Number 2, April 2004
- Ramesh Bharadwaj, Robert J. Hall:
Introduction. 99 - Abhik Roychoudhury, I. V. Ramakrishnan:
Inductively Verifying Invariant Properties of Parameterized Systems. 101-139 - Yannick Chevalier, Laurent Vigneron:
Strategy for Verifying Security Protocols with Unbounded Message Size. 141-166 - Ludovic Apvrille, Pierre de Saqui-Sannes, Patrick Sénac, Christophe Lohr:
Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System. 167-191 - David S. Wile:
Desert Island Reading Assignment. 193-196
Volume 11, Number 3, June 2004
- Carlo Ghezzi, Paola Inverardi:
Introduction to Special Issue on Distributed and Mobile Software Engineering. 203-205 - Cecilia Mascolo, Gian Pietro Picco, Gruia-Catalin Roman:
CODEWEAVE: Exploring Fine-Grained Mobility of Code. 207-243 - Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. 245-288 - Massimo Franceschet, Angelo Montanari, Maarten de Rijke:
Model Checking for Combined Logics with an Application to Mobile Systems. 289-321 - David M. Weiss:
Desert Island Column: Saving Software Engineering. 323-326
Volume 11, Number 4, October 2004
- Michael Goedicke, Martin S. Feather:
Guest Editors' Introduction. 335 - Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen:
Automatically Restructuring Programs for the Web. 337-364 - Twan Basten, Dragan Bosnacki, Marc Geilen:
Cluster-Based Partial-Order Reduction. 365-402 - Sarfraz Khurshid, Darko Marinov:
TestEra: Specification-Based Testing of Java Programs Using SAT. 403-434
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 18:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
