|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 28785 occurrences of 7362 keywords
|
|
|
Results
Found 53237 publication records. Showing 53235 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Ricky W. Butler |
Formal Methods at NASA Langley. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli |
A Formal Framework for ASTRAL Intralevel Proof Obligations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 548-561, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL |
52 | Jens Knoop |
Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 252-261, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis |
49 | Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray |
A Specification and Validation Technique Based on STATEMATE and FNLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 216-220, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation |
48 | Andrei Rimsa, Luis E. Zárate, Mark A. J. Song |
Handling Large Formal Context Using BDD - Perspectives and Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings, pp. 194-209, 2009, Springer, 978-3-642-01814-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept |
46 | John C. Knight, P. Thomas Fletcher, Brian R. Hicks |
Tool Support for Production Use of Formal Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1854, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
46 | David W. Bustard, P. J. Lundy |
Enhancing soft systems analysis with formal modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 164-171, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE |
43 | M. M. Adams, Philip B. Clayton |
ClawZ: Cost-Effective Formal Verification for Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, pp. 465-479, 2005, Springer, 3-540-29797-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof |
42 | Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
Formal Specification and Validation of a Vital Communication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1584-1604, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
41 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner |
XFM: An incremental methodology for developing formal models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 10(4), pp. 589-609, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV |
41 | Gerald C. Gannod, Betty H. C. Cheng |
A Formal Automated Approach for Reverse Engineering Programs with Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 219-226, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers |
41 | David W. Bustard, Adam C. Winstanley |
Making Changes to Formal Specifications: Requirements and an Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(8), pp. 562-568, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control |
41 | Jonathan P. Bowen, Michael G. Hinchey |
Seven More Myths of Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 12(4), pp. 34-41, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
40 | John McLean |
Formal methods in security engineering: where we've been, where we are, where we need to go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMSE ![In: Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007, pp. 1, 2007, ACM, 978-1-59593-887-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
formal methods, computer security |
40 | Shaoying Liu, Yong Sun |
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 137-144, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology |
39 | Richard F. Paige, Jonathan S. Ostroff |
Developing BON as an Industrial-Strength Formal Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 834-853, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev |
An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 411-418, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS |
39 | Michael Johnson, Robert D. Rosebrugh |
View Updatability Based on the Models of a Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 534-549, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
formal specification, database, information system, conceptual modelling, data model, category theory, View update |
39 | William C. Chu, Hongji Yang |
A Formal Method to Software Integration in Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: COMPSAC '96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea, pp. 343-348, 1996, IEEE Computer Society, 0-8186-7579-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
library techniques, semantic interface, adaptation problems, MIATAC-MA Reuse Formal Method, formal semantic interface analysis, MIATAC-MA Specification Language, MIATAC-MA Prototype Tool, formal specification, formal method, reverse engineering, reverse engineering, software reuse, software components, software reusability, software libraries, software integration, Predicate/Transition nets, reusable software components, integrated software, reuse library |
39 | Michel Diaz, Guy Juanole, Jean-Pierre Courtiat |
Observer-A Concept for Formal On-Line Validation of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(12), pp. 900-913, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation |
39 | Volkmar Lotz, Volker Kessler, Georg Walter |
A Formal Security Model for Microprocessor Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 718-737, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
security, hardware, formal security models |
37 | Arvind, Nirav Dave, Michael Katelman |
Getting Formal Verification into Design Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 12-32, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
37 | Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Formal Extreme (and Extremely Formal) Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings, pp. 88-96, 2003, Springer, 3-540-40215-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Formal Methods, Refactoring, Extreme Programming, Incremental Development, Formal Testing |
37 | Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr |
Maude as a Formal Meta-tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1684-1703, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Michael Meyer zu Hörste, Eckehard Schnieder |
Formal Modelling and Simulation of Train Control Systems Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1867, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans |
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1511-1526, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
37 | Ludovic Casset |
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 290-309, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Byte Code Verification, Formal Methods, B Method |
37 | Juan-José Martins, Jean-Pierre Hubaux |
A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings, pp. 140-159, 1996, Springer, 3-540-60973-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering |
37 | Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour |
Formal specification and verification of communication protocols using automated tools . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 246-253, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover |
37 | Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes |
Applying Formal Specification in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 13(3), pp. 48-56, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
36 | Jeff Offutt |
Programmers Ain't Mathematicians, and Neither Are Testers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 2, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Pao-Ann Hsiung, Shang-Wei Lin 0001 |
Formal Design and Verification of Real-Time Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, pp. 382-397, 2004, Springer, 3-540-23724-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis |
35 | Kanth Miriyala, Mehdi T. Harandi |
Automatic Derivation of Formal Software Specifications From Informal Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1126-1142, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process |
35 | J. Paul Gibson |
Weaving a Formal Methods Education with Problem-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 460-472, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum |
35 | Kong Woei Susanto, Thomas F. Melham |
An AMBA-ARM7 Formal Verification Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 48-67, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Danny B. Lange |
A Formal Approach to Hypertext using Post-Prototype Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 99-121, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Chie Dou |
Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 484-491, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation |
35 | John M. Rushby, Friedrich W. von Henke |
Formal Verification of Algorithms for Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(1), pp. 13-23, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
machine-checked verification, Byzantine fault-tolerant algorithm, digital flight control system, fault-tolerant synchronization, EHDM system, formal specification, formal specification, formal verification, fault tolerant computing, software reliability, safety, synchronisation, critical systems |
35 | K. T. Narayana, Sanjeev Dharap |
Formal Specification of a Look Manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1089-1103, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
look manager, graphical interface software, user interfaces, formal specification, formal specification, computer graphics, modularity, interactive systems, formal model, Z notation, texturing model, dialog system |
35 | Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian |
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 257-273, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Iterative System Tuning, Statistical Formal Methods, System Realization, Cross-layer Timing/QoS/resource Provisioning for Distributed Systems, Formal Modeling |
35 | Brian Matthews, Elvira Locuratolo |
Formal Development of Databases in ASSO and B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 388-410, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter |
KVEST: Automated Generation of Test Suites from Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 608-621, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
35 | Kaisa Sere, Elena Troubitsyna |
Safety Analysis in Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1564-1583, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Manfred Broy |
Seamless Model Driven Systems Engineering Based on Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 1-19, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Formal methods, models based development |
34 | Jin Song Dong, Gordon A. Rose, Roger Duke |
The role of secondary attributes in formal object modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 31-38, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
secondary attributes role, formal object modelling, secondary attributes, formal object-oriented specification, formal specification, formal specification, object-oriented programming, attribute grammars |
34 | Pei Hsia, Jayarajan Samuel, Jerry Gao 0002, David Chenho Kung, Yasufumi Toyoshima, Cris Chen |
Formal Approach to Scenario Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(2), pp. 33-41, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
private telephone exchanges, telephone systems, simple PBX system, formal mathematical base, precise scenarios, formal specification, formal verification, systems analysis, requirements analysis, telecommunications computing, scenario analysis, formal approach |
34 | Ichiro Suzuki |
Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1273-1281, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators |
34 | Manfred Droste, Guo-Qiang Zhang 0001 |
Rational Transformations of Formal Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 555-566, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
rational languages, recognizable languages, weighted finite automata, Formal power series |
34 | Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell |
Technology Transfer Issues for Formal Methods of Software Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: Thirteenth Conference on Software Engineering Education and Training, 6-8 March, 2000, Austin, Texas, USA, pp. 23-31, 2000, IEEE Computer Society, 0-7695-0421-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
SE education, SE pedagogy, SE Curriculum, Formal methods, specification |
33 | Souâd Taouil-Traverson, Sylvie Vignes |
Preliminary Analysis Cycle for B-Method Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 22rd EUROMICRO Conference '96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic, pp. 319-, 1996, IEEE Computer Society, 0-8186-7487-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle |
33 | Carlos Lassance, Hervé Déjean, Thibault Formal, Stéphane Clinchant |
SPLADE-v3: New baselines for SPLADE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.06789, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
33 | Hervé Déjean, Stéphane Clinchant, Thibault Formal |
A Thorough Comparison of Cross-Encoders and LLMs for Reranking SPLADE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.10407, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
33 | Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier |
CoSPLADE: Contextualizing SPLADE for Conversational Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.04413, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Hervé Déjean, Stéphane Clinchant, Carlos Lassance, Simon Lupart, Thibault Formal |
Benchmarking Middle-Trained Language Models for Neural Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.02867, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski |
Query Performance Prediction for Neural IR: Are We There Yet? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.09947, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski |
On the Limitations of Query Performance Prediction for Neural IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023., pp. 379-390, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
33 | Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarksi, Laure Soulier |
CoSPLADE : Adaptation d'un Modèle Neuronal Basé sur des Représentations Parcimonieuses pour la Recherche d'Information Conversationnelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORIA-TALN ![In: Actes de CORIA-TALN 2023. Actes de la 18e Conférence en Recherche d'Information et Applications, CORIA 203, Paris, France, June 5-9, 2023, pp. 207-212, 2023, ATALA. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
33 | Simon Lupart, Thibault Formal, Stéphane Clinchant |
MS-Shift: An Analysis of MS MARCO Distribution Shifts on Neural Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (1) ![In: Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I, pp. 636-652, 2023, Springer, 978-3-031-28243-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier |
CoSPLADE: Contextualizing SPLADE for Conversational Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (1) ![In: Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I, pp. 537-552, 2023, Springer, 978-3-031-28243-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski |
Query Performance Prediction for Neural IR: Are We There Yet? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (1) ![In: Advances in Information Retrieval - 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part I, pp. 232-248, 2023, Springer, 978-3-031-28243-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Hervé Déjean, Stéphane Clinchant, Carlos Lassance, Simon Lupart, Thibault Formal |
Benchmarking Middle-Trained Language Models for Neural Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2023, Taipei, Taiwan, July 23-27, 2023, pp. 1848-1852, 2023, ACM, 978-1-4503-9408-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Guglielmo Faggioli, Thibault Formal, Simon Lupart, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski |
Towards Query Performance Prediction for Neural Information Retrieval: Challenges and Opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTIR ![In: Proceedings of the 2023 ACM SIGIR International Conference on Theory of Information Retrieval, ICTIR 2023, Taipei, Taiwan, 23 July 2023, pp. 51-63, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
33 | Thibault Formal |
Towards Effective, Efficient and Explainable Neural Information Retrieval. (Vers une recherche d'information neuronale efficace, efficiente et interprétable). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
33 | Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant |
From Distillation to Hard Negative Sampling: Making Sparse Neural IR Models More Effective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04733, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Carlos Lassance, Thibault Formal, Stéphane Clinchant |
Composite Code Sparse Autoencoders for first stage retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.07023, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier |
MLIA-DAC@TREC CAsT 2022: Sparse Contextualized Query Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of the Thirty-First Text REtrieval Conference, TREC 2022, online, November 15-19, 2022, 2022, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
A Study of Lexical Matching in Neural Information Retrieval - Abstract⋆. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIRCLE ![In: Proceedings of the 2nd Joint Conference of the Information Retrieval Communities in Europe (CIRCLE 2022), Samatan, Gers, France, July 4-7, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
Match Your Words! A Study of Lexical Matching in Neural Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (2) ![In: Advances in Information Retrieval - 44th European Conference on IR Research, ECIR 2022, Stavanger, Norway, April 10-14, 2022, Proceedings, Part II, pp. 120-127, 2022, Springer, 978-3-030-99738-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant |
From Distillation to Hard Negative Sampling: Making Sparse Neural IR Models More Effective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR '22: The 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, Madrid, Spain, July 11 - 15, 2022, pp. 2353-2359, 2022, ACM, 978-1-4503-8732-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant |
SPLADE v2: Sparse Lexical and Expansion Model for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.10086, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
Match Your Words! A Study of Lexical Matching in Neural Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.05662, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
SPLADE: Sparse Lexical and Expansion Model for First Stage Ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.05720, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | Carlos Lassance, Arnaud Sors, Stéphane Clinchant, Thibault Formal, Benjamin Piwowarski |
Naver Labs Europe (SPLADE) @ TREC Deep Learning 2021. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of the Thirtieth Text REtrieval Conference, TREC 2021, online, November 15-19, 2021, 2021, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
Une Analyse du Modèle ColBERT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CORIA ![In: COnférence en Recherche d'Informations et Applications - CORIA 2021, French Information Retrieval Conference, Grenoble, France, April 15, 2021., 2021, ARIA. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
A White Box Analysis of ColBERT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (2) ![In: Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part II, pp. 257-263, 2021, Springer, 978-3-030-72239-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Carlos Lassance, Thibault Formal, Stéphane Clinchant |
Composite Code Sparse Autoencoders for First Stage Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, Virtual Event, Canada, July 11-15, 2021, pp. 2136-2140, 2021, ACM, 978-1-4503-8037-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
SPLADE: Sparse Lexical and Expansion Model for First Stage Ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: SIGIR '21: The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, Virtual Event, Canada, July 11-15, 2021, pp. 2288-2292, 2021, ACM, 978-1-4503-8037-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
A White Box Analysis of ColBERT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.09650, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
33 | Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant |
Naver Labs Europe @ TREC Deep Learning 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TREC ![In: Proceedings of the Twenty-Ninth Text REtrieval Conference, TREC 2020, Virtual Event [Gaithersburg, Maryland, USA], November 16-20, 2020., 2020, National Institute of Standards and Technology (NIST). The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
33 | Thibault Formal, Stéphane Clinchant, Jean-Michel Renders, Sooyeol Lee, Geun-Hee Cho |
Learning to Rank Images with Cross-Modal Graph Convolutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR (1) ![In: Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part I, pp. 589-604, 2020, Springer, 978-3-030-45438-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Yannick Aoustin, Alexander M. Formal'sky |
Ball on a beam: stabilization under saturated input control with large basin of attraction ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.4831, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
33 | Yannick Aoustin, Alexander M. Formal'sky |
On optimal swinging of the biped arms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 2922-2927, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Yannick Aoustin, Alexander M. Formal'sky |
On the stabilization of a biped vertical posture in single support using internal torques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 23(1), pp. 65-74, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Christine Chevallereau, Alexander M. Formal'sky, Dalila Djoudi |
Tracking a joint path for the walk of an underactuated biped. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 22(1), pp. 15-28, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Yannick Aoustin, Alexander M. Formal'sky |
Simple anti-swing feedback control for a gantry crane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 21(6), pp. 655-666, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Alexander M. Formal'sky, Christine Chevallereau, B. Perrin |
On Ballistic Walking Locomotion of a Quadruped. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 19(8), pp. 743-761, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | A. V. Beznos, Alexander M. Formal'sky, E. V. Gurfinkel, D. N. Jicharev, A. V. Lensky, K. V. Savitsky, L. S. Tchesalin |
Control of Autonomous Motion of Two-wheel Bycycle with Gyroscopic Stabilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the IEEE International Conference on Robotics and Automation, ICRA-98, Leuven, Belgium, May 16-20, 1998, pp. 2670-2675, 1998, IEEE Computer Society, 0-7803-4301-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Christine Chevallereau, Alexander M. Formal'sky, B. Perrin |
Low Energy Cost Reference Trajectories for a Biped Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the IEEE International Conference on Robotics and Automation, ICRA-98, Leuven, Belgium, May 16-20, 1998, pp. 1398-1404, 1998, IEEE Computer Society, 0-7803-4301-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Yannick Aoustin, Alexander M. Formal'sky |
On the Synthesis of a Norminal Trajectory for Control Law of a One-Link Flexible Arm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 16(1), pp. 36-46, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Christine Chevallereau, Alexander M. Formal'sky, B. Perrin |
Control of a walking robot with feet following a reference trajectory derived from ballistic motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1997 IEEE International Conference on Robotics and Automation, Albuquerque, New Mexico, USA, April 20-25, 1997, pp. 1094-1099, 1997, IEEE, 0-7803-3612-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Alexander M. Formal'sky, E. K. Lavrovsky |
Stabilization of Flexible One-Link Arm Position: Stability Domains in the Space of Feedback Gains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 15(5), pp. 492-504, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | A. A. Grishin, Alexander M. Formal'sky, A. V. Lensky, S. V. Zhitomirsky |
Dynamic Walking of a Vehicle With Two Telescopic Legs Controlled by Two Drives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 13(2), pp. 137-147, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
33 | A. V. Lensky, A. B. Lizunov, Alexander M. Formal'sky, A. Yu. Shneider |
Manipulator motion along a constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 4(4), pp. 247-253, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
33 | V. S. Gurfinkel, E. A. Devjanin, A. V. Lensky, S. B. Mozhzhevelov, Alexander M. Formal'sky, A. Yu. Shneider |
Controlling a manipulator using sensory motor interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 2(3), pp. 155-159, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba |
SOFL: A Formal Engineering Methodology for Industrial Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(1), pp. 24-45, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods |
33 | John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou |
A Formalization of Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 116-133, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
33 | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
Consistency checking of SCR-style requirements specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 56-65, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness |
33 | Boutheina Chetali, Quang Huy Nguyen 0002 |
Industrial Use of Formal Methods for a High-Level Security Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 198-213, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Sten Agerholm, Peter Gorm Larsen |
A Lightweight Approach to Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 168-183, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Kevin Lano |
Specifying static analysis tools using formal methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 254-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment |
Displaying result #1 - #100 of 53235 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|