Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Christoph Beierle, Gabriele Kern-Isberner |
A Verified AsmL Implementation of Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 98-111, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
96 | Yuri Gurevich, Benjamin Rossman, Wolfram Schulte |
Semantic Essence of AsmL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, pp. 240-259, 2003, Springer, 3-540-22942-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
85 | Ali Habibi, Sofiène Tahar |
Design and verification of SystemC transaction-level models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(1), pp. 57-68, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
85 | Xiaoxin Guo, Zhiwen Xu, Yinan Lu, Yunjie Pang |
An Adaptive Edge Detector Using Soft Mathematical Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 603-607, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
79 | Michael Barnett 0001, Wolfram Schulte, Nikolai Tillmann |
Using AsmL for Runtime Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 407, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
78 | Stefan Leue, Alin Stefanescu, Wei Wei 0015 |
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (46) ![In: Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings, pp. 238-257, 2008, Springer, 978-3-540-69823-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures |
67 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Abstract Operational Semantics for Use Case Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, pp. 366-380, 2005, Springer, 3-540-29189-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps |
62 | Ali Habibi, Sofiène Tahar |
An Approach for the Verification of SystemC Designs Using AsmL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 69-83, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Daniel Lázaro Cuadrado, Peter Koch 0001, Anders P. Ravn |
AsmL Specification of a Ptolemy II Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 417, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
62 | Michael Barnett 0001, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
Validating Use-Cases with the AsmL Test Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 3rd International Conference on Quality Software (QSIC 2003), 6-7 November 2003, Dallas, TX, USA, pp. 238-246, 2003, IEEE Computer Society, 0-7695-2015-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
Risk-Based Stopping Criteria for Test Sequencing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(6), pp. 1, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan |
Integrating software specifications into intrusion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 6(5), pp. 345-357, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Software specification languages, Intrusion detection, State machines, Attack scenarios |
51 | Mathew Graves, Mohammad Zulkernine |
Bridging the gap: software specification meets intrusion detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PST ![In: Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services, PST 2006, Markham, Ontario, Canada, October 30 - November 1, 2006, pp. 31, 2006, ACM. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
attack languages, intrusion detection, software security, software specification |
51 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
High-Level Executable Specification of the Universal Plug and Play Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 283, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
distributed protocol architectures, abstract state machines, executable specifications |
45 | Luciano García-Bañuelos |
An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Business Process Management ![In: Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, pp. 401-406, 2006, Springer, 3-540-38901-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Michael Barnett 0001, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
Towards a Tool Environment for Model-Based Testing with AsmL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 252-266, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
34 | R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
Integration and Test Sequencing for Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 39(1), pp. 177-187, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda |
Test Sequencing in Complex Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(1), pp. 25-37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
34 | Bram Adams, Kris De Schutter |
An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type parameters). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLAT ![In: Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 1, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
34 | Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen |
Compositional MDA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings, pp. 126-139, 2006, Springer, 3-540-45772-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Haja Moinudeen, Ali Habibi, Sofiène Tahar |
Design for Verification of the PCI-X Bus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 187-188, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Mohammad Feroz Raihan, Mohammad Zulkernine |
Detecting Intrusions Specified in a Software Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 143-148, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
34 | Wolfgang Grieskamp, Markus Lepper 0001, Wolfram Schulte, Nikolai Tillmann |
Testable Use Cases in the Abstract State Machine Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings, pp. 167-172, 2001, IEEE Computer Society, 0-7695-1287-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | Marc Hijink |
Focus: The ASML Way - Inside the Power Struggle over the Most Complex Machine on Earth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2024 |
RDF |
|
28 | Douniel Lamghari-Idrissi, Roy van Hugten, Geert-Jan van Houtum, Rob J. I. Basten |
Increasing Chip Availability Through a New After-Sales Service Supply Concept at ASML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Appl. Anal. ![In: INFORMS J. Appl. Anal. 52(5), pp. 460-470, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Dimitrios E. Diamantis, Dimitris K. Iakovidis |
ASML: Algorithm-Agnostic Architecture for Scalable Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 51970-51982, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Mingsheng Tang, XinJun Mao, Huiping Zhou, Xueyan Tan |
ASML: Artificial Society Modelling Language for ACP Approach Based on Organization Metaphors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGC ![In: 2012 Second International Conference on Cloud and Green Computing, CGC 2012, Xiangtan, Hunan, China, November 1-3, 2012, pp. 410-417, 2012, IEEE Computer Society, 978-1-4673-3027-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Jameleddine Hassine |
AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASM ![In: Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, pp. 34-46, 2010, Springer, 978-3-642-11810-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Anne Rozinat, Ivo S. M. de Jong, Christian W. Günther, Wil M. P. van der Aalst |
Process Mining Applied to the Test Process of Wafer Scanners in ASML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 39(4), pp. 474-479, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi |
A Design for Verification Approach Using an Embedding of PSL in aSML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 16(6), pp. 859-881, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed |
Autometic Generation of SystemC Transactors from AsmL Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings, pp. 104-109, 2007, ECSI. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
28 | Ali Habibi, Sofiène Tahar |
On the Transformation of SystemC to AsmL Using Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIOOL@VMCAI ![In: Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, AIOOL@VMCAI 2005, Paris, France, January 21, 2005, pp. 39-49, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Matko Botincan |
AsmL Specification and Verification of Lamport's Bakery Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Technol. ![In: J. Comput. Inf. Technol. 13(4), pp. 313-319, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Yuri Gurevich, Benjamin Rossman, Wolfram Schulte |
Semantic essence of AsmL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 343(3), pp. 370-412, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Amjad Gawanmeh, Ali Habibi, Sofiène Tahar |
Embedding and Verification of PSL using AsmL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 201-216, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Ali Habibi, Sofiène Tahar |
AsmL Semantics in Fixpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 233-246, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Martin Kardos |
An Approach to Model Checking AsmL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France, pp. 289-304, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
28 | Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal |
Automated Specification-based Testing of Interactive Components with AsmL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, Porto, Portugal, October 18-20, 2004., pp. 119-126, 2004, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
28 | Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes |
Test Case Generation from AsmL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 413, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Michael Barnett 0001, Wolfram Schulte |
The ABCs of specification: asml, behavior, and components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 25(4), 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
28 | Nick Shapiro, Charles B. Owen |
Breacking the shackles on the physical page: Site level authoring for XML using ASML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebNet ![In: Proceedings of WebNet 99 - World Conference on the WWW and Internet, Honolulu, Hawaii, USA, October 24-30, 1999, pp. 1757, 1999, AACE, 1-880094-36-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
28 | Charles B. Owen, Fillia Makedon |
Asml: Automatic Site Markup Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 6(2), pp. 113-139, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Ann De Bord, James Ford, Fillia Makedon, Theodore P. Prizio, Mihalis Sasles, Charles B. Owen |
Documentation Multi-Targeting Using ASML & JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebNet ![In: Proceedings of WebNet 98 - World Conference on the WWW and Internet & Intranet, Orlando, Florida, USA, November 7-12, 1998, 1998, AACE, 1-880094-31-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
28 | Charles B. Owen, Fillia Makedon, Glen Frank, Michael Kenyon |
ASML: Automatic Site Markup Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebNet ![In: Proceedings of WebNet 97 - World Conference on the WWW, Internet & Intranet, Toronto, Canada, November 1-5, 1997, 1997, AACE, 1-880094-27-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Jameleddine Hassine |
Early Schedulability Analysis with Timed Use Case Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2009: Design for Motes and Mobiles, 14th International SDL Forum, Bochum, Germany, September 22-24, 2009, Proceedings, pp. 98-114, 2009, Springer, 978-3-642-04553-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Margus Veanes, Ando Saabas |
On Bounded Reachability of Programs with Set Comprehensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, pp. 305-317, 2008, Springer, 978-3-540-89438-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch |
A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings, pp. 147-153, 2008, Springer, 978-3-540-71069-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Margus Veanes, Ando Saabas |
Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 355, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke |
An SMT Approach to Bounded Reachability Analysis of Model Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 53-68, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Kwangok Jeong, Andrew B. Kahng, Chul-Hong Park, Hailong Yao |
Dose map and placement co-optimization for timing yield enhancement and leakage power reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 516-521, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
dose map, placement, timing yield, leakage power reduction |
17 | Mohammad Feroz Raihan, Mohammad Zulkernine |
AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria, pp. 775-782, 2007, IEEE Computer Society, 0-7695-2775-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hiren D. Patel, Sandeep K. Shukla |
Model-driven Validation of SystemC Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 44th Design Automation Conference, DAC 2007, San Diego, CA, USA, June 4-8, 2007, pp. 29-34, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Avik Sinha, Carol S. Smidts |
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 15(3), pp. 242-278, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation |
17 | Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed |
Efficient assertion based verification using TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 106-111, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Bas Graaf, Sven Weber, Arie van Deursen |
Migrating Supervisory Control Architectures Using Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 22-24 March 2006, Bari, Italy, pp. 153-164, 2006, IEEE Computer Society, 0-7695-2536-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dean Rosenzweig, Davor Runje, Wolfram Schulte |
Model-Based Testing of Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers, pp. 33-60, 2005, Springer, 3-540-30007-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Yuhong Zhao 0001, Martin Kardos, Simon Oberthür, Franz J. Rammig |
Comprehensive Verification Framework for Dependability of Self-optimizing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 39-53, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann |
Online testing with model programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 273-282, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
conformance testing, runtime verification, interface automata |
17 | Uwe Glässer, Yuri Gurevich, Margus Veanes |
Abstract Communication Model for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(7), pp. 458-472, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Vladimir Levin |
Static driver verifier, a formal verification tool for Windows device drivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings, pp. 151, 2004, IEEE Computer Society, 0-7803-8509-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yuri Gurevich, Rostislav Yavorskiy |
Observations on the Decidability of Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings, pp. 161-168, 2004, Springer, 3-540-22094-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Martin Kardos, Franz J. Rammig |
Model Based Formal Verification of Distributed Production Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftSpez Final Report ![In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, pp. 451-473, 2004, Springer, 3-540-23135-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Dean Rosenzweig, Davor Runje, Neva Slani |
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 372-390, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Bas Graaf, Marco Lormans, Hans Toetenel |
Software Technologies for Embedded Systems: An Industry Inventory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002, Proceedings, pp. 453-465, 2002, Springer, 3-540-00234-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|