Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
166 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 231-245, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
131 | Kazuo Sakiyama, Tatsuya Yagi, Kazuo Ohta |
Fault Analysis Attack against an AES Prototype Chip Using RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2009, The Cryptographers' Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings, pp. 429-443, 2009, Springer, 978-3-642-00861-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Random Switching Logic, Clock-based Attack, AES, Fault Analysis |
131 | Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George |
A Translation from RSL to CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: XXVII International Conference of the Chilean Computer Science Society (SCCC 2008), 10-14 November 2008, Punta Arenas, Chile, pp. 119-126, 2008, IEEE Computer Society, 978-0-7695-3403-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
113 | Minoru Saeki, Daisuke Suzuki, Koichi Shimizu, Akashi Satoh |
A Design Methodology for a DPA-Resistant Cryptographic LSI with RSL Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2009, 11th International Workshop, Lausanne, Switzerland, September 6-9, 2009, Proceedings, pp. 189-204, 2009, Springer, 978-3-642-04137-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
96 | Morten P. Lindegaard, Anne E. Haxthausen |
Proof Support for RAISE by a Reuse Approach Based on Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 319-333, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
proof support, Institutions, algebraic semantics, HOL, RSL |
87 | Jeffrey S. Poulin, Keith J. Werkman |
Melding Structured Abstracts and World Wide Web for Retrieval of Reusable Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability, SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, USA, pp. 160-168, 1995, ACM, 0-89791-739-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
61 | Li Dan, Bernhard K. Aichernig |
Combining Algebraic and Model-Based Test Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers, pp. 250-264, 2004, Springer, 3-540-25304-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
formal method, Test case generation, RAISE, RSL |
61 | Chang-Wook Han, Jung-Il Park |
Fuzzy Granulation-Based Cascade Fuzzy Neural Networks Optimized by GA-RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings, pp. 77-86, 2006, Springer, 3-540-34117-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Li Li 0024, Jifeng He 0001 |
A Denotational Semantics of Timed RSL Using Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 13-16 December 1999, Hong Kong, China, pp. 492-, 1999, IEEE Computer Society, 0-7695-0306-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
software engineering, formal methods, Real-time requirements, design specification |
52 | Takayuki Okatani, Koichiro Deguchi |
Variational Bayes Based Approach to Robust Subspace Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Seoung-Hyeon Lee, Byung-Sun Choi, Jae-Seung Lee, Ki-Young Moon, Jae-Kwang Lee |
VO Authentication Framework in Grid Environment Using Digital Signature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II, pp. 945-953, 2006, Springer, 3-540-34072-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
The Recognition Strategy Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: Eighth International Conference on Document Analysis and Recognition (ICDAR 2005), 29 August - 1 September 2005, Seoul, Korea, pp. 565-569, 2005, IEEE Computer Society, 0-7695-2420-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Angkul Kongmunvattana, Nian-Feng Tzeng |
Lazy Logging and Prefetch-Based Crash Recovery in Software Distributed Shared Memory Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS/SPDP ![In: 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 12-16 April 1999, San Juan, Puerto Rico, Proceedings, pp. 399-406, 1999, IEEE Computer Society, 0-7695-0143-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
44 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Specifying a Mobile Computing Infrastructure and Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004, Proceedings, pp. 244-254, 2004, Springer, 3-540-24075-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Mobicharts, Mobile Computing, Testing, Specification, RSL |
44 | Carlos Videira, Joáo Leonardo Carmo, Alberto Rodrigues da Silva |
The ProjectIT-RSL Language Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML Satellite Activities ![In: UML Modeling Languages and Applications, «UML» 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, pp. 269-272, 2004, Springer, 3-540-25081-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Jesper Gørtz |
Specifying Safety and Progress Properties with RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 567-581, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
43 | Narayan C. Debnath, Laura Felice, German Montejano, Daniel Riesco |
A Feature Model of E-Government Systems Integrated with Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 27-31, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
RSL Specification, Formal Specification, e-government, Feature Model |
35 | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, 7th International Conference on Computer Vision Systems, ICVS 2009, Liège, Belgium, October 13-15, 2009, Proceedings, pp. 295-304, 2009, Springer, 978-3-642-04666-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Domain-Specific Languages, Scripting Languages, Document Recognition, Table Recognition |
35 | Kris Tiri, Patrick Schaumont |
Changing the Odds Against Masked Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Areas in Cryptography ![In: Selected Areas in Cryptography, 13th International Workshop, SAC 2006, Montreal, Canada, August 17-18, 2006 Revised Selected Papers, pp. 134-146, 2006, Springer, 978-3-540-74461-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Padraig J. O'Dowd, Adarsh Patil 0001, John P. Morrison |
Managing MPICH-G2 Jobs with WebCom-G. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 4-6 July 2005, Lille, France, pp. 258-266, 2005, IEEE Computer Society, 0-7695-2434-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
WebCom-GI Globus, Scheduling and Fault Survival, MPI, Grid Portals, MPICH-G2 |
35 | German Montejano, Robert Uzal, Daniel Riesco, Aristides Dasso, Ana Funes, Mario Peralta, Carlos Salgado, Narayan C. Debnath |
Integrating balanced scorecard domain formalization with underlying project plan formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 114, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau 0001 |
Experience from Applications of RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '93: Industrial-Strength Formal Methods, First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, Proceedings, pp. 52-63, 1993, Springer, 3-540-56662-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Narayan C. Debnath, Oscar Testa, German Montejano, Daniel Riesco |
Rigorous Definition/Specification in RAISE Specification Language of a Framework for Web Services about Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 76-81, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Formal methods, GIS, Infrastructure, RSL |
27 | Satyajit Acharya, Chris George, Hrushikesha Mohanty |
Domain Consistency in Requirements Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia, pp. 231-240, 2005, IEEE Computer Society, 0-7695-2472-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Consistency Conditions, Testing, Specification, RAISE, RSL |
27 | |
RSL volume 17 issue 1 Cover and Back matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 17(1), pp. 1-, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
27 | |
RSL volume 17 issue 1 Cover and Front matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 17(1), pp. 1-, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
27 | Andre Rodrigues, Alberto Rodrigues da Silva |
Validation of Rigorous Requirements Specifications and Document Automation with the ITLingo RSL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.10822, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
27 | Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva |
Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021., 2021, Universitat Politècnica de València / Association for Information Systems. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Tim Yuqing Tang, Daniele De Martini, Dan Barnes, Paul Newman 0001 |
RSL-Net: Localising in Satellite Images From a Radar on the Ground. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 5(2), pp. 1087-1094, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Tim Y. Tang, Daniele De Martini, Dan Barnes, Paul Newman 0001 |
RSL-Net: Localising in Satellite Images From a Radar on the Ground. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.03233, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Alfarabi Imashev, Medet Mukushev, Vadim Kimmelman, Anara Sandygulova |
A Dataset for Linguistic Understanding, Visual Evaluation, and Recognition of Sign Languages: The K-RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoNLL ![In: Proceedings of the 24th Conference on Computational Natural Language Learning, CoNLL 2020, Online, November 19-20, 2020, pp. 631-640, 2020, Association for Computational Linguistics, 978-1-952148-63-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | João Caramujo, Alberto Rodrigues da Silva, Shaghayegh Monfared, André Ribeiro, Pável Calado, Travis D. Breaux |
RSL-IL4Privacy: a domain-specific language for the rigorous specification of privacy policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 24(1), pp. 1-26, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva |
From Requirements to Automated Acceptance Tests with the RSL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENASE (Selected Papers) ![In: Evaluation of Novel Approaches to Software Engineering - 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019, Revised Selected Papers, pp. 39-57, 2019, Springer, 978-3-030-40222-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Alberto Rodrigues da Silva |
Rigorous Specification of Use Cases with the RSL Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development: Information Systems Beyond 2020, ISD 2019 Proceedings, Toulon, France, August 28-30, 2019., 2019, ISEN Yncréa Méditerranée / Association for Information Systems, 978-2-9571876-0-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
27 | Alberto Rodrigues da Silva |
Linguistic Patterns and Linguistic Styles for Requirements Specification (I): An Application Case with the Rigorous RSL/Business-Level Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017, Irsee, Germany, July 12-16, 2017, pp. 22:1-22:27, 2017, ACM, 978-1-4503-4848-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Dominik Erb, Karsten Scheibler, Michael A. Kochte, Matthias Sauer 0002, Hans-Joachim Wunderlich, Bernd Becker 0001 |
Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 21st Asia and South Pacific Design Automation Conference, ASP-DAC 2016, Macao, Macao, January 25-28, 2016, pp. 749-754, 2016, IEEE, 978-1-4673-9569-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Kamil Rybinski, Rafal Parol |
RSL-DL: Representing Domain Knowledge for the Purpose of Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KKIO Software Engineering Conference ![In: Software Engineering: Challenges and Solutions - Results of the XVIII KKIO 2016 Software Engineering Conference 2016 held at September 15-17 2016 in Wroclaw, Poland, pp. 61-73, 2016, Springer, 978-3-319-43605-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Anne E. Haxthausen |
An Institution for Imperative RSL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification, Algebra, and Software ![In: Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi, pp. 441-464, 2014, Springer, 978-3-642-54623-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | David de Almeida Ferreira, Alberto Rodrigues da Silva |
RSL-PL: A linguistic pattern language for documenting software requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RePa ![In: Third IEEE International Workshop on Requirements Patterns, RePa 2013, Rio de Janeiro, Brazil, July 16, 2013, pp. 17-24, 2013, IEEE Computer Society, 978-1-4799-0948-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | David de Almeida Ferreira, Alberto Rodrigues da Silva |
RSL-IL: An interlingua for formally documenting requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDRE ![In: International Workshop on Model-Driven Requirements Engineering, MoDRE 2013, Rio de Janeiro, Brasil, July 15, 2013, pp. 40-49, 2013, IEEE Computer Society, 978-1-4799-0946-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Sushil Kumar Mishra, Jan Adam, Michaela Wimmerová, Jaroslav Koca |
In Silico Mutagenesis and Docking Study of Ralstonia solanacearum RSL Lectin: Performance of Docking Software To Predict Saccharide Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 52(5), pp. 1250-1261, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | David de Almeida Ferreira, Alberto Rodrigues da Silva |
Formally Specifying Requirements with RSL-IL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings, pp. 217-220, 2012, IEEE Computer Society, 978-0-7695-4777-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Huan Liu, Yingcang Ma, Xuezhen Dai |
Theory of Truth Degrees in Three Valued Formed System RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology - 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012. Proceedings, pp. 49-54, 2012, Springer, 978-3-642-31899-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | David de Almeida Ferreira, Alberto Rodrigues da Silva |
Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011, pp. 740-745, 2011, Knowledge Systems Institute Graduate School, 1-891706-29-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Narayan C. Debnath, Oscar Testa, German Montejano, Daniel Riesco, Wan D. Bae |
Geographic Information Systems: RSL Services Definitions of a Framework for Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATA ![In: Proceedings of the ISCA 26th International Conference on Computers and Their Applications, CATA 2011, March 23-15, 2011, Holiday Inn Downtown-Superdome, New Orleans, Louisiana, USA, pp. 66-71, 2011, ISCA, 978-1-880843-80-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Katsuhiko Iwai, Mitsuru Shiozaki, Anh-Tuan Hoang, Kenji Kojima, Takeshi Fujino |
Implementation and verification of DPA-resistant cryptographic DES circuit using Domino-RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HOST ![In: HOST 2011, Proceedings of the 2011 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), 5-6 June 2011, San Diego, California, USA, pp. 28-33, 2011, IEEE Computer Society, 978-1-4577-1059-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa |
Using RSL for the Formal Specification of PopOrg-based Multiagent Systems Organizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011, pp. 127-133, 2011, IEEE Computer Society, 978-1-4673-0225-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Raquel de Miranda Barbosa, Antônio Carlos da Rocha Costa, Patrícia Cabral de Azevedo Restelli Tedesco, Alexandre Cabral Mota |
Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RITA ![In: RITA 17(3), pp. 389-411, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Daisuke Suzuki, Minoru Saeki, Koichi Shimizu, Akashi Satoh, Tsutomu Matsumoto |
A Design Methodology for a DPA-Resistant Circuit with RSL Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 93-A(12), pp. 2497-2508, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Kazuo Sakiyama, Kazuo Ohta |
On Clock-Based Fault Analysis Attack for an AES Hardware Using RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 93-A(1), pp. 172-179, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | David de Almeida Ferreira, Alberto Manuel Rodrigues da Silva |
Survey on System Behavior Specification for Extending ProjectIT-RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Quality of Information and Communications Technology, 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings, pp. 210-215, 2010, IEEE Computer Society, 978-0-7695-4241-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Yingchao Shao, Zhongmin Xie, Keyun Qin |
An Equivalent Form of Rough Logic System RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Set and Knowledge Technology - 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings, pp. 181-186, 2010, Springer, 978-3-642-16247-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Mohammad Reza Nami, Fatemeh Hassani |
A comparative evaluation of the Z, CSP, RSL, and VDM languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(3), pp. 1-4, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Narayan C. Debnath, Laura Felice, María Carmen Leonardi, María Virginia Mauco, German Montejano, Daniel Riesco |
A Strategy to Derive RSL Specification from Feature Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEDE ![In: 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), June 22-24, 2009, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada, USA, Proceedings, pp. 168-173, 2009, ISCA. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Kiruthika Ramanathan, Sheng Uei Guan |
Enhancing Recursive Supervised Learning Using Clustering and Combinatorial Optimization (RSL-CC). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Engineering Evolutionary Intelligent Systems ![In: Engineering Evolutionary Intelligent Systems, pp. 157-176, 2008, Springer, 978-3-540-75395-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Chunyan Bai, Gui Liang Feng |
Enhancing Sensor Network Security with RSL Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TeNe ![In: Novel Algorithms and Techniques in Telecommunications and Networking, proceedings of the 2008 International Conference on Telecommunications and Networking (TeNe), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, Bridgeport, Connecticut, USA, pp. 443-447, 2008, Springer, 978-90-481-3661-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Sun Meng, Bernhard K. Aichernig, Zhang Naixiao |
Coalgebraic Component Specification and Verification in RSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDCAT ![In: Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China, pp. 424-426, 2005, IEEE Computer Society, 0-7695-2405-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
renunciation, group decision-makin, non-structural system |
27 | Mario Beron, Daniel Riesco, German Montejano, Narayan C. Debnath |
Specification in RSL of a Tool based on Graphs for Reverse Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASSE ![In: Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, July 9-11, 2003, San Francisco, CA, USA, pp. 266-269, 2003, ISCA, 1-880843-47-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Bradley J. Rhodes, Daniel Bullock |
A Scalable Model of Cerebellar Adaptive Timing and Sequencing: The Recurrent Slide and Latch (RSL) Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 17(1), pp. 35-48, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Li Li |
Towards a Denotational Semantics of Timed RSL Using Duration Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 16(1), pp. 64-76, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Christian P. Schinagl |
VDM Specification of the Steam-Boiler Control Using RSL Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods for Industrial Applications ![In: Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)., pp. 428-452, 1995, Springer, 3-540-61929-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Jeffrey S. Poulin, Kathryn P. Yglesias |
Experiences with a faceted classification scheme in a large reusable software library (RSL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Seventeenth Annual International Computer Software and Applications Conference, COMPSAC 1993, Proceedings, Phoenix, AZ, USA, 1-5 November, 1993, pp. 90-99, 1993, IEEE, 0-8186-4440-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | H. J. Schuh |
RSL - Ein Multimikroprozessorrechner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microcomputing ![In: Microcomputing, Tagung III/1979 des German Chapter of the ACM am 24. und 25.10.1979 in München, pp. 89-97, 1979, Teubner, 3-519-02422-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP BibTeX RDF |
|
26 | Daniel Riesco, German Montejano, Narayan C. Debnath, Manuel Pérez Cota |
Formalizing the Management Automation with Workflow of Software Development Process Based on the SPEM Activities View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 131-136, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
RSL SPEM, Workflow, BPMN |
26 | Asger Eir |
Relating Domain Concepts Intensionally by Ordering Connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 188-216, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension |
17 | Chris George, Anne E. Haxthausen |
Specification, proof, and model checking of the Mondex electronic purse using RAISE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 101-116, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Verification, Formal methods, PVS, SAL, RAISE, Mondex |
17 | Richard Zanibbi, Dorothea Blostein, James R. Cordy |
Decision-Based Specification and Comparison of Table Recognition Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Machine Learning in Document Analysis and Recognition ![In: Machine Learning in Document Analysis and Recognition, pp. 71-103, 2008, Springer, 978-3-540-76279-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Hagit Messer, Oren Goldshtein, Asaf Rayitsfeld, Pinhas Alpert |
Recent results of rainfall mapping from cellular network measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 5157-5160, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Reza Nami, Abbas Malekpour |
Formal specification of a particular banking domain with RAISE specification language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), July 6-9, Marrakech, Morocco, pp. 695-699, 2008, IEEE Computer Society, 978-1-4244-2702-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour |
A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 227-232, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
RAISE Method, Software Engineering, Formal Methods, Virtual Organization, Collaborative Networks |
17 | Carlos Videira, David de Almeida Ferreira, Alberto Rodrigues da Silva |
A Linguistic Patterns Approach for Requirements Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik, Croatia, pp. 302-309, 2006, IEEE Computer Society, 0-7695-2594-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Changqin Huang, Zhiting Zhu, Xianqing Wang, Deren Chen |
Grid Authorization Management Oriented to Large-Scale Collaborative Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected papers) ![In: Computer Supported Cooperative Work in Design I, 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004, Revised Selected Papers, pp. 55-66, 2004, Springer, 3-540-29400-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Changqin Huang, Guanghua Song, Yao Zheng, Deren Chen |
An Authorization Architecture Oriented to Engineering and Scientific Computation in Grid Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asia-Pacific Computer Systems Architecture Conference ![In: Advances in Computer Systems Architecture, 9th Asia-Pacific Conference, ACSAC 2004, Beijing, China, September 7-9, 2004, Proceedings, pp. 461-472, 2004, Springer, 3-540-23003-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Tingting Wang, Jiming Liu 0001, Xiaolong Jin |
Minority Game Strategies in Dynamic Multi-Agent Role Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 20-24 September 2004, Beijing, China, pp. 316-322, 2004, IEEE Computer Society, 0-7695-2101-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Tomasz Haupt, Anand Kalyanasundaram, Nisreen Ammari, Archana Chilukuri, Maxim Khotournenko |
SPURport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: 13th International Symposium on High-Performance Distributed Computing (HPDC-13 2004), 4-6 June 2004, Honolulu, Hawaii, USA, pp. 266-267, 2004, IEEE Computer Society, 0-7695-2175-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Fernando De la Torre, Michael J. Black |
A Framework for Robust Subspace Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 54(1-3), pp. 117-142, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
robust PCA, robust SVD, learning, principal component analysis, singular value decomposition, structure from motion, robust statistics, subspace methods |
17 | Tharek Abdul Rahman, Toh Chee Leng |
Design and Performance Analysis of Adaptive Transmit Power Control in Point-to-Point Microwave Link for Rain Attenuation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June - 3 July 2003, Kiris-Kemer, Turkey, pp. 1159-1164, 2003, IEEE Computer Society, 0-7695-1961-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Gabriela N. Aranda, Richard Moore 0001 |
A formal model for verifying compound design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002, pp. 213-214, 2002, ACM, 1-58113-556-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Zhencheng Hu, Keiichi Uchimura |
Dynamical Road Modeling and Matching for Direct Visual Navigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: 6th IEEE Workshop on Applications of Computer Vision (WACV 2002), 3-4 December 2002, Orlando, FL, USA, pp. 237-, 2002, IEEE Computer Society, 0-7695-1858-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Myatav Erdenechimeg, Richard Moore 0001, Yumbayar Namsrai |
On the Specification of the Display of Documents in Multi-lingual Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODDP ![In: Principles of Digital Document Processing, 4th International Workshop, PODDP'98, Saint Malo, France, March 29-30, 1998, Proceedings, pp. 70-81, 1998, Springer, 3-540-65086-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Khaled M. Elleithy, Magdy A. Bayoumi |
A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 305-311, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|