• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 57 matches

• 2015
• 
  Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta:
  Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC 2015: 385-392
• 
  Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
  Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates. APSEC 2015: 159-166
• 
  Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami:
  Abstract Accountability Language: Translation, Compliance and Application. APSEC 2015: 214-221
• 
  Puneet Bhateja:
  Designing Distributed Systems w.r.t. Conformance. APSEC 2015: 104-110
• 
  Chun Cao, Huating Liu, Ziling Lu, Ping Yu:
  Versioning Distributed Transactions for Dynamic Component Reconfiguration. APSEC 2015: 48-55
• 
  Anna Marie Fortuito, Moshiur Bhuiyan, Farzana Haque, Luba Shabnam, Aneesh Krishna, P. W. Chandana Prasad:
  Citizen's Charter Driven Service Area Improvement. APSEC 2015: 401-408
• 
  Devleena Ghosh, Chittaranjan Mandal:
  Layout Validation Using Graph Grammar and Generation of Yard Specific Safety Properties for Railway Interlocking Verification. APSEC 2015: 330-337
• 
  Suresh Chand Gupta, Anita Goel:
  Software Defined Storage Technology. APSEC 2015: 6-7
• 
  Yiyang Hao, Hironori Washizaki, Yoshiaki Fukazawa:
  A Third-Party Extension Support Framework Using Patterns. APSEC 2015: 198-205
• 
  Kengo Hayashi, Mikio Aoyama, Keiji Kobata:
  A Concurrent Feedback Development Method and Its Application to Automotive Software Development. APSEC 2015: 362-369
• 
  Regina Hebig, Djamel Eddine Khelladi, Reda Bendraou:
  Surveying the Corpus of Model Resolution Strategies for Metamodel Evolution. APSEC 2015: 135-142
• 
  Mike Hinchey:
  Evolving Critical Systems. APSEC 2015: 1
• 
  Navinderjit Kaur Kahlon, Kuljit Kaur Chahal, Salil Vishnu Kapur, Sukhleen Bindra Narang:
  Managing Availability of web services in service oriented systems. APSEC 2015: 316-321
• 
  Manabu Kamimura, Akihiko Matsuo, Yoshiharu Maeda:
  Measuring Business Logic Complexity in Software Systems. APSEC 2015: 370-376
• 
  Damodaram Kamma, Pankaj Jalote:
  High Productivity Programmers Use Effective Task Processes in Unit-Testing. APSEC 2015: 32-39
• 
  Eun-Young Kang, Liu Ke, Meng-Zhe Hua, Yu-Xuan Wang:
  Verifying Automotive Systems in EAST-ADL/Stateflow Using UPPAAL. APSEC 2015: 143-150
• 
  Bilal Karasneh, Rodi Jolak, Michel R. V. Chaudron:
  Using Examples for Teaching Software Design: An Experiment Using a Repository of UML Class Diagrams. APSEC 2015: 261-268
• 
  Tomoyuki Kawamura, Kenichi Takano:
  Development of Project Outcome Prediction System for an IT Vendor. APSEC 2015: 338-345
• 
  Niloofar Khedri, Ramtin Khosravi:
  Incremental Variability Management in Conceptual Data Models of Software Product Lines. APSEC 2015: 222-229
• 
  Lov Kumar, Santanu Kumar Rath:
  Quality Assessment of Web Services Using Multivariate Adaptive Regression Splines. APSEC 2015: 238-245
• 
  Jimin Ling, Li Zhang:
  Generating Hierarchical Reference Process Model Using Fragments Clustering. APSEC 2015: 40-47
• 
  Shaoying Liu:
  Automatic Selection of System Functional Scenarios for Formal Specification Animation. APSEC 2015: 72-79
• 
  Ziling Lu, Chun Cao, XianPing Tao:
  Improing Screen Power Usage Model on Android Smartphones. APSEC 2015: 167-173
• 
  Wenkai Mo, Beijun Shen, Yuting Chen, Jiangang Zhu:
  TBIL: A Tagging-Based Approach to Identity Linkage Across Software Communities. APSEC 2015: 56-63
• 
  Masami Noro, Atsushi Sawada:
  Software Architecture and Specification Model for Customizable Code Inspection Tools. APSEC 2015: 230-237
• 
  Matteo Orrù, Ewan D. Tempero, Michele Marchesi, Roberto Tonelli:
  How Do Python Programs Use Inheritance? A Replication Study. APSEC 2015: 309-315
• 
  Necmettin Ozkan:
  Risks, Challenges and Issues in a Possible Scrum and COBIT Marriage. APSEC 2015: 111-118
• 
  Pankesh Patel, Vikrant Kaulgud, Praphul Chandra, Ashok Kumar:
  Building Enterprise-Grade Internet of Things Applications. APSEC 2015: 4-5
• 
  I. S. W. B. Prasetya, Jurriaan Hage, Alexander Elyasov:
  Exploiting Annotations to Test Break-off Branches. APSEC 2015: 80-87
• 
  Akilur Rahman:
  Trends in Automation and Control Systems Needing Efficient Software Engineering. APSEC 2015: 2

skipping 27 more matches